Searched refs:ArgIsNull (Results 1 – 1 of 1) sorted by relevance
584 DefinedOrUnknownSVal ArgIsNull = svalBuilder.evalEQ(state, zero, *DefArgVal); in checkPreStmt() local588 std::tie(stateTrue, stateFalse) = state->assume(ArgIsNull); in checkPreStmt()