Searched refs:DVal2 (Results 1 – 1 of 1) sorted by relevance
273 auto DVal2 = Val2.getAs<DefinedOrUnknownSVal>(); in assumeValuesEqual() local274 if (!DVal1 || !DVal2) in assumeValuesEqual()278 C.getSValBuilder().evalEQ(State, *DVal1, *DVal2).getAs<DefinedSVal>(); in assumeValuesEqual()