Searched refs:updateLoopStack (Results 1 – 3 of 3) sorted by relevance
37 ProgramStateRef updateLoopStack(const Stmt *LoopStmt, ASTContext &ASTCtx,
303 ProgramStateRef updateLoopStack(const Stmt *LoopStmt, ASTContext &ASTCtx, in updateLoopStack() function
2479 ProgramStateRef NewState = updateLoopStack(Term, AMgr.getASTContext(), in processCFGBlockEntrance()