Searched refs:SubEngine (Results 1 – 12 of 12) sorted by relevance
28 class SubEngine; variable182 SubEngine *subengine);
43 class SubEngine {46 virtual ~SubEngine() {} in ~SubEngine()
44 ProgramStateManager &, SubEngine *);450 SubEngine *Eng; /* Can be null. */482 SubEngine *subeng);519 SubEngine* getOwningEngine() { return Eng; } in getOwningEngine()
60 SubEngine& SubEng;116 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
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()
211 SubEngine *Eng = State->getStateManager().getOwningEngine(); in addVisitorIfNecessary()790 SubEngine *Eng = N->getState()->getStateManager().getOwningEngine(); in SuppressInlineDefensiveChecksVisitor()
351 if (SubEngine *Eng = StateMgr.getOwningEngine()) { in RegionStoreManager()