Searched defs:argVal (Results 1 – 1 of 1) sorted by relevance
325 const SVal argVal, in IsZeroByteAllocation()377 SVal argVal = C.getSVal(arg); in BasicAllocationCheck() local405 SVal argVal = C.getSVal(arg); in CheckCallocZero() local