Searched refs:SubEngine (Results 1 – 13 of 13) sorted by relevance
28 class SubEngine; variable182 SubEngine *subengine);
43 class SubEngine {46 virtual ~SubEngine() {} in ~SubEngine()
43 ProgramStateManager &, SubEngine *);449 SubEngine *Eng; /* Can be null. */481 SubEngine *subeng);518 SubEngine* getOwningEngine() { return Eng; } in getOwningEngine()
60 SubEngine& SubEng;113 CoreEngine(SubEngine &subengine, FunctionSummariesTy *FS) in CoreEngine()
48 class ExprEngine : public SubEngine {
25 SubEngine *SU;28 SimpleConstraintManager(SubEngine *subengine, SValBuilder &SB) in SimpleConstraintManager()
14 void SubEngine::anchor() { } in anchor()
43 SubEngine.cpp
51 SubEngine.cpp \
74 SubEngine *SubEng) in ProgramStateManager()177 SubEngine* Eng = Mgr.getOwningEngine(); in invalidateRegionsImpl()
297 RangeConstraintManager(SubEngine *subengine, SValBuilder &SVB) in RangeConstraintManager()363 ento::CreateRangeConstraintManager(ProgramStateManager &StMgr, SubEngine *Eng) { in CreateRangeConstraintManager()
210 SubEngine *Eng = State->getStateManager().getOwningEngine(); in addVisitorIfNecessary()786 SubEngine *Eng = N->getState()->getStateManager().getOwningEngine(); in SuppressInlineDefensiveChecksVisitor()
349 if (SubEngine *Eng = StateMgr.getOwningEngine()) { in RegionStoreManager()