216 REGISTER_MAP_WITH_PROGRAMSTATE(RegionState, SymbolRef, RefState)
848     if (CallEnterN->getState()->get<RegionState>(Sym) !=  in wasModifiedInFunction()
849         CallExitEndN->getState()->get<RegionState>(Sym))  in wasModifiedInFunction()
1061     state = state->remove<RegionState>(sym);  in VisitSymbol()
1537     const RefState *RS = State->get<RegionState>(Sym);  in ProcessZeroAllocCheck()
1540         return TrueState->set<RegionState>(Sym,  in ProcessZeroAllocCheck()
1769   return State->set<RegionState>(Sym, RefState::getAllocated(Family, E));  in MallocUpdateRefState()
1982   const RefState *RsBase = State->get<RegionState>(SymBase);  in FreeMemAux()
2058     return State->set<RegionState>(SymBase,  in FreeMemAux()
2062   return State->set<RegionState>(SymBase,  in FreeMemAux()
2107   const RefState *RS = C.getState()->get<RegionState>(Sym);  in getCheckIfTracked()
2411         C.getState()->get<RegionState>(Sym)->getAllocationFamily();  in HandleUseAfterFree()
2697     if (!State->get<RegionState>(Sym))  in getAllocationSite()
2734   const RefState *RS = C.getState()->get<RegionState>(Sym);  in HandleLeak()
2796   RegionStateTy OldRS = state->get<RegionState>();  in checkDeadSymbols()
2797   RegionStateTy::Factory &F = state->get_context<RegionState>();  in checkDeadSymbols()
2850   C.addTransition(state->set<RegionState>(RS), N);  in checkDeadSymbols()
2993   const RefState *RS = C.getState()->get<RegionState>(Sym);  in isReleased()
3019       if (const RefState *RS = State->get<RegionState>(Sym))  in suppressDeallocationsInSuspiciousContexts()
3020         State = State->set<RegionState>(Sym, RefState::getEscaped(RS));  in suppressDeallocationsInSuspiciousContexts()
3041   if (const RefState *RS = C.getState()->get<RegionState>(Sym)) {  in checkUseZeroAllocated()
3074   RegionStateTy RS = state->get<RegionState>();  in evalAssume()
3080       state = state->remove<RegionState>(I.getKey());  in evalAssume()
3094     if (const RefState *RS = state->get<RegionState>(ReallocSym)) {  in evalAssume()
3098           state = state->set<RegionState>(ReallocSym,  in evalAssume()
3102           state = state->remove<RegionState>(ReallocSym);  in evalAssume()
3318     if (const RefState *RS = State->get<RegionState>(sym))  in checkPointerEscapeAux()
3321           State = State->set<RegionState>(sym, RefState::getEscaped(RS));  in checkPointerEscapeAux()
3372   const RefState *RSCurr = state->get<RegionState>(Sym);  in VisitNode()
3373   const RefState *RSPrev = statePrev->get<RegionState>(Sym);  in VisitNode()
3518     if (!statePrev->get<RegionState>(FailedReallocSymbol)) {  in VisitNode()
3557   RegionStateTy RS = State->get<RegionState>();  in printState()
3562       const RefState *RefS = State->get<RegionState>(I.getKey());  in printState()
3586   return State->set<RegionState>(Sym, RefState::getReleased(Family, Origin));  in markReleased()