Searched refs:maxVisitOnPath (Results 1 – 2 of 2) sorted by relevance
251 ExplodedNode *Pred, unsigned maxVisitOnPath) { in updateLoopStack() argument264 LoopState::getNormal(LoopStmt, LCtx, maxVisitOnPath)); in updateLoopStack()271 LoopState::getNormal(LoopStmt, LCtx, maxVisitOnPath)); in updateLoopStack()280 LoopState::getNormal(LoopStmt, LCtx, maxVisitOnPath)); in updateLoopStack()
41 ExplodedNode* Pred, unsigned maxVisitOnPath);