HomeSort by relevance Sort by last modified time
    Searched refs:SubEngine (Results 1 - 11 of 11) sorted by null

  /external/clang/lib/StaticAnalyzer/Core/
SubEngine.cpp 1 //== SubEngine.cpp - Interface of the subengine of CoreEngine ------*- C++ -*-//
10 #include "clang/StaticAnalyzer/Core/PathSensitive/SubEngine.h"
14 void SubEngine::anchor() { }
SimpleConstraintManager.h 25 SubEngine *SU;
28 SimpleConstraintManager(SubEngine *subengine, BasicValueFactory &BV)
29 : SU(subengine), BVF(BV) {}
Android.mk 48 SubEngine.cpp \
RangeConstraintManager.cpp 288 RangeConstraintManager(SubEngine *subengine, BasicValueFactory &BVF)
289 : SimpleConstraintManager(subengine, BVF) {}
330 ento::CreateRangeConstraintManager(ProgramStateManager &StMgr, SubEngine *Eng) {
ProgramState.cpp 18 #include "clang/StaticAnalyzer/Core/PathSensitive/SubEngine.h"
74 SubEngine *SubEng)
168 SubEngine* Eng = Mgr.getOwningEngine();
BugReporterVisitors.cpp 206 SubEngine *Eng = State->getStateManager().getOwningEngine();
706 SubEngine *Eng = N->getState()->getStateManager().getOwningEngine();
    [all...]
  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ConstraintManager.h 28 class SubEngine;
152 SubEngine *subengine);
SubEngine.h 1 //== SubEngine.h - Interface of the subengine of CoreEngine --------*- C++ -*-//
10 // This file defines the interface of a subengine of the CoreEngine.
43 class SubEngine {
46 virtual ~SubEngine() {}
60 /// SubEngine is expected to populate dstNodes with new nodes representing
CoreEngine.h 60 SubEngine& SubEng;
107 CoreEngine(SubEngine& subengine,
109 : SubEng(subengine), G(new ExplodedGraph()),
ProgramState.h 43 SubEngine*);
436 /// Eng - The SubEngine that owns this state manager.
437 SubEngine *Eng; /* Can be null. */
469 SubEngine *subeng);
506 SubEngine* getOwningEngine() { return Eng; }
ExprEngine.h 27 #include "clang/StaticAnalyzer/Core/PathSensitive/SubEngine.h"
49 class ExprEngine : public SubEngine {

Completed in 937 milliseconds