re PR middle-end/80823 (ICE: verify_flow_info failed)

gcc/
	PR middle-end/80823
	* tree-cfg.c (group_case_labels_stmt): Delete increment of "i";

gcc/testsuite/
	PR middle-end/80823
	* gcc.dg/pr80823.c: New test.

From-SVN: r248408

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 0d212ab9930abf0ba5edff8837d5afe13ce8e9b7..a08d45c0a4c9c2210b09ac61975fa6545d417340 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2017-05-24  Peter Bergner  <bergner@vnet.ibm.com>
+
+       PR middle-end/80823
+       * tree-cfg.c (group_case_labels_stmt): Delete increment of "i";
+
 2017-05-24  Andreas Krebbel  <krebbel@linux.vnet.ibm.com>
 
        PR target/80725

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 78756318c34447139344b641e038aa4feb77acc8..f2929ad0e9cfb3f4799f8995979a763590999ddb 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2017-05-24  Peter Bergner  <bergner@vnet.ibm.com>
+
+       PR middle-end/80823
+       * gcc.dg/pr80823.c: New test.
+
 2017-05-24  Andreas Krebbel  <krebbel@linux.vnet.ibm.com>
 
        * gcc.target/s390/pr80725.c: New test.

diff --git a/gcc/testsuite/gcc.dg/pr80823.c b/gcc/testsuite/gcc.dg/pr80823.c
new file mode 100644 (file)
index 0000000..0a48764
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/pr80823.c
@@ -0,0 +1,23 @@
+/* PR middle-end/80823 ICE: verify_flow_info failed  */
+/* { dg-do compile }  */
+/* { dg-options "-O3" }  */
+
+int a, c;
+int b[1];
+static inline int
+fn1() {
+  switch (a)
+  case 0:
+  case 2:
+    return 1;
+  return 0;
+}
+void fn2() {
+  int i;
+  for (;; ++i) {
+    c = b[i];
+    int d = !fn1();
+    if (d)
+      __asm__("");
+  }
+}

diff --git a/gcc/tree-cfg.c b/gcc/tree-cfg.c
index ba19661b860c430108c946dca31f3b41f17c5c25..63532a82acbb17fdd7d76801e2c40a1f23b6ca64 100644 (file)
--- a/gcc/tree-cfg.c
+++ b/gcc/tree-cfg.c
@@ -1726,7 +1726,6 @@ group_case_labels_stmt (gswitch *stmt)
            remove_edge_and_dominated_blocks (base_edge);
          gimple_switch_set_label (stmt, base_index, NULL_TREE);
          new_size--;
-         i++;
        }
     }