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