Home | History | Annotate | Download | only in Checkers

Lines Matching refs:evalEQ

212   return state->assume(svalBuilder.evalEQ(state, *val, zero));
442     state->assume(svalBuilder.evalEQ(state, *firstLoc, *secondLoc));
1059     DefinedOrUnknownSVal SameBuf = svalBuilder.evalEQ(state, LV, RV);
1672   DefinedOrUnknownSVal SameBuf = svalBuilder.evalEQ(state, LV, RV);