projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a31de50) | patch
re PR tree-optimization/22117 (VRP thinks <ptr type> + <ptr type> is always nonnull.)
authorKazu Hirata <kazu@codesourcery.com>
Thu, 23 Jun 2005 16:04:09 +0000 (16:04 +0000)
committerKazu Hirata <kazu@gcc.gnu.org>
Thu, 23 Jun 2005 16:04:09 +0000 (16:04 +0000)
commite57f2b4144b1346f1461faaf0d610699e794a8f2
tree4a87e6c81eafd68c0f78223179ac6386a7acd539tree | snapshot
parenta31de5014b57e76226aed7e968466e6d026cb260commit | diff
re PR tree-optimization/22117 (VRP thinks <ptr type> + <ptr type> is always nonnull.)

gcc/
PR tree-optimization/22117
* tree-vrp.c (extract_range_from_binary_expr): Compute a
correct range when adding two pointers.

testsuite/
PR tree-optimization/22117
* gcc.dg/tree-ssa/pr22117.c: New.

From-SVN: r101272
gcc/ChangeLog diff | blob | history
gcc/testsuite/ChangeLog diff | blob | history
gcc/testsuite/gcc.dg/tree-ssa/pr22117.c [new file with mode: 0644] blob
gcc/tree-vrp.c diff | blob | history
Domain: System / Toolchain;