diff options
| author | Ted Kremenek <kremenek@apple.com> | 2008-12-03 18:56:12 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2008-12-03 18:56:12 +0000 |
| commit | f935cfe277fbf839ba149b45b6d27418a8e16a8c (patch) | |
| tree | 0a53ec64b2497778ea5366bd70b936c62100f7c6 /clang/lib/Analysis/SymbolManager.cpp | |
| parent | 3f86b5133363b95b751cc65bf420664d70df02e1 (diff) | |
| download | bcm5719-llvm-f935cfe277fbf839ba149b45b6d27418a8e16a8c.tar.gz bcm5719-llvm-f935cfe277fbf839ba149b45b6d27418a8e16a8c.zip | |
BasicConstraintManager:
- Fix nonsensical logic in AssumeSymLE. When comparing 'sym <= constant' and the
constant is the minimum integer value, add the constraint that 'sym ==
constant' when the path is deemed feasible. All other cases are feasible.
- Improve AssumeSymLT to address <rdar://problem/6407949>. When comparing
'sym < constant' and constant is the minimum integer value we know the
path is infeasible.
- Add test case for <rdar://problem/6407949>.
llvm-svn: 60489
Diffstat (limited to 'clang/lib/Analysis/SymbolManager.cpp')
0 files changed, 0 insertions, 0 deletions
