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