Searched refs:argVal (Results 1 – 1 of 1) sorted by relevance
325 const SVal argVal, in IsZeroByteAllocation() argument329 state->assume(argVal.castAs<DefinedSVal>()); in IsZeroByteAllocation()377 SVal argVal = C.getSVal(arg); in BasicAllocationCheck() local379 if (argVal.isUnknownOrUndef()) in BasicAllocationCheck()383 if (IsZeroByteAllocation(state, argVal, &trueState, &falseState)) { in BasicAllocationCheck()405 SVal argVal = C.getSVal(arg); in CheckCallocZero() local406 if (argVal.isUnknownOrUndef()) { in CheckCallocZero()413 if (IsZeroByteAllocation(state, argVal, &trueState, &falseState)) { in CheckCallocZero()