diff options
| author | Ted Kremenek <kremenek@apple.com> | 2010-01-05 00:15:18 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2010-01-05 00:15:18 +0000 |
| commit | 32a58084a4c53e6938dd81bfce224db25a5976d1 (patch) | |
| tree | b87110336d229ca6e376bb3f9809e71297b02c2c /lib/Analysis/SimpleConstraintManager.h | |
| parent | 51313c39c84407dd6a323be99a8c322bf8d052a9 (diff) | |
Remove references to 'Checker' and 'GRTransferFuncs' from
GRStateManager. Having these references was an abstraction violation,
as they really should only be known about GRExprEngine.
This change required adding a new 'ProcessAssume' callback in
GRSubEngine. GRExprEngine implements this callback by calling
'EvalAssume' on all registered Checker objects as well as the
registered GRTransferFunc object.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@92549 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/SimpleConstraintManager.h')
| -rw-r--r-- | lib/Analysis/SimpleConstraintManager.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/Analysis/SimpleConstraintManager.h b/lib/Analysis/SimpleConstraintManager.h index 0c58440ac0..8182398319 100644 --- a/lib/Analysis/SimpleConstraintManager.h +++ b/lib/Analysis/SimpleConstraintManager.h @@ -20,8 +20,9 @@ namespace clang { class SimpleConstraintManager : public ConstraintManager { + GRSubEngine &SU; public: - SimpleConstraintManager() {} + SimpleConstraintManager(GRSubEngine &subengine) : SU(subengine) {} virtual ~SimpleConstraintManager(); //===------------------------------------------------------------------===// |