clang
10.0.0git
|
#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 207 of file CoreEngine.h.
|
inline |
Definition at line 212 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 220 of file CoreEngine.h.
References clang::CFGBlock::getBlockID(), and clang::LocationContext::getStackFrame().
Referenced by clang::ento::CheckerContext::blockCount(), clang::ento::ExprEngine::CreateCXXTemporaryObject(), clang::ento::ExprEngine::getInitialState(), clang::ento::ExprEngine::handleLVectorSplat(), clang::ento::ExprEngine::processCFGBlockEntrance(), clang::ento::ExprEngine::ProcessInitializer(), clang::ento::ExprEngine::VisitBinaryOperator(), clang::ento::ExprEngine::VisitBlockExpr(), clang::ento::ExprEngine::VisitCast(), clang::ento::ExprEngine::VisitCXXCatchStmt(), clang::ento::ExprEngine::VisitCXXNewExpr(), clang::ento::ExprEngine::VisitDeclStmt(), and clang::ento::ExprEngine::VisitGuardedExpr().
|
inline |
Return the CFGBlock associated with this builder.
Definition at line 216 of file CoreEngine.h.
Referenced by clang::ento::CheckerContext::getBlockID(), clang::ento::ExprEngine::getCurrentCFGElement(), clang::ento::ExprEngine::processBranch(), clang::ento::ExprEngine::processCFGBlockEntrance(), clang::ento::ExprEngine::ProcessImplicitDtor(), clang::ento::ExprEngine::ProcessInitializer(), clang::ento::ExprEngine::ProcessLoopExit(), clang::ento::ExprEngine::ProcessNewAllocator(), and clang::ento::ExprEngine::ProcessStmt().
const CFGBlock* clang::ento::NodeBuilderContext::Block |
Definition at line 209 of file CoreEngine.h.
const CoreEngine& clang::ento::NodeBuilderContext::Eng |
Definition at line 208 of file CoreEngine.h.
const LocationContext* clang::ento::NodeBuilderContext::LC |
Definition at line 210 of file CoreEngine.h.