diff options
| author | rdivacky <rdivacky@FreeBSD.org> | 2010-01-15 15:39:40 +0000 |
|---|---|---|
| committer | rdivacky <rdivacky@FreeBSD.org> | 2010-01-15 15:39:40 +0000 |
| commit | a3fa5c7f1b5e2ba4d6ec033dc0e2376326b05824 (patch) | |
| tree | a6082d4d1d1e9ddaea09a6a04bb4a47da95d642d /include/clang/Analysis/PathSensitive/ConstraintManager.h | |
| parent | bb1e3bc1e0be2b8f891db46457a8943451bf4d8b (diff) | |
| download | FreeBSD-src-a3fa5c7f1b5e2ba4d6ec033dc0e2376326b05824.zip FreeBSD-src-a3fa5c7f1b5e2ba4d6ec033dc0e2376326b05824.tar.gz | |
Update clang to r93512.
Diffstat (limited to 'include/clang/Analysis/PathSensitive/ConstraintManager.h')
| -rw-r--r-- | include/clang/Analysis/PathSensitive/ConstraintManager.h | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/include/clang/Analysis/PathSensitive/ConstraintManager.h b/include/clang/Analysis/PathSensitive/ConstraintManager.h index 37a1408..c829280 100644 --- a/include/clang/Analysis/PathSensitive/ConstraintManager.h +++ b/include/clang/Analysis/PathSensitive/ConstraintManager.h @@ -25,6 +25,7 @@ namespace clang { class GRState; class GRStateManager; +class GRSubEngine; class SVal; class ConstraintManager { @@ -64,8 +65,10 @@ public: virtual bool canReasonAbout(SVal X) const = 0; }; -ConstraintManager* CreateBasicConstraintManager(GRStateManager& statemgr); -ConstraintManager* CreateRangeConstraintManager(GRStateManager& statemgr); +ConstraintManager* CreateBasicConstraintManager(GRStateManager& statemgr, + GRSubEngine &subengine); +ConstraintManager* CreateRangeConstraintManager(GRStateManager& statemgr, + GRSubEngine &subengine); } // end clang namespace |
