Searched refs:ObjRegion (Results 1 – 2 of 2) sorted by relevance
97 const MemRegion *ObjRegion,201 const auto *ObjRegion = dyn_cast_or_null<TypedValueRegion>( in checkPostCall() local203 if (!ObjRegion) in checkPostCall()213 const PtrSet *SetPtr = State->get<RawPtrMap>(ObjRegion); in checkPostCall()218 State = State->set<RawPtrMap>(ObjRegion, Set); in checkPostCall()226 markPtrSymbolsReleased(Call, State, ObjRegion, C); in checkPostCall()294 const MemRegion *ObjRegion = in VisitNode() local296 const auto *TypedRegion = cast<TypedValueRegion>(ObjRegion); in VisitNode()
2935 const MemRegion *ObjRegion = in VisitNode() local2937 const auto *TypedRegion = cast<TypedValueRegion>(ObjRegion); in VisitNode()