Home
last modified time | relevance | path

Searched refs:ProgramStateTrait (Results 1 – 7 of 7) sorted by relevance

/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DProgramState.h54 template <typename T> struct ProgramStateTrait { struct
369 ProgramStateRef add(typename ProgramStateTrait<T>::key_type K) const;
372 typename ProgramStateTrait<T>::data_type
374 return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex())); in get()
378 typename ProgramStateTrait<T>::lookup_type
379 get(typename ProgramStateTrait<T>::key_type key) const { in get()
380 void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex()); in get()
381 return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key); in get()
385 typename ProgramStateTrait<T>::context_type get_context() const;
389 ProgramStateRef remove(typename ProgramStateTrait<T>::key_type K) const;
[all …]
DTaintManager.h33 template<> struct ProgramStateTrait<TaintMap>
DDynamicTypeMap.h30 struct ProgramStateTrait<DynamicTypeMap>
DProgramStateTrait.h48 struct ProgramStateTrait<Name> \
DExprEngine.h648 struct ProgramStateTrait<ReplayWithoutInlining> :
/external/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
DMPITypes.h58 struct ProgramStateTrait<mpi::RequestMap>
/external/clang/lib/StaticAnalyzer/Checkers/
DCheckObjCDealloc.cpp187 template<> struct ProgramStateTrait<SymbolSet> struct