Searched refs:SafeIterRange (Results 1 – 1 of 1) sorted by relevance
1049 std::optional<InductiveRangeCheck::Range> SafeIterRange; in run() local1063 auto MaybeSafeIterRange = IntersectRange(SE, SafeIterRange, *Result); in run()1068 SafeIterRange = *MaybeSafeIterRange; in run()1073 if (!SafeIterRange) in run()1077 calculateSubRanges(SE, *L, *SafeIterRange, LS); in run()1084 SafeIterRange->getBegin()->getType(), *MaybeSR); in run()