Searched refs:RegionState (Results 1 – 5 of 5) sorted by relevance
| /external/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| D | MoveChecker.cpp | 30 struct RegionState { struct
33 RegionState(Kind InK) : K(InK) {} in RegionState() function
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 …]
|
| 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()
|
| D | MallocChecker.cpp | 205 REGISTER_MAP_WITH_PROGRAMSTATE(RegionState, SymbolRef, RefState)
874 state = state->remove<RegionState>(sym); in VisitSymbol()
1344 const RefState *RS = State->get<RegionState>(Sym); in ProcessZeroAllocCheck()
1347 return TrueState->set<RegionState>(Sym, in ProcessZeroAllocCheck()
1631 return State->set<RegionState>(Sym, RefState::getAllocated(Family, E)); in MallocUpdateRefState()
1844 const RefState *RsBase = State->get<RegionState>(SymBase); in FreeMemAux()
1920 return State->set<RegionState>(SymBase, in FreeMemAux()
1924 return State->set<RegionState>(SymBase, in FreeMemAux()
1969 const RefState *RS = C.getState()->get<RegionState>(Sym); in getCheckIfTracked()
2271 C.getState()->get<RegionState>(Sym)->getAllocationFamily(); in HandleUseAfterFree()
[all …]
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | PointerArithChecker.cpp | 76 REGISTER_MAP_WITH_PROGRAMSTATE(RegionState, const MemRegion *, AllocKind) in REGISTER_MAP_WITH_PROGRAMSTATE() argument
133 if (const AllocKind *Kind = State->get<RegionState>(Region)) { in getArrayRegion()
239 State = State->set<RegionState>(Region, AllocKind::Array); in checkPostStmt()
256 State = State->set<RegionState>(Region, Kind); in checkPostStmt()
274 State = State->set<RegionState>(Region, AllocKind::Reinterpreted); in checkPostStmt()
291 if (const AllocKind *Kind = State->get<RegionState>(Region)) { in checkPreStmt()
295 State = State->set<RegionState>(Region, AllocKind::Array); in checkPreStmt()
|
| D | MallocChecker.cpp | 512 REGISTER_MAP_WITH_PROGRAMSTATE(RegionState, SymbolRef, RefState)
528 state = state->remove<RegionState>(sym); in VisitSymbol()
905 const RefState *RS = State->get<RegionState>(Sym); in ProcessZeroAllocation()
908 return TrueState->set<RegionState>(Sym, in ProcessZeroAllocation()
1142 return State->set<RegionState>(Sym, RefState::getAllocated(Family, E)); in MallocUpdateRefState()
1386 const RefState *RsBase = State->get<RegionState>(SymBase); in FreeMemAux()
1453 return State->set<RegionState>(SymBase, in FreeMemAux()
1457 return State->set<RegionState>(SymBase, in FreeMemAux()
1506 const RefState *RS = C.getState()->get<RegionState>(Sym); in getCheckIfTracked()
2027 if (!State->get<RegionState>(Sym)) in getAllocationSite()
[all …]
|