Searched defs:DVal1 (Results 1 – 2 of 2) sorted by relevance
272 auto DVal1 = Val1.getAs<DefinedOrUnknownSVal>(); in assumeValuesEqual() local
1649 double DVal0[16], DVal1[16]; evaluateCall() local