Lines Matching refs:TrackedRegionMap

99 REGISTER_MAP_WITH_PROGRAMSTATE(TrackedRegionMap, const MemRegion *, SVal)  in REGISTER_MAP_WITH_PROGRAMSTATE()  argument
149 const auto *InnerPointVal = State->get<TrackedRegionMap>(ThisRegion); in isNullSmartPtr()
175 State = State->set<TrackedRegionMap>(Region, *RegionInnerPointerVal); in updateSwappedRegion()
177 State = State->remove<TrackedRegionMap>(Region); in updateSwappedRegion()
311 State = State->set<TrackedRegionMap>(ThisRegion, PtrVal); in evalCall()
389 State = State->set<TrackedRegionMap>(ThisRegion, NullVal); in evalCall()
406 State = State->set<TrackedRegionMap>(ThisRegion, ArgVal); in evalCall()
440 const auto *Ptr = State->get<TrackedRegionMap>(ThisRegion); in retrieveOrConjureInnerPtrVal()
445 State = State->set<TrackedRegionMap>(ThisRegion, Val); in retrieveOrConjureInnerPtrVal()
543 TrackedRegionMapTy TrackedRegions = State->get<TrackedRegionMap>(); in checkDeadSymbols()
549 State = State->remove<TrackedRegionMap>(Region); in checkDeadSymbols()
556 TrackedRegionMapTy RS = State->get<TrackedRegionMap>(); in printState()
576 TrackedRegionMapTy RegionMap = State->get<TrackedRegionMap>(); in checkRegionChanges()
578 State->get_context<TrackedRegionMap>(); in checkRegionChanges()
582 return State->set<TrackedRegionMap>(RegionMap); in checkRegionChanges()
588 TrackedRegionMapTy TrackedRegions = State->get<TrackedRegionMap>(); in checkLiveSymbols()
610 State = State->set<TrackedRegionMap>(ThisRegion, Call.getArgSVal(0)); in handleReset()
638 const auto *InnerPointVal = State->get<TrackedRegionMap>(ThisRegion); in handleRelease()
647 State = State->set<TrackedRegionMap>(ThisRegion, ValueToUpdate); in handleRelease()
683 const auto *FirstInnerPtrVal = State->get<TrackedRegionMap>(FirstThisRegion); in handleSwap()
685 State->get<TrackedRegionMap>(SecondThisRegion); in handleSwap()
753 State = State->set<TrackedRegionMap>(ThisRegion, NullVal); in handleAssignOp()
783 const auto *OtherInnerPtr = State->get<TrackedRegionMap>(OtherSmartPtrRegion); in updateMovedSmartPointers()
785 State = State->set<TrackedRegionMap>(ThisRegion, *OtherInnerPtr); in updateMovedSmartPointers()
788 State = State->set<TrackedRegionMap>(OtherSmartPtrRegion, NullVal); in updateMovedSmartPointers()
815 State = State->remove<TrackedRegionMap>(ThisRegion); in updateMovedSmartPointers()
816 State = State->set<TrackedRegionMap>(OtherSmartPtrRegion, NullVal); in updateMovedSmartPointers()
844 if (const auto *InnerValPtr = State->get<TrackedRegionMap>(ThisRegion)) { in handleBoolConversion()
856 State = State->set<TrackedRegionMap>(ThisRegion, InnerPointerVal); in handleBoolConversion()
883 NullState = NullState->set<TrackedRegionMap>(ThisRegion, NullVal); in handleBoolConversion()