Home | History | Annotate | Download | only in Checkers

Lines Matching refs:evalEQ

215   return state->assume(svalBuilder.evalEQ(state, *val, zero));
447     state->assume(svalBuilder.evalEQ(state, *firstLoc, *secondLoc));
1101     DefinedOrUnknownSVal SameBuf = svalBuilder.evalEQ(state, LV, RV);
1723   DefinedOrUnknownSVal SameBuf = svalBuilder.evalEQ(state, LV, RV);