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