Searched refs:ValuesEqual (Results 1 – 4 of 4) sorted by relevance
33 if (!ValuesEqual(result1, result2)) in SingleInputSingleOutputDiff()54 if (!ValuesEqual(result1, result2)) in SingleInputSingleOutputWithSideEffectDiff()57 if (!ValuesEqual(sideEffect1, sideEffect2)) in SingleInputSingleOutputWithSideEffectDiff()
17 ValuesEqual(T x1, T x2) { in ValuesEqual() function30 ValuesEqual(T x1, T x2) { in ValuesEqual() function
36 if (!ValuesEqual(result1, result2)) in TwoInputSingleOutputDiff()
277 auto ValuesEqual = in assumeValuesEqual() local281 if (!ValuesEqual.getAs<DefinedSVal>()) in assumeValuesEqual()285 State, ValuesEqual.castAs<DefinedSVal>(), true); in assumeValuesEqual()