Searched refs:SafeIterRange (Results 1 – 1 of 1) sorted by relevance
1027 std::optional<InductiveRangeCheck::Range> SafeIterRange; in run() local1041 auto MaybeSafeIterRange = IntersectRange(SE, SafeIterRange, *Result); in run()1046 SafeIterRange = *MaybeSafeIterRange; in run()1051 if (!SafeIterRange) in run()1055 calculateSubRanges(SE, *L, *SafeIterRange, LS); in run()1062 SafeIterRange->getBegin()->getType(), *MaybeSR); in run()