Searched refs:CurBool (Results 1 – 1 of 1) sorted by relevance
169 auto &CurBool = cast<BoolValue>(Current); in widenDistinctValues() local171 bool TrueCur = CurrentEnv.proves(CurBool.formula()); in widenDistinctValues()176 CurrentEnv.proves(CurrentEnv.arena().makeNot(CurBool.formula()))) in widenDistinctValues()