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