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.cpp100 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()
[all …]
H A DMoveChecker.cpp229 REGISTER_MAP_WITH_PROGRAMSTATE(TrackedRegionMap, const MemRegion *, RegionState)
236 const RegionState *RS = State->get<TrackedRegionMap>(Region); in isMovedFrom()
248 for (auto &E : State->get<TrackedRegionMap>()) { in removeFromState()
250 State = State->remove<TrackedRegionMap>(E.first); in removeFromState()
257 for (auto &E : State->get<TrackedRegionMap>()) { in isAnyBaseRegionReported()
284 const RegionState *TrackedObject = State->get<TrackedRegionMap>(Region); in VisitNode()
286 StatePrev->get<TrackedRegionMap>(Region); in VisitNode()
342 if (!State->get<TrackedRegionMap>(Region)) in getMoveLocation()
354 const RegionState *RS = State->get<TrackedRegionMap>(Region); in modelUse()
387 State = State->set<TrackedRegionMap>(Region, RegionState::getReported()); in modelUse()
[all …]