]> gcc.gnu.org Git - gcc.git/commit - gcc/testsuite/ChangeLog
git://gcc.gnu.org / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 091fe9c) | patch
re PR tree-optimization/51721 (-Warray-bounds false positives and inconsistencies)
authorJakub Jelinek <jakub@redhat.com>
Mon, 5 Mar 2012 12:27:55 +0000 (13:27 +0100)
committerJakub Jelinek <jakub@gcc.gnu.org>
Mon, 5 Mar 2012 12:27:55 +0000 (13:27 +0100)
commit3877a6a6c02207754657c86d81b8744b94864872
tree964f3321448b40d9bc551ee339913ed7f50467f7tree
parent091fe9ca651c3e3192456904215c1346d7a26847commit | diff
re PR tree-optimization/51721 (-Warray-bounds false positives and inconsistencies)

PR tree-optimization/51721
* tree-vrp.c (register_edge_assert_for_2): If comparing
lhs of right shift by constant with an integer constant,
add ASSERT_EXPRs for the rhs1 of the right shift.

* gcc.dg/tree-ssa/vrp63.c: New test.
* gcc.dg/pr51721.c: New test.

From-SVN: r184927
gcc/ChangeLog diff | blob | blame | history
gcc/testsuite/ChangeLog diff | blob | blame | history
gcc/testsuite/gcc.dg/pr51721.c [new file with mode: 0644] blob
gcc/testsuite/gcc.dg/tree-ssa/vrp63.c [new file with mode: 0644] blob
gcc/tree-vrp.c diff | blob | blame | history
GNU Compiler Collection
This page took 0.059654 seconds and 5 git commands to generate.