Home
last modified time | relevance | path

Searched refs:StmtIdx (Results 1 – 5 of 5) sorted by relevance

/external/clang/lib/StaticAnalyzer/Core/
DCoreEngine.cpp477 void CoreEngine::HandlePostStmt(const CFGBlock *B, unsigned StmtIdx, in HandlePostStmt() argument
482 if (StmtIdx == B->size()) in HandlePostStmt()
486 SubEng.processCFGElement((*B)[StmtIdx], Pred, StmtIdx, &Ctx); in HandlePostStmt()
DExprEngine.cpp277 unsigned StmtIdx, NodeBuilderContext *Ctx) { in processCFGElement() argument
279 currStmtIdx = StmtIdx; in processCFGElement()
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DSubEngine.h57 unsigned StmtIdx, NodeBuilderContext *Ctx)=0;
DExprEngine.h196 unsigned StmtIdx, NodeBuilderContext *Ctx);
DCoreEngine.h94 void HandlePostStmt(const CFGBlock *B, unsigned StmtIdx, ExplodedNode *Pred);