Home
last modified time | relevance | path

Searched refs:TrackedRegionMap (Results 1 – 2 of 2) sorted by relevance

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DSmartPtrModeling.cpp97 REGISTER_MAP_WITH_PROGRAMSTATE(TrackedRegionMap, const MemRegion *, SVal) in REGISTER_MAP_WITH_PROGRAMSTATE() argument
147 const auto *InnerPointVal = State->get<TrackedRegionMap>(ThisRegion); in isNullSmartPtr()
173 State = State->set<TrackedRegionMap>(Region, *RegionInnerPointerVal); in updateSwappedRegion()
175 State = State->remove<TrackedRegionMap>(Region); in updateSwappedRegion()
310 State = State->set<TrackedRegionMap>(ThisRegion, PtrVal); in evalCall()
388 State = State->set<TrackedRegionMap>(ThisRegion, NullVal); in evalCall()
405 State = State->set<TrackedRegionMap>(ThisRegion, ArgVal); in evalCall()
439 const auto *Ptr = State->get<TrackedRegionMap>(ThisRegion); in retrieveOrConjureInnerPtrVal()
444 State = State->set<TrackedRegionMap>(ThisRegion, Val); in retrieveOrConjureInnerPtrVal()
545 TrackedRegionMapTy TrackedRegions = State->get<TrackedRegionMap>(); in checkDeadSymbols()
[all …]
H A DMoveChecker.cpp231 REGISTER_MAP_WITH_PROGRAMSTATE(TrackedRegionMap, const MemRegion *, RegionState)
238 const RegionState *RS = State->get<TrackedRegionMap>(Region); in isMovedFrom()
250 for (auto &E : State->get<TrackedRegionMap>()) { in removeFromState()
252 State = State->remove<TrackedRegionMap>(E.first); in removeFromState()
259 for (auto &E : State->get<TrackedRegionMap>()) { in isAnyBaseRegionReported()
286 const RegionState *TrackedObject = State->get<TrackedRegionMap>(Region); in VisitNode()
288 StatePrev->get<TrackedRegionMap>(Region); in VisitNode()
344 if (!State->get<TrackedRegionMap>(Region)) in getMoveLocation()
356 const RegionState *RS = State->get<TrackedRegionMap>(Region); in modelUse()
389 State = State->set<TrackedRegionMap>(Region, RegionState::getReported()); in modelUse()
[all …]