diff options
| author | Ted Kremenek <kremenek@apple.com> | 2009-10-06 01:39:48 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2009-10-06 01:39:48 +0000 |
| commit | 8ec5771dcba03c1080aa49e0065d60910c936307 (patch) | |
| tree | 6767c21a8af14b158154623ad115f46d7feb77fe /llvm/lib/Analysis/LiveValues.cpp | |
| parent | c3031a964374c0d6437485d707f311197e595a27 (diff) | |
| download | bcm5719-llvm-8ec5771dcba03c1080aa49e0065d60910c936307.tar.gz bcm5719-llvm-8ec5771dcba03c1080aa49e0065d60910c936307.zip | |
Fix: <rdar://problem/7275774> Static analyzer warns about NULL pointer when
adding assert
This fix required a few changes:
SimpleSValuator:
- Eagerly replace a symbolic value with its constant value in EvalBinOpNN
when it is constrained to a constant. This allows us to better constant fold
values along a path.
- Handle trivial case of '<', '>' comparison of pointers when the two pointers
are exactly the same.
RegionStoreManager:
llvm-svn: 83358
Diffstat (limited to 'llvm/lib/Analysis/LiveValues.cpp')
0 files changed, 0 insertions, 0 deletions
