Searched refs:StmtIdx (Results 1 – 4 of 4) sorted by relevance
522 void CoreEngine::HandlePostStmt(const CFGBlock *B, unsigned StmtIdx, in HandlePostStmt() argument527 if (StmtIdx == B->size()) in HandlePostStmt()531 ExprEng.processCFGElement((*B)[StmtIdx], Pred, StmtIdx, &Ctx); in HandlePostStmt()
968 unsigned StmtIdx, NodeBuilderContext *Ctx) { in processCFGElement() argument969 currStmtIdx = StmtIdx; in processCFGElement()
112 void HandlePostStmt(const CFGBlock *B, unsigned StmtIdx, ExplodedNode *Pred);
296 unsigned StmtIdx, NodeBuilderContext *Ctx);