Searched refs:SubEngine (Results 1 - 12 of 12) sorted by relevance

/external/clang/lib/StaticAnalyzer/Core/
H A DSubEngine.cpp1 //== SubEngine.cpp - Interface of the subengine of CoreEngine ------*- C++ -*-//
10 #include "clang/StaticAnalyzer/Core/PathSensitive/SubEngine.h"
14 void SubEngine::anchor() { }
H A DSimpleConstraintManager.h25 SubEngine *SU;
28 SimpleConstraintManager(SubEngine *subengine, SValBuilder &SB)
H A DAndroid.mk49 SubEngine.cpp \
H A DRangeConstraintManager.cpp288 RangeConstraintManager(SubEngine *subengine, SValBuilder &SVB)
332 ento::CreateRangeConstraintManager(ProgramStateManager &StMgr, SubEngine *Eng) {
H A DProgramState.cpp18 #include "clang/StaticAnalyzer/Core/PathSensitive/SubEngine.h"
74 SubEngine *SubEng)
177 SubEngine* Eng = Mgr.getOwningEngine();
H A DBugReporterVisitors.cpp215 SubEngine *Eng = State->getStateManager().getOwningEngine();
790 SubEngine *Eng = N->getState()->getStateManager().getOwningEngine();
H A DRegionStore.cpp27 #include "clang/StaticAnalyzer/Core/PathSensitive/SubEngine.h"
355 if (SubEngine *Eng = StateMgr.getOwningEngine()) {
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DConstraintManager.h28 class SubEngine;
152 SubEngine *subengine);
H A DSubEngine.h1 //== SubEngine.h - Interface of the subengine of CoreEngine --------*- C++ -*-//
43 class SubEngine { class in namespace:clang::ento
46 virtual ~SubEngine() {}
60 /// SubEngine is expected to populate dstNodes with new nodes representing
H A DProgramState.h43 SubEngine*);
440 /// Eng - The SubEngine that owns this state manager.
441 SubEngine *Eng; /* Can be null. */
473 SubEngine *subeng);
510 SubEngine* getOwningEngine() { return Eng; }
H A DCoreEngine.h60 SubEngine& SubEng;
111 CoreEngine(SubEngine& subengine,
H A DExprEngine.h27 #include "clang/StaticAnalyzer/Core/PathSensitive/SubEngine.h"
48 class ExprEngine : public SubEngine {

Completed in 104 milliseconds