Searched defs:ProgramStateTrait (Results 1 - 3 of 3) sorted by relevance

/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DTaintManager.h19 #include "clang/StaticAnalyzer/Core/PathSensitive/ProgramStateTrait.h"
33 template<> struct ProgramStateTrait<TaintMap> struct in namespace:clang::ento
H A DExprEngine.h26 #include "clang/StaticAnalyzer/Core/PathSensitive/ProgramStateTrait.h"
611 struct ProgramStateTrait<ReplayWithoutInlining> : struct in namespace:clang::ento
H A DProgramState.h48 // ProgramStateTrait - Traits used by the Generic Data Map of a ProgramState.
53 template <typename T> struct ProgramStateTrait { struct in namespace:clang::ento
361 ProgramStateRef add(typename ProgramStateTrait<T>::key_type K) const;
364 typename ProgramStateTrait<T>::data_type
366 return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
370 typename ProgramStateTrait<T>::lookup_type
371 get(typename ProgramStateTrait<T>::key_type key) const {
372 void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
373 return ProgramStateTrait<
[all...]

Completed in 122 milliseconds