Searched refs:SafeIterRange (Results 1 – 1 of 1) sorted by relevance
1934 Optional<InductiveRangeCheck::Range> SafeIterRange; in run() local1951 IntersectRange(SE, SafeIterRange, Result.getValue()); in run()1957 SafeIterRange = MaybeSafeIterRange.getValue(); in run()1962 if (!SafeIterRange.hasValue()) in run()1966 SafeIterRange.getValue()); in run()