diff options
| author | Ted Kremenek <kremenek@apple.com> | 2009-02-14 17:08:39 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2009-02-14 17:08:39 +0000 |
| commit | 7efe43db994db1b17675c6b646f01c2495893d5f (patch) | |
| tree | 1a054d91beb3ecc997a41ca590dddd614f1063cf /clang/lib/Sema/Sema.cpp | |
| parent | 7e96595f118a2ac02ed57ca359235faf36fa804b (diff) | |
| download | bcm5719-llvm-7efe43db994db1b17675c6b646f01c2495893d5f.tar.gz bcm5719-llvm-7efe43db994db1b17675c6b646f01c2495893d5f.zip | |
Patch by Ben Laurie:
ConstraintManager:
- constify getSymVal()
BasicConstraintManager:
- Pull out logic that would be common to ConstraintManagers of a similar nature
and put them in a parent class called 'SimpleConstraintManager'.
RangeConstraintManager:
- Added a new prototype ConstraintManager to track ranges of variables! This
ConstraintManager keeps tracks of ranges of concrete integers that a symbolic
integer may have.
AnalysisConsumer:
- Add driver option to use RangeConstraintManager with GRExprEngine-based
analyses.
llvm-svn: 64558
Diffstat (limited to 'clang/lib/Sema/Sema.cpp')
0 files changed, 0 insertions, 0 deletions
