Home
last modified time | relevance | path

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

/external/clang/lib/StaticAnalyzer/Core/
DCoreEngine.cpp494 void CoreEngine::HandlePostStmt(const CFGBlock *B, unsigned StmtIdx, in HandlePostStmt() argument
499 if (StmtIdx == B->size()) in HandlePostStmt()
503 SubEng.processCFGElement((*B)[StmtIdx], Pred, StmtIdx, &Ctx); in HandlePostStmt()
DExprEngine.cpp288 unsigned StmtIdx, NodeBuilderContext *Ctx) { in processCFGElement() argument
290 currStmtIdx = StmtIdx; in processCFGElement()
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DSubEngine.h57 unsigned StmtIdx, NodeBuilderContext *Ctx)=0;
DCoreEngine.h94 void HandlePostStmt(const CFGBlock *B, unsigned StmtIdx, ExplodedNode *Pred);
DExprEngine.h195 unsigned StmtIdx, NodeBuilderContext *Ctx) override;