Home | History | Annotate | Download | only in Checkers

Lines Matching refs:evalEQ

585   DefinedOrUnknownSVal ArgIsNull = svalBuilder.evalEQ(state, zero, *DefArgVal);