Home | History | Annotate | Download | only in Checkers

Lines Matching refs:RefState

39 class RefState {
44 RefState(Kind k, const void *vr) : K(k), VR(vr) {}
61 bool operator==(const RefState &X) const {
65 static RefState getBeginValid(const MemRegion *vr) {
67 return RefState(BeginValid, vr);
69 static RefState getEndValid(const MemRegion *vr) {
71 return RefState(EndValid, vr);
73 static RefState getInvalid( const MemberExpr *ME ) {
74 return RefState(Invalid, ME);
76 static RefState getUndefined( void ) {
77 return RefState(Undefined, 0);
79 static RefState getUnknown( void ) {
80 return RefState(Unknown, 0);
147 typedef llvm::ImmutableMap<const MemRegion *, RefState> EntryMap;
240 RefState RS = I.getData();
242 state = state->set<IteratorState>(I.getKey(), RefState::getInvalid(ME));
277 state = state->set<IteratorState>(MR, RefState::getUnknown());
306 return state->set<IteratorState>(MR, RefState::getBeginValid(IMR));
309 return state->set<IteratorState>(MR, RefState::getEndValid(IMR));
311 return state->set<IteratorState>(MR, RefState::getUnknown());
325 // Get the RefState of the iterator being copied.
326 const RefState *RS = state->get<IteratorState>(IMR);
338 const RefState *RS = state->get<IteratorState>(MR);
404 const RefState *RS = state->get<IteratorState>(MR);
492 const RefState *RS0, *RS1;
532 state = state->set<IteratorState>(MR, RefState::getUndefined());