diff options
author | Jakub Jelinek <jakub@redhat.com> | 2013-01-01 00:50:00 +0100 |
---|---|---|
committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2013-01-01 00:50:00 +0100 |
commit | 5bb6669db3da9da5e13a6af66a2f656e654ca7ea (patch) | |
tree | 30ac7781f5ef6ca36f8091e43f32c58f9ea33605 /gcc/testsuite/gcc.dg/pr55831.c | |
parent | 8ba3a43eeb515150ccf9d2766b76f0a78515fb05 (diff) | |
download | gcc-5bb6669db3da9da5e13a6af66a2f656e654ca7ea.zip gcc-5bb6669db3da9da5e13a6af66a2f656e654ca7ea.tar.gz gcc-5bb6669db3da9da5e13a6af66a2f656e654ca7ea.tar.bz2 |
re PR tree-optimization/55831 (ICE: verify_flow_info failed)
PR tree-optimization/55831
* tree-vect-loop.c (get_initial_def_for_induction): Use
gsi_after_labels instead of gsi_start_bb.
* gcc.dg/pr55831.c: New test.
From-SVN: r194764
Diffstat (limited to 'gcc/testsuite/gcc.dg/pr55831.c')
-rw-r--r-- | gcc/testsuite/gcc.dg/pr55831.c | 39 |
1 files changed, 39 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/pr55831.c b/gcc/testsuite/gcc.dg/pr55831.c new file mode 100644 index 0000000..ce7be63 --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr55831.c @@ -0,0 +1,39 @@ +/* PR tree-optimization/55831 */ +/* { dg-do compile } */ +/* { dg-options "-O -fstrict-overflow -ftree-vectorize -Wno-unused-label" } */ + +int g; +short p, q; + +void +foo (void) +{ + short a = p, b = q, i; + + if (a) + { + label: + for (i = 0; i < 8; i++) + b ^= a++; + + if (!b) + g = 0; + } +} + +void +bar (void) +{ + short a = p, b = q, i; + + if (a) + { + label: + for (i = 0; i < 8; i++) + b ^= (a = a + 1); + + if (!b) + g = 0; + } +} + |