diff options
| author | Ted Kremenek <kremenek@apple.com> | 2009-03-26 03:35:11 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2009-03-26 03:35:11 +0000 |
| commit | e0e4ebf6bfca5a71b2344d8a1b748b852509279c (patch) | |
| tree | ee78de68ac056d841a957b09b7a3c820fba17979 /include/clang/CodeGen/ModuleBuilder.h | |
| parent | 4cbe82c7c82ca0106f60296a60951d41f7d2ec7d (diff) | |
analyzer infrastructure: make a bunch of changes to symbolic expressions that
Zhongxing and I discussed by email.
Main changes:
- Removed SymIntConstraintVal and SymIntConstraint
- Added SymExpr as a parent class to SymbolData, SymSymExpr, SymIntExpr
- Added nonloc::SymExprVal to wrap SymExpr
- SymbolRef is now just a typedef of 'const SymbolData*'
- Bunch of minor code cleanups in how some methods were invoked (no functionality change)
This changes are part of a long-term plan to have full symbolic expression
trees. This will be useful for lazily evaluating complicated expressions.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@67731 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'include/clang/CodeGen/ModuleBuilder.h')
0 files changed, 0 insertions, 0 deletions