Lines Matching refs:RegionState

205 REGISTER_MAP_WITH_PROGRAMSTATE(RegionState, SymbolRef, RefState)
870 state = state->remove<RegionState>(sym); in VisitSymbol()
1340 const RefState *RS = State->get<RegionState>(Sym); in ProcessZeroAllocCheck()
1343 return TrueState->set<RegionState>(Sym, in ProcessZeroAllocCheck()
1568 return State->set<RegionState>(Sym, RefState::getAllocated(Family, E)); in MallocUpdateRefState()
1781 const RefState *RsBase = State->get<RegionState>(SymBase); in FreeMemAux()
1857 return State->set<RegionState>(SymBase, in FreeMemAux()
1861 return State->set<RegionState>(SymBase, in FreeMemAux()
1906 const RefState *RS = C.getState()->get<RegionState>(Sym); in getCheckIfTracked()
2208 C.getState()->get<RegionState>(Sym)->getAllocationFamily(); in HandleUseAfterFree()
2492 if (!State->get<RegionState>(Sym)) in getAllocationSite()
2529 const RefState *RS = C.getState()->get<RegionState>(Sym); in HandleLeak()
2589 RegionStateTy OldRS = state->get<RegionState>(); in checkDeadSymbols()
2590 RegionStateTy::Factory &F = state->get_context<RegionState>(); in checkDeadSymbols()
2643 C.addTransition(state->set<RegionState>(RS), N); in checkDeadSymbols()
2786 const RefState *RS = C.getState()->get<RegionState>(Sym); in isReleased()
2812 if (const RefState *RS = State->get<RegionState>(Sym)) in suppressDeallocationsInSuspiciousContexts()
2813 State = State->set<RegionState>(Sym, RefState::getEscaped(RS)); in suppressDeallocationsInSuspiciousContexts()
2834 if (const RefState *RS = C.getState()->get<RegionState>(Sym)) { in checkUseZeroAllocated()
2867 RegionStateTy RS = state->get<RegionState>(); in evalAssume()
2873 state = state->remove<RegionState>(I.getKey()); in evalAssume()
2887 if (const RefState *RS = state->get<RegionState>(ReallocSym)) { in evalAssume()
2891 state = state->set<RegionState>(ReallocSym, in evalAssume()
2895 state = state->remove<RegionState>(ReallocSym); in evalAssume()
3111 if (const RefState *RS = State->get<RegionState>(sym)) in checkPointerEscapeAux()
3114 State = State->set<RegionState>(sym, RefState::getEscaped(RS)); in checkPointerEscapeAux()
3165 const RefState *RSCurr = state->get<RegionState>(Sym); in VisitNode()
3166 const RefState *RSPrev = statePrev->get<RegionState>(Sym); in VisitNode()
3311 if (!statePrev->get<RegionState>(FailedReallocSymbol)) { in VisitNode()
3350 RegionStateTy RS = State->get<RegionState>(); in printState()
3355 const RefState *RefS = State->get<RegionState>(I.getKey()); in printState()
3378 return State->set<RegionState>(Sym, RefState::getReleased(Family, Origin)); in markReleased()