Searched refs:maxVisitOnPath (Results 1 – 2 of 2) sorted by relevance
262 ExplodedNode *Pred, unsigned maxVisitOnPath) { in updateLoopStack() argument275 LoopState::getNormal(LoopStmt, LCtx, maxVisitOnPath)); in updateLoopStack()282 LoopState::getNormal(LoopStmt, LCtx, maxVisitOnPath)); in updateLoopStack()291 LoopState::getNormal(LoopStmt, LCtx, maxVisitOnPath)); in updateLoopStack()
39 ExplodedNode* Pred, unsigned maxVisitOnPath);