Searched refs:SubEngine (Results 1 - 16 of 16) sorted by relevance
| /freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | SubEngine.cpp | 1 //== SubEngine.cpp - Interface of the subengine of CoreEngine ------*- C++ -*-//
9 #include "clang/StaticAnalyzer/Core/PathSensitive/SubEngine.h"
13 void SubEngine::anchor() { }
|
| H A D | SMTConstraintManager.cpp | 16 ento::CreateZ3ConstraintManager(ProgramStateManager &StMgr, SubEngine *Eng) {
|
| H A D | CoreEngine.cpp | 27 #include "clang/StaticAnalyzer/Core/PathSensitive/SubEngine.h"
56 SubEngine &subengine) {
74 CoreEngine::CoreEngine(SubEngine &subengine, FunctionSummariesTy *FS,
262 // Call into the SubEngine to process entering the CFGBlock.
|
| H A D | ProgramState.cpp | 20 #include "clang/StaticAnalyzer/Core/PathSensitive/SubEngine.h"
79 SubEngine *SubEng)
192 SubEngine &Eng = Mgr.getOwningEngine();
|
| H A D | RangeConstraintManager.cpp | 243 RangeConstraintManager(SubEngine *SE, SValBuilder &SVB)
332 ento::CreateRangeConstraintManager(ProgramStateManager &StMgr, SubEngine *Eng) {
|
| H A D | CallEvent.cpp | 568 SubEngine &Engine = getState()->getStateManager().getOwningEngine();
|
| H A D | RegionStore.cpp | 29 #include "clang/StaticAnalyzer/Core/PathSensitive/SubEngine.h"
384 SubEngine &Eng = StateMgr.getOwningEngine();
|
| /freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SimpleConstraintManager.h | 24 SubEngine *SU;
28 SimpleConstraintManager(SubEngine *subengine, SValBuilder &SB)
|
| H A D | ConstraintManager.h | 35 class SubEngine;
200 SubEngine *subengine);
203 CreateZ3ConstraintManager(ProgramStateManager &statemgr, SubEngine *subengine);
|
| H A D | SubEngine.h | 1 //== SubEngine.h - Interface of the subengine of CoreEngine --------*- C++ -*-//
47 class SubEngine { class in namespace:clang::ento
50 virtual ~SubEngine() {}
67 /// SubEngine is expected to populate dstNodes with new nodes representing
|
| H A D | CoreEngine.h | 44 class SubEngine;
72 SubEngine &SubEng;
132 CoreEngine(SubEngine &subengine,
|
| H A D | RangedConstraintManager.h | 140 RangedConstraintManager(SubEngine *SE, SValBuilder &SB)
|
| H A D | ProgramState.h | 42 ProgramStateManager &, SubEngine *);
460 /// Eng - The SubEngine that owns this state manager.
461 SubEngine *Eng; /* Can be null. */
493 SubEngine *subeng);
534 SubEngine &getOwningEngine() { return *Eng; }
|
| H A D | SMTConstraintManager.h | 33 SMTConstraintManager(clang::ento::SubEngine *SE, clang::ento::SValBuilder &SB)
|
| H A D | ExprEngine.h | 34 #include "clang/StaticAnalyzer/Core/PathSensitive/SubEngine.h"
84 class ExprEngine : public SubEngine {
|
| /freebsd-11-stable/lib/clang/libclang/ |
| H A D | Makefile | 666 SRCS_FUL+= StaticAnalyzer/Core/SubEngine.cpp
|
Completed in 105 milliseconds