reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1936 if (BlockCount == AMgr.options.maxBlockVisitOnPath - 1 && 1945 getWidenedLoopState(Pred->getState(), LCtx, BlockCount, Term); 1951 if (BlockCount >= AMgr.options.maxBlockVisitOnPath) {