Lines Matching refs:RegionState
205 REGISTER_MAP_WITH_PROGRAMSTATE(RegionState, SymbolRef, RefState)
874 state = state->remove<RegionState>(sym); in VisitSymbol()
1344 const RefState *RS = State->get<RegionState>(Sym); in ProcessZeroAllocCheck()
1347 return TrueState->set<RegionState>(Sym, in ProcessZeroAllocCheck()
1631 return State->set<RegionState>(Sym, RefState::getAllocated(Family, E)); in MallocUpdateRefState()
1844 const RefState *RsBase = State->get<RegionState>(SymBase); in FreeMemAux()
1920 return State->set<RegionState>(SymBase, in FreeMemAux()
1924 return State->set<RegionState>(SymBase, in FreeMemAux()
1969 const RefState *RS = C.getState()->get<RegionState>(Sym); in getCheckIfTracked()
2271 C.getState()->get<RegionState>(Sym)->getAllocationFamily(); in HandleUseAfterFree()
2555 if (!State->get<RegionState>(Sym)) in getAllocationSite()
2592 const RefState *RS = C.getState()->get<RegionState>(Sym); in HandleLeak()
2652 RegionStateTy OldRS = state->get<RegionState>(); in checkDeadSymbols()
2653 RegionStateTy::Factory &F = state->get_context<RegionState>(); in checkDeadSymbols()
2706 C.addTransition(state->set<RegionState>(RS), N); in checkDeadSymbols()
2849 const RefState *RS = C.getState()->get<RegionState>(Sym); in isReleased()
2875 if (const RefState *RS = State->get<RegionState>(Sym)) in suppressDeallocationsInSuspiciousContexts()
2876 State = State->set<RegionState>(Sym, RefState::getEscaped(RS)); in suppressDeallocationsInSuspiciousContexts()
2897 if (const RefState *RS = C.getState()->get<RegionState>(Sym)) { in checkUseZeroAllocated()
2930 RegionStateTy RS = state->get<RegionState>(); in evalAssume()
2936 state = state->remove<RegionState>(I.getKey()); in evalAssume()
2950 if (const RefState *RS = state->get<RegionState>(ReallocSym)) { in evalAssume()
2954 state = state->set<RegionState>(ReallocSym, in evalAssume()
2958 state = state->remove<RegionState>(ReallocSym); in evalAssume()
3174 if (const RefState *RS = State->get<RegionState>(sym)) in checkPointerEscapeAux()
3177 State = State->set<RegionState>(sym, RefState::getEscaped(RS)); in checkPointerEscapeAux()
3227 const RefState *RSCurr = state->get<RegionState>(Sym); in VisitNode()
3228 const RefState *RSPrev = statePrev->get<RegionState>(Sym); in VisitNode()
3373 if (!statePrev->get<RegionState>(FailedReallocSymbol)) { in VisitNode()
3412 RegionStateTy RS = State->get<RegionState>(); in printState()
3417 const RefState *RefS = State->get<RegionState>(I.getKey()); in printState()
3440 return State->set<RegionState>(Sym, RefState::getReleased(Family, Origin)); in markReleased()