reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
379 typename ProgramStateTrait<T>::data_type 381 return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex())); 381 return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex())); 385 typename ProgramStateTrait<T>::lookup_type 386 get(typename ProgramStateTrait<T>::key_type key) const { 387 void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex()); 388 return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key); 388 return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key); 592 ProgramStateRef set(ProgramStateRef st, typename ProgramStateTrait<T>::data_type D) { 593 return addGDM(st, ProgramStateTrait<T>::GDMIndex(), 594 ProgramStateTrait<T>::MakeVoidPtr(D)); 599 typename ProgramStateTrait<T>::key_type K, 600 typename ProgramStateTrait<T>::value_type V, 601 typename ProgramStateTrait<T>::context_type C) { 603 return addGDM(st, ProgramStateTrait<T>::GDMIndex(), 604 ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Set(st->get<T>(), K, V, C))); 604 ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Set(st->get<T>(), K, V, C))); 604 ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Set(st->get<T>(), K, V, C))); 617 typename ProgramStateTrait<T>::key_type K, 618 typename ProgramStateTrait<T>::context_type C) { 620 return addGDM(st, ProgramStateTrait<T>::GDMIndex(), 621 ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Remove(st->get<T>(), K, C))); 621 ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Remove(st->get<T>(), K, C))); 621 ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Remove(st->get<T>(), K, C))); 634 typename ProgramStateTrait<T>::context_type get_context() { 635 void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(), 636 ProgramStateTrait<T>::CreateContext, 637 ProgramStateTrait<T>::DeleteContext); 639 return ProgramStateTrait<T>::MakeContext(p); 800 typename ProgramStateTrait<T>::context_type ProgramState::get_context() const { 801 return getStateManager().get_context<T>(); 805 ProgramStateRef ProgramState::remove(typename ProgramStateTrait<T>::key_type K) const { 806 return getStateManager().remove<T>(this, K, get_context<T>()); 806 return getStateManager().remove<T>(this, K, get_context<T>()); 821 ProgramStateRef ProgramState::set(typename ProgramStateTrait<T>::data_type D) const { 822 return getStateManager().set<T>(this, D); 826 ProgramStateRef ProgramState::set(typename ProgramStateTrait<T>::key_type K, 827 typename ProgramStateTrait<T>::value_type E) const { 828 return getStateManager().set<T>(this, K, E, get_context<T>()); 828 return getStateManager().set<T>(this, K, E, get_context<T>());tools/clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp
808 state = state->remove<RegionState>(sym); 1274 const RefState *RS = State->get<RegionState>(Sym); 1277 return TrueState->set<RegionState>(Sym, 1575 return State->set<RegionState>(Sym, RefState::getAllocated(Family, E)); 1822 const RefState *RsBase = State->get<RegionState>(SymBase); 1896 return State->set<RegionState>(SymBase, 1900 return State->set<RegionState>(SymBase, 1953 const RefState *RS = C.getState()->get<RegionState>(Sym); 2250 C.getState()->get<RegionState>(Sym)->getAllocationFamily(); 2523 if (!State->get<RegionState>(Sym)) 2561 const RefState *RS = C.getState()->get<RegionState>(Sym); 2621 RegionStateTy OldRS = state->get<RegionState>(); 2622 RegionStateTy::Factory &F = state->get_context<RegionState>(); 2675 C.addTransition(state->set<RegionState>(RS), N); 2803 const RefState *RS = C.getState()->get<RegionState>(Sym); 2829 if (const RefState *RS = State->get<RegionState>(Sym)) 2830 State = State->set<RegionState>(Sym, RefState::getEscaped(RS)); 2851 if (const RefState *RS = C.getState()->get<RegionState>(Sym)) { 2884 RegionStateTy RS = state->get<RegionState>(); 2890 state = state->remove<RegionState>(I.getKey()); 2904 if (const RefState *RS = state->get<RegionState>(ReallocSym)) { 2908 state = state->set<RegionState>(ReallocSym, 2912 state = state->remove<RegionState>(ReallocSym); 3135 if (const RefState *RS = State->get<RegionState>(sym)) 3138 State = State->set<RegionState>(sym, RefState::getEscaped(RS)); 3176 const RefState *RSCurr = state->get<RegionState>(Sym); 3177 const RefState *RSPrev = statePrev->get<RegionState>(Sym); 3320 if (!statePrev->get<RegionState>(FailedReallocSymbol)) { 3359 RegionStateTy RS = State->get<RegionState>(); 3364 const RefState *RefS = State->get<RegionState>(I.getKey()); 3387 return State->set<RegionState>(Sym, RefState::getReleased(Family, Origin));