HomeSort by: relevance | last modified time | path
    Searched defs:ProgramStateTrait (Results 1 - 4 of 4) sorted by relevancy

  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
MPITypes.h 56 struct ProgramStateTrait<mpi::RequestMap>
  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/
Iterator.h 128 struct ProgramStateTrait<iterator::IteratorSymbolMap>
134 struct ProgramStateTrait<iterator::IteratorRegionMap>
140 struct ProgramStateTrait<iterator::ContainerMap>
  /src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ExprEngine.h 31 #include "clang/StaticAnalyzer/Core/PathSensitive/ProgramStateTrait.h"
943 struct ProgramStateTrait<ReplayWithoutInlining> :
ProgramState.h 47 // ProgramStateTrait - Traits used by the Generic Data Map of a ProgramState.
52 template <typename T> struct ProgramStateTrait {
383 add(typename ProgramStateTrait<T>::key_type K) const;
386 typename ProgramStateTrait<T>::data_type
388 return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
392 typename ProgramStateTrait<T>::lookup_type
393 get(typename ProgramStateTrait<T>::key_type key) const {
394 void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
395 return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key)
    [all...]

Completed in 15 milliseconds