Lines Matching refs:RegionState
205 REGISTER_MAP_WITH_PROGRAMSTATE(RegionState, SymbolRef, RefState)
874 state = state->remove<RegionState>(sym);
1344 const RefState *RS = State->get<RegionState>(Sym);
1347 return TrueState->set<RegionState>(Sym,
1631 return State->set<RegionState>(Sym, RefState::getAllocated(Family, E));
1844 const RefState *RsBase = State->get<RegionState>(SymBase);
1920 return State->set<RegionState>(SymBase,
1924 return State->set<RegionState>(SymBase,
1969 const RefState *RS = C.getState()->get<RegionState>(Sym);
2271 C.getState()->get<RegionState>(Sym)->getAllocationFamily();
2555 if (!State->get<RegionState>(Sym))
2592 const RefState *RS = C.getState()->get<RegionState>(Sym);
2652 RegionStateTy OldRS = state->get<RegionState>();
2653 RegionStateTy::Factory &F = state->get_context<RegionState>();
2706 C.addTransition(state->set<RegionState>(RS), N);
2849 const RefState *RS = C.getState()->get<RegionState>(Sym);
2875 if (const RefState *RS = State->get<RegionState>(Sym))
2876 State = State->set<RegionState>(Sym, RefState::getEscaped(RS));
2897 if (const RefState *RS = C.getState()->get<RegionState>(Sym)) {
2930 RegionStateTy RS = state->get<RegionState>();
2936 state = state->remove<RegionState>(I.getKey());
2950 if (const RefState *RS = state->get<RegionState>(ReallocSym)) {
2954 state = state->set<RegionState>(ReallocSym,
2958 state = state->remove<RegionState>(ReallocSym);
3179 if (const RefState *RS = State->get<RegionState>(sym))
3182 State = State->set<RegionState>(sym, RefState::getEscaped(RS));
3232 const RefState *RSCurr = state->get<RegionState>(Sym);
3233 const RefState *RSPrev = statePrev->get<RegionState>(Sym);
3376 if (!statePrev->get<RegionState>(FailedReallocSymbol)) {
3415 RegionStateTy RS = State->get<RegionState>();
3420 const RefState *RefS = State->get<RegionState>(I.getKey());
3443 return State->set<RegionState>(Sym, RefState::getReleased(Family, Origin));