Home | History | Annotate | Download | only in Checkers

Lines Matching refs:evalEQ

224   return state->assume(svalBuilder.evalEQ(state, *val, zero));
456     state->assume(svalBuilder.evalEQ(state, *firstLoc, *secondLoc));
1187     DefinedOrUnknownSVal SameBuf = svalBuilder.evalEQ(state, LV, RV);
1810   DefinedOrUnknownSVal SameBuf = svalBuilder.evalEQ(state, LV, RV);