Searched defs:ObjRegion (Results 1 – 2 of 2) sorted by relevance
211 markPtrSymbolsReleased(Call, State, ObjRegion, C); in checkPostCall() local 316 const MemRegion *ObjRegion = VisitNode() local [all...]
3431 const MemRegion *ObjRegion = VisitNode() local