Searched refs:DefArgVal (Results 1 – 2 of 2) sorted by relevance
574 Optional<DefinedSVal> DefArgVal = ArgVal.getAs<DefinedSVal>(); in checkPreStmt() local575 if (!DefArgVal) in checkPreStmt()584 DefinedOrUnknownSVal ArgIsNull = svalBuilder.evalEQ(state, zero, *DefArgVal); in checkPreStmt()
884 Optional<DefinedSVal> DefArgVal = in ProcessZeroAllocation() local887 if (!DefArgVal) in ProcessZeroAllocation()897 State->assume(SvalBuilder.evalEQ(State, *DefArgVal, Zero)); in ProcessZeroAllocation()