Searched refs:ObjRegion (Results 1 – 2 of 2) sorted by relevance
101 const MemRegion *ObjRegion,211 const TypedValueRegion *ObjRegion = nullptr; in checkPostCall() local214 ObjRegion = dyn_cast_or_null<TypedValueRegion>( in checkPostCall()219 markPtrSymbolsReleased(Call, State, ObjRegion, C); in checkPostCall()230 ObjRegion = in checkPostCall()234 if (!ObjRegion) in checkPostCall()243 const PtrSet *SetPtr = State->get<RawPtrMap>(ObjRegion); in checkPostCall()248 State = State->set<RawPtrMap>(ObjRegion, Set); in checkPostCall()316 const MemRegion *ObjRegion = in VisitNode() local318 const auto *TypedRegion = cast<TypedValueRegion>(ObjRegion); in VisitNode()
3430 const MemRegion *ObjRegion = in VisitNode() local3432 const auto *TypedRegion = cast<TypedValueRegion>(ObjRegion); in VisitNode()