Searched defs:argVal (Results 1 – 1 of 1) sorted by relevance
194 const SVal argVal, in IsZeroByteAllocation()244 SVal argVal = state->getSVal(arg, C.getLocationContext()); in BasicAllocationCheck() local272 SVal argVal = state->getSVal(arg, C.getLocationContext()); in CheckCallocZero() local