[Bug middle-end/80823] [8 Regression] ICE: verify_flow_info failed

2017-05-24 Thread bergner at gcc dot gnu.org 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80823

Peter Bergner  changed:

   What|Removed |Added

 Status|RESOLVED|CLOSED

--- Comment #7 from Peter Bergner  ---
Closing as fixed.

[Bug middle-end/80823] [8 Regression] ICE: verify_flow_info failed

2017-05-24 Thread bergner at gcc dot gnu.org 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80823

Peter Bergner  changed:

   What|Removed |Added

 Status|NEW |RESOLVED
URL||https://gcc.gnu.org/ml/gcc-
   ||patches/2017-05/msg01791.ht
   ||ml
 Resolution|--- |FIXED

--- Comment #6 from Peter Bergner  ---
Fixed in revision r248408.

[Bug middle-end/80823] [8 Regression] ICE: verify_flow_info failed

2017-05-24 Thread bergner at gcc dot gnu.org 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80823

--- Comment #5 from Peter Bergner  ---
Author: bergner
Date: Wed May 24 12:10:54 2017
New Revision: 248408

URL: https://gcc.gnu.org/viewcvs?rev=248408=gcc=rev
Log:
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.

Added:
trunk/gcc/testsuite/gcc.dg/pr80823.c
Modified:
trunk/gcc/ChangeLog
trunk/gcc/testsuite/ChangeLog
trunk/gcc/tree-cfg.c

[Bug middle-end/80823] [8 Regression] ICE: verify_flow_info failed

2017-05-23 Thread bergner at gcc dot gnu.org 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80823

--- Comment #4 from Peter Bergner  ---
Stupid thinko on my part.  An extra increment is causing us to skip some of the
case labels in the switch statement, which only causes an ICE/problem if the
skipped case happens to point to the same unreachable block as an earlier case
label.  In that case, the earlier case has already removed the unreachable
block, but skipped case label still points to it, leading to the verify_flow
ICE.
I'm testing the following:

Index: gcc/tree-cfg.c
===
--- gcc/tree-cfg.c  (revision 248375)
+++ gcc/tree-cfg.c  (working copy)
@@ -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++;
}
 }

[Bug middle-end/80823] [8 Regression] ICE: verify_flow_info failed

2017-05-23 Thread bergner at gcc dot gnu.org 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80823

--- Comment #3 from Peter Bergner  ---
Testing a patch.

[Bug middle-end/80823] [8 Regression] ICE: verify_flow_info failed

2017-05-19 Thread bergner at gcc dot gnu.org 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80823

Peter Bergner  changed:

   What|Removed |Added

   Assignee|unassigned at gcc dot gnu.org  |bergner at gcc dot 
gnu.org

--- Comment #2 from Peter Bergner  ---
Sigh, mine.

[Bug middle-end/80823] [8 Regression] ICE: verify_flow_info failed

2017-05-19 Thread rguenth at gcc dot gnu.org 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80823

Richard Biener  changed:

   What|Removed |Added

   Priority|P3  |P1
   Target Milestone|--- |8.0

[Bug middle-end/80823] [8 Regression] ICE: verify_flow_info failed

2017-05-18 Thread trippels at gcc dot gnu.org 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80823

Markus Trippelsdorf  changed:

   What|Removed |Added

 Status|UNCONFIRMED |NEW
   Last reconfirmed||2017-05-19
 CC||bergner at gcc dot gnu.org
 Ever confirmed|0   |1

--- Comment #1 from Markus Trippelsdorf  ---
Started with r248155.