| commit | 8ec5771dcba03c1080aa49e0065d60910c936307 | [log] [tgz] |
|---|---|---|
| author | Ted Kremenek <kremenek@apple.com> | Tue Oct 06 01:39:48 2009 +0000 |
| committer | Ted Kremenek <kremenek@apple.com> | Tue Oct 06 01:39:48 2009 +0000 |
| tree | 6767c21a8af14b158154623ad115f46d7feb77fe | |
| parent | c3031a964374c0d6437485d707f311197e595a27 [diff] |
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