Searched refs:RegionState (Results 1 – 3 of 3) sorted by relevance
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | MoveChecker.cpp | 30 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
235 const RegionState *RS = State->get<TrackedRegionMap>(Region); in isMovedFrom()
283 const RegionState *TrackedObject = State->get<TrackedRegionMap>(Region); in VisitNode()
284 const RegionState *TrackedObjectPrev = in VisitNode()
353 const RegionState *RS = State->get<TrackedRegionMap>(Region); in modelUse()
386 State = State->set<TrackedRegionMap>(Region, RegionState::getReported()); in modelUse()
[all …]
|
| H A D | PointerArithChecker.cpp | 74 REGISTER_MAP_WITH_PROGRAMSTATE(RegionState, const MemRegion *, AllocKind) in REGISTER_MAP_WITH_PROGRAMSTATE() argument
131 if (const AllocKind *Kind = State->get<RegionState>(Region)) { in getArrayRegion()
236 State = State->set<RegionState>(Region, AllocKind::Array); in checkPostStmt()
253 State = State->set<RegionState>(Region, Kind); in checkPostStmt()
271 State = State->set<RegionState>(Region, AllocKind::Reinterpreted); in checkPostStmt()
288 if (const AllocKind *Kind = State->get<RegionState>(Region)) { in checkPreStmt()
292 State = State->set<RegionState>(Region, AllocKind::Array); in checkPreStmt()
|
| H A D | MallocChecker.cpp | 1075 state = state->remove<RegionState>(sym); in VisitSymbol()
1555 return TrueState->set<RegionState>(Sym, in ProcessZeroAllocCheck()
2069 return State->set<RegionState>(SymBase, in FreeMemAux()
2073 return State->set<RegionState>(SymBase, in FreeMemAux()
2706 if (!State->get<RegionState>(Sym)) in getAllocationSite()
2805 RegionStateTy OldRS = state->get<RegionState>(); in checkDeadSymbols()
2859 C.addTransition(state->set<RegionState>(RS), N); in checkDeadSymbols()
3083 RegionStateTy RS = state->get<RegionState>(); in evalAssume()
3089 state = state->remove<RegionState>(I.getKey()); in evalAssume()
3107 state = state->set<RegionState>(ReallocSym, in evalAssume()
[all …]
|