Searched refs:StmtIdx (Results 1 – 4 of 4) sorted by relevance
475 void CoreEngine::HandlePostStmt(const CFGBlock *B, unsigned StmtIdx, in HandlePostStmt() argument480 if (StmtIdx == B->size()) in HandlePostStmt()484 ExprEng.processCFGElement((*B)[StmtIdx], Pred, StmtIdx, &Ctx); in HandlePostStmt()
967 unsigned StmtIdx, NodeBuilderContext *Ctx) { in processCFGElement() argument969 currStmtIdx = StmtIdx; in processCFGElement()
118 void HandlePostStmt(const CFGBlock *B, unsigned StmtIdx, ExplodedNode *Pred);
292 unsigned StmtIdx, NodeBuilderContext *Ctx);