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