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