Searched refs:makeZeroElementRegion (Results 1 – 1 of 1) sorted by relevance
92 static SVal makeZeroElementRegion(ProgramStateRef State, SVal LValue, in makeZeroElementRegion() function122 LValue = makeZeroElementRegion(State, LValue, Ty); in getRegionForConstructedObject()145 FieldVal = makeZeroElementRegion(State, FieldVal, Ty); in getRegionForConstructedObject()370 DestVal = makeZeroElementRegion(State, DestVal, ObjectType); in VisitCXXDestructor()