diff options
| author | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-03-25 05:58:37 +0000 |
|---|---|---|
| committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-03-25 05:58:37 +0000 |
| commit | a129eb974d8ff0ad4a4dd94ad1e6c5f98897ddb4 (patch) | |
| tree | 324b0f41b3a8ebe9cb2c6d66bfaa5feab91b6f9f /lib/Analysis/SimpleConstraintManager.h | |
| parent | ea728acde83cfaee282ab239fa2c22dccca819a0 (diff) | |
This patch adds two more SymbolData subclasses: SymIntExpr and SymSymExpr, for
representing symbolic expressions like 'x'+3 and 'x'+'y'. The design is
subjected to change later when we fix the class hierarchy of symbolic
expressions.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@67678 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/SimpleConstraintManager.h')
| -rw-r--r-- | lib/Analysis/SimpleConstraintManager.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/Analysis/SimpleConstraintManager.h b/lib/Analysis/SimpleConstraintManager.h index 08ab66063a..8195c8ed36 100644 --- a/lib/Analysis/SimpleConstraintManager.h +++ b/lib/Analysis/SimpleConstraintManager.h @@ -76,6 +76,7 @@ public: private: BasicValueFactory& getBasicVals() { return StateMgr.getBasicVals(); } + SymbolManager& getSymbolManager() const { return StateMgr.getSymbolManager(); } }; } // end clang namespace |