| commit | af48fdd35633f53c74e982ba7922ca7b2051c1f5 | [log] [tgz] |
|---|---|---|
| author | Ted Kremenek <kremenek@apple.com> | Tue Apr 21 22:38:05 2009 +0000 |
| committer | Ted Kremenek <kremenek@apple.com> | Tue Apr 21 22:38:05 2009 +0000 |
| tree | d6d5454bfd4537b1d1a56f9a1fa4a1391da11131 | |
| parent | ec751c48bc904ec42bc3ce93a198b14a46dc8e01 [diff] |
Fix: <rdar://problem/6777209> false Dereference of null pointer in loop: pointer increment/decrement preserves non-nullness When the StoreManager doesn't reason well about pointer-arithmetic, propagate the non-nullness constraint on a pointer value when performing pointer arithmetic uisng ++/--. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@69741 91177308-0d34-0410-b5e6-96231b3b80d8