Searched refs:DefArgVal (Results 1 – 2 of 2) sorted by relevance
564 std::optional<DefinedSVal> DefArgVal = ArgVal.getAs<DefinedSVal>(); in checkPreCall() local565 if (!DefArgVal) in checkPreCall()571 std::tie(stateNonNull, stateNull) = state->assume(*DefArgVal); in checkPreCall()
1497 auto DefArgVal = in ProcessZeroAllocCheck() local1500 if (!DefArgVal) in ProcessZeroAllocCheck()1510 State->assume(SvalBuilder.evalEQ(State, *DefArgVal, Zero)); in ProcessZeroAllocCheck()