reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

Derived Classes

tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h
   84 class ExprEngine : public SubEngine {

Declarations

tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h
   35 class SubEngine;
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h
   44 class SubEngine;

References

tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h
  200                              SubEngine *subengine);
  203 CreateZ3ConstraintManager(ProgramStateManager &statemgr, SubEngine *subengine);
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h
   72   SubEngine &SubEng;
  132   CoreEngine(SubEngine &subengine,
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h
   84 class ExprEngine : public SubEngine {
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h
   42     ProgramStateManager &, SubEngine *);
  461   SubEngine *Eng; /* Can be null. */
  493                  SubEngine *subeng);
  534   SubEngine &getOwningEngine() { return *Eng; }
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/RangedConstraintManager.h
  140   RangedConstraintManager(SubEngine *SE, SValBuilder &SB)
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SimpleConstraintManager.h
   24   SubEngine *SU;
   28   SimpleConstraintManager(SubEngine *subengine, SValBuilder &SB)
tools/clang/lib/StaticAnalyzer/Core/CallEvent.cpp
  567   SubEngine &Engine = getState()->getStateManager().getOwningEngine();
tools/clang/lib/StaticAnalyzer/Core/CoreEngine.cpp
   56                                                   SubEngine &subengine) {
   74 CoreEngine::CoreEngine(SubEngine &subengine, FunctionSummariesTy *FS,
tools/clang/lib/StaticAnalyzer/Core/ProgramState.cpp
   79                                          SubEngine *SubEng)
  194   SubEngine &Eng = Mgr.getOwningEngine();
tools/clang/lib/StaticAnalyzer/Core/RegionStore.cpp
  384     SubEngine &Eng = StateMgr.getOwningEngine();