Lines Matching refs:TrackedRegionMap

100 REGISTER_MAP_WITH_PROGRAMSTATE(TrackedRegionMap, const MemRegion *, SVal)  in REGISTER_MAP_WITH_PROGRAMSTATE()  argument
150 const auto *InnerPointVal = State->get<TrackedRegionMap>(ThisRegion); in isNullSmartPtr()
176 State = State->set<TrackedRegionMap>(Region, *RegionInnerPointerVal); in updateSwappedRegion()
178 State = State->remove<TrackedRegionMap>(Region); in updateSwappedRegion()
313 State = State->set<TrackedRegionMap>(ThisRegion, PtrVal); in evalCall()
391 State = State->set<TrackedRegionMap>(ThisRegion, NullVal); in evalCall()
408 State = State->set<TrackedRegionMap>(ThisRegion, ArgVal); in evalCall()
442 const auto *Ptr = State->get<TrackedRegionMap>(ThisRegion); in retrieveOrConjureInnerPtrVal()
447 State = State->set<TrackedRegionMap>(ThisRegion, Val); in retrieveOrConjureInnerPtrVal()
545 TrackedRegionMapTy TrackedRegions = State->get<TrackedRegionMap>(); in checkDeadSymbols()
551 State = State->remove<TrackedRegionMap>(Region); in checkDeadSymbols()
558 TrackedRegionMapTy RS = State->get<TrackedRegionMap>(); in printState()
578 TrackedRegionMapTy RegionMap = State->get<TrackedRegionMap>(); in checkRegionChanges()
580 State->get_context<TrackedRegionMap>(); in checkRegionChanges()
584 return State->set<TrackedRegionMap>(RegionMap); in checkRegionChanges()
590 TrackedRegionMapTy TrackedRegions = State->get<TrackedRegionMap>(); in checkLiveSymbols()
611 State = State->set<TrackedRegionMap>(ThisRegion, Call.getArgSVal(0)); in handleReset()
639 const auto *InnerPointVal = State->get<TrackedRegionMap>(ThisRegion); in handleRelease()
648 State = State->set<TrackedRegionMap>(ThisRegion, ValueToUpdate); in handleRelease()
684 const auto *FirstInnerPtrVal = State->get<TrackedRegionMap>(FirstThisRegion); in handleSwap()
686 State->get<TrackedRegionMap>(SecondThisRegion); in handleSwap()
754 State = State->set<TrackedRegionMap>(ThisRegion, NullVal); in handleAssignOp()
784 const auto *OtherInnerPtr = State->get<TrackedRegionMap>(OtherSmartPtrRegion); in updateMovedSmartPointers()
786 State = State->set<TrackedRegionMap>(ThisRegion, *OtherInnerPtr); in updateMovedSmartPointers()
789 State = State->set<TrackedRegionMap>(OtherSmartPtrRegion, NullVal); in updateMovedSmartPointers()
816 State = State->remove<TrackedRegionMap>(ThisRegion); in updateMovedSmartPointers()
817 State = State->set<TrackedRegionMap>(OtherSmartPtrRegion, NullVal); in updateMovedSmartPointers()
845 if (const auto *InnerValPtr = State->get<TrackedRegionMap>(ThisRegion)) { in handleBoolConversion()
857 State = State->set<TrackedRegionMap>(ThisRegion, InnerPointerVal); in handleBoolConversion()
884 NullState = NullState->set<TrackedRegionMap>(ThisRegion, NullVal); in handleBoolConversion()