Searched refs:INFINITELOOP (Results 1 – 3 of 3) sorted by relevance
47 INFINITELOOP, enumerator
2031 case INFINITELOOP: in toString()2098 case INFINITELOOP: in trackAssumption()
804 recordAssumption(&RecordedAssumptions, INFINITELOOP, UnboundedCtx, in addLoopBoundsToHeaderDomain()