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())); 592 ProgramStateRef set(ProgramStateRef st, typename ProgramStateTrait<T>::data_type D) { 593 return addGDM(st, ProgramStateTrait<T>::GDMIndex(), 594 ProgramStateTrait<T>::MakeVoidPtr(D)); 821 ProgramStateRef ProgramState::set(typename ProgramStateTrait<T>::data_type D) const { 822 return getStateManager().set<T>(this, D);tools/clang/lib/StaticAnalyzer/Checkers/MIGChecker.cpp
221 C.addTransition(State->set<ReleasedParameter>(true), T); 266 if (!State->get<ReleasedParameter>())