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