diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2012-03-05 13:27:55 +0100 |
|---|---|---|
| committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2012-03-05 13:27:55 +0100 |
| commit | 3877a6a6c02207754657c86d81b8744b94864872 (patch) | |
| tree | 964f3321448b40d9bc551ee339913ed7f50467f7 /gcc/tree-parloops.c | |
| parent | 091fe9ca651c3e3192456904215c1346d7a26847 (diff) | |
| download | gcc-3877a6a6c02207754657c86d81b8744b94864872.zip gcc-3877a6a6c02207754657c86d81b8744b94864872.tar.gz gcc-3877a6a6c02207754657c86d81b8744b94864872.tar.bz2 | |
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
Diffstat (limited to 'gcc/tree-parloops.c')
0 files changed, 0 insertions, 0 deletions