Searched refs:DefArgVal (Results 1 – 2 of 2) sorted by relevance
560 Optional<DefinedSVal> DefArgVal = ArgVal.getAs<DefinedSVal>(); in checkPreCall() local561 if (!DefArgVal) in checkPreCall()567 std::tie(stateNonNull, stateNull) = state->assume(*DefArgVal); in checkPreCall()
997 Optional<DefinedSVal> DefArgVal = C.getSVal(Arg).getAs<DefinedSVal>(); in ProcessZeroAllocation() local999 if (!DefArgVal) in ProcessZeroAllocation()1009 State->assume(SvalBuilder.evalEQ(State, *DefArgVal, Zero)); in ProcessZeroAllocation()