Searched refs:ObjRegion (Results 1 – 2 of 2) sorted by relevance
100 const MemRegion *ObjRegion,203 const TypedValueRegion *ObjRegion = nullptr; in checkPostCall() local206 ObjRegion = dyn_cast_or_null<TypedValueRegion>( in checkPostCall()211 markPtrSymbolsReleased(Call, State, ObjRegion, C); in checkPostCall()222 ObjRegion = in checkPostCall()226 if (!ObjRegion) in checkPostCall()235 const PtrSet *SetPtr = State->get<RawPtrMap>(ObjRegion); in checkPostCall()240 State = State->set<RawPtrMap>(ObjRegion, Set); in checkPostCall()308 const MemRegion *ObjRegion = in VisitNode() local310 const auto *TypedRegion = cast<TypedValueRegion>(ObjRegion); in VisitNode()
3497 const MemRegion *ObjRegion = in VisitNode() local3499 const auto *TypedRegion = cast<TypedValueRegion>(ObjRegion); in VisitNode()