HomeSort by relevance Sort by last modified time
    Searched refs:ProgramStateTrait (Results 1 - 7 of 7) 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>
ProgramState.h 49 // ProgramStateTrait - Traits used by the Generic Data Map of a ProgramState.
54 template <typename T> struct ProgramStateTrait {
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()));
378 typename ProgramStateTrait<T>::lookup_type
379 get(typename ProgramStateTrait<T>::key_type key) const {
380 void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
381 return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key)
    [all...]
DynamicTypeMap.h 18 #include "clang/StaticAnalyzer/Core/PathSensitive/ProgramStateTrait.h"
30 struct ProgramStateTrait<DynamicTypeMap>
ProgramStateTrait.h 0 //ProgramStateTrait.h - Partial implementations of ProgramStateTrait -*- C++ -*-
11 // the class ProgramStateTrait<>. ProgramStateTrait<> is used by ProgramState
48 struct ProgramStateTrait<Name> \
ExprEngine.h 26 #include "clang/StaticAnalyzer/Core/PathSensitive/ProgramStateTrait.h"
648 struct ProgramStateTrait<ReplayWithoutInlining> :
  /external/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
MPITypes.h 58 struct ProgramStateTrait<mpi::RequestMap>
  /external/clang/lib/StaticAnalyzer/Checkers/
CheckObjCDealloc.cpp 45 #include "clang/StaticAnalyzer/Core/PathSensitive/ProgramStateTrait.h"
187 template<> struct ProgramStateTrait<SymbolSet>
    [all...]

Completed in 5289 milliseconds