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