Searched refs:SafeIterRange (Results 1 – 1 of 1) sorted by relevance
1816 Optional<InductiveRangeCheck::Range> SafeIterRange; in run() local1833 IntersectRange(SE, SafeIterRange, Result.getValue()); in run()1839 SafeIterRange = MaybeSafeIterRange.getValue(); in run()1844 if (!SafeIterRange.hasValue()) in run()1848 SafeIterRange.getValue()); in run()