Searched refs:SafeIterRange (Results 1 – 2 of 2) sorted by relevance
1421 Optional<InductiveRangeCheck::Range> SafeIterRange; in runOnLoop() local1431 IntersectRange(SE, SafeIterRange, Result.getValue()); in runOnLoop()1434 SafeIterRange = MaybeSafeIterRange.getValue(); in runOnLoop()1439 if (!SafeIterRange.hasValue()) in runOnLoop()1443 SE, SafeIterRange.getValue()); in runOnLoop()
1916 Optional<InductiveRangeCheck::Range> SafeIterRange; in run() local1933 IntersectRange(SE, SafeIterRange, Result.getValue()); in run()1939 SafeIterRange = MaybeSafeIterRange.getValue(); in run()1944 if (!SafeIterRange.hasValue()) in run()1948 SafeIterRange.getValue()); in run()