Searched defs:argVal (Results 1 – 3 of 3) sorted by relevance
218 const SVal argVal, in IsZeroByteAllocation()268 SVal argVal = state->getSVal(arg, C.getLocationContext()); in BasicAllocationCheck() local296 SVal argVal = state->getSVal(arg, C.getLocationContext()); in CheckCallocZero() local
325 const SVal argVal, in IsZeroByteAllocation()377 SVal argVal = C.getSVal(arg); in BasicAllocationCheck() local405 SVal argVal = C.getSVal(arg); in CheckCallocZero() local
955 Value argVal = this->writeExpression(*arg); in writeIntrinsicCall() local