Home
last modified time | relevance | path

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

/external/clang/lib/StaticAnalyzer/Checkers/
DIteratorsChecker.cpp133 class IteratorState { class
142 struct GRStateTrait<IteratorState>
143 : public GRStatePartialTrait<IteratorState::EntryMap> {
220 IteratorState::EntryMap Map = state->get<IteratorState>(); in invalidateIterators()
226 for (IteratorState::EntryMap::iterator I = Map.begin(), E = Map.end(); in invalidateIterators()
230 state = state->set<IteratorState>(I.getKey(), RefState::getInvalid(ME)); in invalidateIterators()
265 state = state->set<IteratorState>(MR, RefState::getUnknown()); in handleAssign()
294 return state->set<IteratorState>(MR, RefState::getBeginValid(IMR)); in handleAssign()
297 return state->set<IteratorState>(MR, RefState::getEndValid(IMR)); in handleAssign()
299 return state->set<IteratorState>(MR, RefState::getUnknown()); in handleAssign()
[all …]