[Bug middle-end/71476] ICE in gimplify_switch_expr with -Wswitch-unreachable

2016-06-13 Thread mpolacek at gcc dot gnu.org 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71476

Marek Polacek  changed:

   What|Removed |Added

 Status|ASSIGNED|RESOLVED
 Resolution|--- |FIXED

--- Comment #4 from Marek Polacek  ---
Fixed.

[Bug middle-end/71476] ICE in gimplify_switch_expr with -Wswitch-unreachable

2016-06-13 Thread mpolacek at gcc dot gnu.org 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71476

--- Comment #3 from Marek Polacek  ---
Author: mpolacek
Date: Mon Jun 13 08:57:02 2016
New Revision: 237367

URL: https://gcc.gnu.org/viewcvs?rev=237367=gcc=rev
Log:
PR middle-end/71476
* gimplify.c (maybe_warn_switch_unreachable): Factored out of
gimplify_switch_expr.
(warn_switch_unreachable_r): New function.

* c-c++-common/Wswitch-unreachable-4.c: New test.
* gcc.dg/Wswitch-unreachable-2.c: New test.
* g++.dg/tm/jump1.C: Move dg-warning.

Added:
trunk/gcc/testsuite/c-c++-common/Wswitch-unreachable-4.c
trunk/gcc/testsuite/gcc.dg/Wswitch-unreachable-2.c
Modified:
trunk/gcc/ChangeLog
trunk/gcc/gimplify.c
trunk/gcc/testsuite/ChangeLog
trunk/gcc/testsuite/g++.dg/tm/jump1.C

[Bug middle-end/71476] ICE in gimplify_switch_expr with -Wswitch-unreachable

2016-06-10 Thread mpolacek at gcc dot gnu.org 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71476

Marek Polacek  changed:

   What|Removed |Added

   Keywords|error-recovery, |ice-on-valid-code
   |ice-on-invalid-code |

--- Comment #2 from Marek Polacek  ---
This one's valid:

void
foo (int a)
{
  switch (a)
{
  void f (void) { }
}
}

[Bug middle-end/71476] ICE in gimplify_switch_expr with -Wswitch-unreachable

2016-06-09 Thread mpolacek at gcc dot gnu.org 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71476

Marek Polacek  changed:

   What|Removed |Added

   Keywords||error-recovery,
   ||ice-on-invalid-code
 Status|UNCONFIRMED |ASSIGNED
   Last reconfirmed||2016-06-09
   Assignee|unassigned at gcc dot gnu.org  |mpolacek at gcc dot 
gnu.org
   Target Milestone|--- |7.0
 Ever confirmed|0   |1

--- Comment #1 from Marek Polacek  ---
Mine.