Searched refs:DefArgVal (Results 1 – 2 of 2) 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()
873 Optional<DefinedSVal> DefArgVal = in ProcessZeroAllocation() local876 if (!DefArgVal) in ProcessZeroAllocation()886 State->assume(SvalBuilder.evalEQ(State, *DefArgVal, Zero)); in ProcessZeroAllocation()