llvm/clang/lib/StaticAnalyzer/Core/BlockCounter.cpp

//==- BlockCounter.h - ADT for counting block visits -------------*- C++ -*-//
//
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See https://llvm.org/LICENSE.txt for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//
//
//  This file defines BlockCounter, an abstract data type used to count
//  the number of times a given block has been visited along a path
//  analyzed by CoreEngine.
//
//===----------------------------------------------------------------------===//

#include "clang/StaticAnalyzer/Core/PathSensitive/BlockCounter.h"
#include "llvm/ADT/ImmutableMap.h"

usingnamespaceclang;
usingnamespaceento;

namespace {

class CountKey { … };

}

CountMap;

static inline CountMap GetMap(void *D) { … }

static inline CountMap::Factory& GetFactory(void *F) { … }

unsigned BlockCounter::getNumVisited(const StackFrameContext *CallSite,
                                       unsigned BlockID) const { … }

BlockCounter::Factory::Factory(llvm::BumpPtrAllocator& Alloc) { … }

BlockCounter::Factory::~Factory() { … }

BlockCounter
BlockCounter::Factory::IncrementCount(BlockCounter BC,
                                        const StackFrameContext *CallSite,
                                        unsigned BlockID) { … }

BlockCounter
BlockCounter::Factory::GetEmptyCounter() { … }