HomeSort by relevance Sort by last modified time
    Searched defs:ProgramStateTrait (Results 1 - 3 of 3) sorted by null

  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
TaintManager.h 19 #include "clang/StaticAnalyzer/Core/PathSensitive/ProgramStateTrait.h"
33 template<> struct ProgramStateTrait<TaintMap>
ExprEngine.h 26 #include "clang/StaticAnalyzer/Core/PathSensitive/ProgramStateTrait.h"
598 struct ProgramStateTrait<ReplayWithoutInlining> :
ProgramState.h 47 // ProgramStateTrait - Traits used by the Generic Data Map of a ProgramState.
52 template <typename T> struct ProgramStateTrait {
360 ProgramStateRef add(typename ProgramStateTrait<T>::key_type K) const;
363 typename ProgramStateTrait<T>::data_type
365 return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
369 typename ProgramStateTrait<T>::lookup_type
370 get(typename ProgramStateTrait<T>::key_type key) const {
371 void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
372 return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key)
    [all...]

Completed in 134 milliseconds