Searched refs:PrevBool (Results 1 – 1 of 1) sorted by relevance
170 auto &PrevBool = cast<BoolValue>(Prev); in widenDistinctValues() local181 bool TruePrev = PrevEnv.proves(PrevBool.formula()); in widenDistinctValues()186 PrevEnv.proves(PrevEnv.arena().makeNot(PrevBool.formula())) && in widenDistinctValues()