Lines Matching refs:evalEQ
949 svalBuilder.evalEQ(state, V2,svalBuilder.makeZeroVal(U->getType()));954 Constraint = svalBuilder.evalEQ(state, SymVal,