Searched refs:ObjRegion (Results 1 – 2 of 2) sorted by relevance
100 const MemRegion *ObjRegion,214 const TypedValueRegion *ObjRegion = nullptr; in checkPostCall() local217 ObjRegion = dyn_cast_or_null<TypedValueRegion>( in checkPostCall()222 markPtrSymbolsReleased(Call, State, ObjRegion, C); in checkPostCall()233 ObjRegion = in checkPostCall()237 if (!ObjRegion) in checkPostCall()246 const PtrSet *SetPtr = State->get<RawPtrMap>(ObjRegion); in checkPostCall()251 State = State->set<RawPtrMap>(ObjRegion, Set); in checkPostCall()319 const MemRegion *ObjRegion = in VisitNode() local321 const auto *TypedRegion = cast<TypedValueRegion>(ObjRegion); in VisitNode()
3222 const MemRegion *ObjRegion = in VisitNode() local3224 const auto *TypedRegion = cast<TypedValueRegion>(ObjRegion); in VisitNode()