Searched refs:maxVisitOnPath (Results 1 – 2 of 2) sorted by relevance
321 ExplodedNode *Pred, unsigned maxVisitOnPath) { in updateLoopStack() argument334 LoopState::getNormal(LoopStmt, LCtx, maxVisitOnPath)); in updateLoopStack()341 LoopState::getNormal(LoopStmt, LCtx, maxVisitOnPath)); in updateLoopStack()350 LoopState::getNormal(LoopStmt, LCtx, maxVisitOnPath)); in updateLoopStack()
38 ExplodedNode* Pred, unsigned maxVisitOnPath);