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 | 3e31c26f8195b2fd61b05e58ceb8a2d6ca43a4a4 (patch) | |
| tree | 52b29228621dc93f2d812b701f8ff444e3288c88 /clang/lib/CodeGen/CodeGenModule.cpp | |
| parent | 996749e912985902fa814166b402c193077c9a0e (diff) | |
| download | bcm5719-llvm-3e31c26f8195b2fd61b05e58ceb8a2d6ca43a4a4.tar.gz bcm5719-llvm-3e31c26f8195b2fd61b05e58ceb8a2d6ca43a4a4.zip | |
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.
llvm-svn: 67731
Diffstat (limited to 'clang/lib/CodeGen/CodeGenModule.cpp')
0 files changed, 0 insertions, 0 deletions
