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())); 421 bool contains(typename ProgramStateTrait<T>::key_type key) const { 422 void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex()); 423 return ProgramStateTrait<T>::Contains(ProgramStateTrait<T>::MakeData(d), key); 423 return ProgramStateTrait<T>::Contains(ProgramStateTrait<T>::MakeData(d), key); 609 typename ProgramStateTrait<T>::key_type K, 610 typename ProgramStateTrait<T>::context_type C) { 611 return addGDM(st, ProgramStateTrait<T>::GDMIndex(), 612 ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Add(st->get<T>(), K, C))); 612 ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Add(st->get<T>(), K, C))); 612 ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Add(st->get<T>(), K, 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); 795 ProgramStateRef ProgramState::add(typename ProgramStateTrait<T>::key_type K) const { 796 return getStateManager().add<T>(this, K, get_context<T>()); 796 return getStateManager().add<T>(this, K, get_context<T>()); 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>());tools/clang/lib/StaticAnalyzer/Checkers/ValistChecker.cpp
146 if (C.getState()->contains<InitializedVALists>(VAList)) 198 if (!State->contains<InitializedVALists>(VAList)) 206 InitializedVAListsTy TrackedVALists = State->get<InitializedVALists>(); 212 State = State->remove<InitializedVALists>(Reg); 233 if (!State->contains<InitializedVALists>(Reg)) { 328 } else if (!State->contains<InitializedVALists>(Arg2) && !Symbolic) { 329 if (State->contains<InitializedVALists>(VAList)) { 330 State = State->remove<InitializedVALists>(VAList); 343 if (State->contains<InitializedVALists>(VAList)) { 351 State = State->add<InitializedVALists>(VAList); 368 if (!C.getState()->contains<InitializedVALists>(VAList)) { 374 State = State->remove<InitializedVALists>(VAList); 388 if (State->contains<InitializedVALists>(Reg) && 389 !StatePrev->contains<InitializedVALists>(Reg)) 391 else if (!State->contains<InitializedVALists>(Reg) && 392 StatePrev->contains<InitializedVALists>(Reg))