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); 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>()); 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/MacOSKeychainAPIChecker.cpp
229 State = State->remove<AllocatedData>(AP.first); 271 if (const AllocationState *AS = State->get<AllocatedData>(V)) { 274 State = State->remove<AllocatedData>(V); 325 const AllocationState *AS = State->get<AllocatedData>(ArgSM); 379 State = State->remove<AllocatedData>(ArgSM); 389 State = State->remove<AllocatedData>(ArgSM); 440 State = State->set<AllocatedData>(V, AllocationState(ArgExpr, idx, 458 if (!N->getState()->get<AllocatedData>(Sym)) 508 AllocatedDataTy AMap = State->get<AllocatedData>(); 535 State = State->remove<AllocatedData>(I->first); 544 AllocatedDataTy AMap = State->get<AllocatedData>(); 555 State = State->remove<AllocatedData>(I->first); 590 for (auto I : State->get<AllocatedData>()) { 593 State = State->remove<AllocatedData>(Sym); 614 State = State->remove<AllocatedData>(Sym); 624 const AllocationState *AS = N->getState()->get<AllocatedData>(Sym); 628 N->getFirstPred()->getState()->get<AllocatedData>(Sym); 655 AllocatedDataTy AMap = State->get<AllocatedData>();