diff options
| author | Ted Kremenek <kremenek@apple.com> | 2009-04-21 22:38:05 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2009-04-21 22:38:05 +0000 |
| commit | af48fdd35633f53c74e982ba7922ca7b2051c1f5 (patch) | |
| tree | d6d5454bfd4537b1d1a56f9a1fa4a1391da11131 /lib/CodeGen/CGExprAgg.cpp | |
| 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
Diffstat (limited to 'lib/CodeGen/CGExprAgg.cpp')
0 files changed, 0 insertions, 0 deletions