Searched refs:DefArgVal (Results 1 – 1 of 1) sorted by relevance
575 Optional<DefinedSVal> DefArgVal = ArgVal.getAs<DefinedSVal>(); in checkPreStmt() local576 if (!DefArgVal) in checkPreStmt()585 DefinedOrUnknownSVal ArgIsNull = svalBuilder.evalEQ(state, zero, *DefArgVal); in checkPreStmt()