Home
last modified time | relevance | path

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

/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DConstraintManager.h28 class SubEngine; variable
182 SubEngine *subengine);
DSubEngine.h43 class SubEngine {
46 virtual ~SubEngine() {} in ~SubEngine()
DProgramState.h44 ProgramStateManager &, SubEngine *);
450 SubEngine *Eng; /* Can be null. */
482 SubEngine *subeng);
519 SubEngine* getOwningEngine() { return Eng; } in getOwningEngine()
DCoreEngine.h60 SubEngine& SubEng;
116 CoreEngine(SubEngine &subengine, FunctionSummariesTy *FS) in CoreEngine()
DExprEngine.h48 class ExprEngine : public SubEngine {
/external/clang/lib/StaticAnalyzer/Core/
DSimpleConstraintManager.h25 SubEngine *SU;
28 SimpleConstraintManager(SubEngine *subengine, SValBuilder &SB) in SimpleConstraintManager()
DSubEngine.cpp14 void SubEngine::anchor() { } in anchor()
DCMakeLists.txt43 SubEngine.cpp
DProgramState.cpp74 SubEngine *SubEng) in ProgramStateManager()
177 SubEngine* Eng = Mgr.getOwningEngine(); in invalidateRegionsImpl()
DRangeConstraintManager.cpp297 RangeConstraintManager(SubEngine *subengine, SValBuilder &SVB) in RangeConstraintManager()
363 ento::CreateRangeConstraintManager(ProgramStateManager &StMgr, SubEngine *Eng) { in CreateRangeConstraintManager()
DBugReporterVisitors.cpp211 SubEngine *Eng = State->getStateManager().getOwningEngine(); in addVisitorIfNecessary()
790 SubEngine *Eng = N->getState()->getStateManager().getOwningEngine(); in SuppressInlineDefensiveChecksVisitor()
DRegionStore.cpp351 if (SubEngine *Eng = StateMgr.getOwningEngine()) { in RegionStoreManager()