Searched refs:argVal (Results 1 – 1 of 1) sorted by relevance
218 const SVal argVal, in IsZeroByteAllocation() argument222 state->assume(argVal.castAs<DefinedSVal>()); in IsZeroByteAllocation()268 SVal argVal = state->getSVal(arg, C.getLocationContext()); in BasicAllocationCheck() local270 if (argVal.isUnknownOrUndef()) in BasicAllocationCheck()274 if (IsZeroByteAllocation(state, argVal, &trueState, &falseState)) { in BasicAllocationCheck()296 SVal argVal = state->getSVal(arg, C.getLocationContext()); in CheckCallocZero() local297 if (argVal.isUnknownOrUndef()) { in CheckCallocZero()304 if (IsZeroByteAllocation(state, argVal, &trueState, &falseState)) { in CheckCallocZero()