Searched refs:maxVisitOnPath (Results 1 – 2 of 2) sorted by relevance
304 ExplodedNode *Pred, unsigned maxVisitOnPath) { in updateLoopStack() argument317 LoopState::getNormal(LoopStmt, LCtx, maxVisitOnPath)); in updateLoopStack()324 LoopState::getNormal(LoopStmt, LCtx, maxVisitOnPath)); in updateLoopStack()333 LoopState::getNormal(LoopStmt, LCtx, maxVisitOnPath)); in updateLoopStack()
38 ExplodedNode* Pred, unsigned maxVisitOnPath);