clang
6.0.0
|
#include "clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h"
Public Member Functions | |
NodeBuilderContext (const CoreEngine &E, const CFGBlock *B, ExplodedNode *N) | |
const CFGBlock * | getBlock () const |
Return the CFGBlock associated with this builder. More... | |
unsigned | blockCount () const |
Returns the number of times the current basic block has been visited on the exploded graph path. More... | |
Public Attributes | |
const CoreEngine & | Eng |
const CFGBlock * | Block |
const LocationContext * | LC |
Definition at line 183 of file CoreEngine.h.
|
inline |
Definition at line 187 of file CoreEngine.h.
|
inline |
Returns the number of times the current basic block has been visited on the exploded graph path.
Definition at line 195 of file CoreEngine.h.
References clang::CFGBlock::getBlockID(), and clang::LocationContext::getCurrentStackFrame().
Referenced by clang::ento::CheckerContext::blockCount(), clang::ento::ExprEngine::handleLVectorSplat(), clang::ento::ExprEngine::processCFGBlockEntrance(), clang::ento::ExprEngine::ProcessInitializer(), clang::ento::ExprEngine::VisitBinaryOperator(), clang::ento::ExprEngine::VisitBlockExpr(), clang::ento::ExprEngine::VisitCXXCatchStmt(), clang::ento::ExprEngine::VisitCXXNewExpr(), and clang::ento::ExprEngine::VisitGuardedExpr().
|
inline |
Return the CFGBlock associated with this builder.
Definition at line 191 of file CoreEngine.h.
Referenced by canHaveDirectConstructor(), clang::ento::CheckerContext::getBlockID(), clang::ento::ExprEngine::processBranch(), clang::ento::ExprEngine::processCFGBlockEntrance(), clang::ento::ExprEngine::ProcessImplicitDtor(), and clang::ento::ExprEngine::ProcessNewAllocator().
const CFGBlock* clang::ento::NodeBuilderContext::Block |
Definition at line 185 of file CoreEngine.h.
Referenced by clang::ento::CheckerManager::runCheckersForEndFunction().
const CoreEngine& clang::ento::NodeBuilderContext::Eng |
Definition at line 184 of file CoreEngine.h.
Referenced by expandGraphWithCheckers().
const LocationContext* clang::ento::NodeBuilderContext::LC |
Definition at line 186 of file CoreEngine.h.