566 REGISTER_MAP_WITH_PROGRAMSTATE(RegionState, SymbolRef, RefState)
582     state = state->remove<RegionState>(sym);  in VisitSymbol()
1016     const RefState *RS = State->get<RegionState>(Sym);  in ProcessZeroAllocation()
1019         return TrueState->set<RegionState>(Sym,  in ProcessZeroAllocation()
1310   return State->set<RegionState>(Sym, RefState::getAllocated(Family, E));  in MallocUpdateRefState()
1556   const RefState *RsBase = State->get<RegionState>(SymBase);  in FreeMemAux()
1628     return State->set<RegionState>(SymBase,  in FreeMemAux()
1632   return State->set<RegionState>(SymBase,  in FreeMemAux()
1685   const RefState *RS = C.getState()->get<RegionState>(Sym);  in getCheckIfTracked()
1979         C.getState()->get<RegionState>(Sym)->getAllocationFamily();  in ReportUseAfterFree()
2251     if (!State->get<RegionState>(Sym))  in getAllocationSite()
2289   const RefState *RS = C.getState()->get<RegionState>(Sym);  in reportLeak()
2349   RegionStateTy OldRS = state->get<RegionState>();  in checkDeadSymbols()
2350   RegionStateTy::Factory &F = state->get_context<RegionState>();  in checkDeadSymbols()
2403   C.addTransition(state->set<RegionState>(RS), N);  in checkDeadSymbols()
2530   const RefState *RS = C.getState()->get<RegionState>(Sym);  in isReleased()
2549   if (const RefState *RS = C.getState()->get<RegionState>(Sym)) {  in checkUseZeroAllocated()
2582   RegionStateTy RS = state->get<RegionState>();  in evalAssume()
2588       state = state->remove<RegionState>(I.getKey());  in evalAssume()
2602     if (const RefState *RS = state->get<RegionState>(ReallocSym)) {  in evalAssume()
2605           state = state->set<RegionState>(ReallocSym,  in evalAssume()
2608           state = state->remove<RegionState>(ReallocSym);  in evalAssume()
2832     if (const RefState *RS = State->get<RegionState>(sym)) {  in checkPointerEscapeAux()
2835         State = State->remove<RegionState>(sym);  in checkPointerEscapeAux()
2836         State = State->set<RegionState>(sym, RefState::getEscaped(RS));  in checkPointerEscapeAux()
2877   const RefState *RS = state->get<RegionState>(Sym);  in VisitNode()
2878   const RefState *RSPrev = statePrev->get<RegionState>(Sym);  in VisitNode()
3021     if (!statePrev->get<RegionState>(FailedReallocSymbol)) {  in VisitNode()
3055   RegionStateTy RS = State->get<RegionState>();  in printState()
3060       const RefState *RefS = State->get<RegionState>(I.getKey());  in printState()
3083   return State->set<RegionState>(Sym, RefState::getReleased(Family, Origin));  in markReleased()