Home
last modified time | relevance | path

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

/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/
H A DMoveChecker.cpp29 struct RegionState { struct
32 RegionState(Kind InK) : K(InK) {} in RegionState() function
38 static RegionState getReported() { return RegionState(Reported); } in getReported() argument
39 static RegionState getMoved() { return RegionState(Moved); } in getMoved() argument
41 bool operator==(const RegionState &X) const { return K == X.K; } in operator ==() argument
224 REGISTER_MAP_WITH_PROGRAMSTATE(TrackedRegionMap, const MemRegion *, RegionState) in REGISTER_MAP_WITH_PROGRAMSTATE() argument
266 const RegionState *TrackedObject = State->get<TrackedRegionMap>(Region); in VisitNode()
267 const RegionState *TrackedObjectPrev = in VisitNode()
336 const RegionState *RS = State->get<TrackedRegionMap>(Region); in modelUse()
369 State = State->set<TrackedRegionMap>(Region, RegionState::getReported()); in modelUse()
[all …]
H A DPointerArithChecker.cpp75 REGISTER_MAP_WITH_PROGRAMSTATE(RegionState, const MemRegion *, AllocKind) in REGISTER_MAP_WITH_PROGRAMSTATE() argument
132 if (const AllocKind *Kind = State->get<RegionState>(Region)) { in getArrayRegion()
237 State = State->set<RegionState>(Region, AllocKind::Array); in checkPostStmt()
254 State = State->set<RegionState>(Region, Kind); in checkPostStmt()
272 State = State->set<RegionState>(Region, AllocKind::Reinterpreted); in checkPostStmt()
289 if (const AllocKind *Kind = State->get<RegionState>(Region)) { in checkPreStmt()
293 State = State->set<RegionState>(Region, AllocKind::Array); in checkPreStmt()
H A DMallocChecker.cpp582 state = state->remove<RegionState>(sym); in VisitSymbol()
1019 return TrueState->set<RegionState>(Sym, in ProcessZeroAllocation()
1628 return State->set<RegionState>(SymBase, in FreeMemAux()
1632 return State->set<RegionState>(SymBase, in FreeMemAux()
2251 if (!State->get<RegionState>(Sym)) in getAllocationSite()
2349 RegionStateTy OldRS = state->get<RegionState>(); in checkDeadSymbols()
2403 C.addTransition(state->set<RegionState>(RS), N); in checkDeadSymbols()
2582 RegionStateTy RS = state->get<RegionState>(); in evalAssume()
2835 State = State->remove<RegionState>(sym); in checkPointerEscapeAux()
2877 const RefState *RS = state->get<RegionState>(Sym); in VisitNode()
[all …]