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 | 24e7eade19c023132fe73eb85dedcd5b70ecf61d (patch) | |
| tree | 4342dbec81c93b60ed1436ab41b87783666394cb /clang/lib/Analysis/SimpleConstraintManager.h | |
| parent | b2304ee0d191b7bb0b0c759a59ebeaa49c8b74d7 (diff) | |
| download | bcm5719-llvm-24e7eade19c023132fe73eb85dedcd5b70ecf61d.tar.gz bcm5719-llvm-24e7eade19c023132fe73eb85dedcd5b70ecf61d.zip | |
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.
llvm-svn: 67678
Diffstat (limited to 'clang/lib/Analysis/SimpleConstraintManager.h')
| -rw-r--r-- | clang/lib/Analysis/SimpleConstraintManager.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/clang/lib/Analysis/SimpleConstraintManager.h b/clang/lib/Analysis/SimpleConstraintManager.h index 08ab66063af..8195c8ed36e 100644 --- a/clang/lib/Analysis/SimpleConstraintManager.h +++ b/clang/lib/Analysis/SimpleConstraintManager.h @@ -76,6 +76,7 @@ public: private: BasicValueFactory& getBasicVals() { return StateMgr.getBasicVals(); } + SymbolManager& getSymbolManager() const { return StateMgr.getSymbolManager(); } }; } // end clang namespace |
