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 | 35f875c136cc90528e8d21e11b4873d7ebfa0a15 (patch) | |
| tree | 985ba42b6aa0eec4dec79ceffd80c92cbd6b0585 /llvm/lib/CodeGen/Spiller.cpp | |
| parent | 1a1b62c168a4a54cbbf678a1e891c62deb39c8b3 (diff) | |
| download | bcm5719-llvm-35f875c136cc90528e8d21e11b4873d7ebfa0a15.tar.gz bcm5719-llvm-35f875c136cc90528e8d21e11b4873d7ebfa0a15.zip | |
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 ++/--.
llvm-svn: 69741
Diffstat (limited to 'llvm/lib/CodeGen/Spiller.cpp')
0 files changed, 0 insertions, 0 deletions
