Home
last modified time | relevance | path

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

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DMoveChecker.cpp30 struct RegionState { struct
33 RegionState(Kind InK) : K(InK) {} in RegionState() argument
39 static RegionState getReported() { return RegionState(Reported); } in getReported() argument
40 static RegionState getMoved() { return RegionState(Moved); } in getMoved() argument
42 bool operator==(const RegionState &X) const { return K == X.K; } in operator ==() argument
229 REGISTER_MAP_WITH_PROGRAMSTATE(TrackedRegionMap, const MemRegion *, RegionState)
236 const RegionState *RS = State->get<TrackedRegionMap>(Region); in isMovedFrom()
284 const RegionState *TrackedObject = State->get<TrackedRegionMap>(Region); in VisitNode()
285 const RegionState *TrackedObjectPrev = in VisitNode()
354 const RegionState *RS = State->get<TrackedRegionMap>(Region); in modelUse()
[all …]
H A DMallocChecker.cpp216 REGISTER_MAP_WITH_PROGRAMSTATE(RegionState, SymbolRef, RefState)
791 return CallEnterState->get<RegionState>(Sym) != in hasResourceStateChanged()
792 CallExitEndState->get<RegionState>(Sym); in hasResourceStateChanged()
985 state = state->remove<RegionState>(sym); in VisitSymbol()
1517 const RefState *RS = State->get<RegionState>(Sym); in ProcessZeroAllocCheck()
1520 return TrueState->set<RegionState>(Sym, in ProcessZeroAllocCheck()
1823 return State->set<RegionState>(Sym, RefState::getAllocated(Family, E)); in MallocUpdateRefState()
2035 const RefState *RsBase = State->get<RegionState>(SymBase); in FreeMemAux()
2111 return State->set<RegionState>(SymBase, in FreeMemAux()
2115 return State->set<RegionState>(SymBase, in FreeMemAux()
[all …]