[Bug middle-end/53887] New: ICE in hoist_edge_and_branch_if_true, at tree-switch-conversion.c:79

[Bug middle-end/53887] New: ICE in hoist_edge_and_branch_if_true, at tree-switch-conversion.c:79

[rmansfield at qnx dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53887

             Bug #: 53887
           Summary: ICE in hoist_edge_and_branch_if_true, at
                    tree-switch-conversion.c:79
    Classification: Unclassified
           Product: gcc
           Version: 4.8.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: rmansfield@qnx.com
              Host: x86_64-unknown-linux-gnu
            Target: x86_64-unknown-linux-gnu
             Build: x86_64-unknown-linux-gnu


Created attachment 27759
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=27759
preprocessed src

$ ./xgcc -v
Using built-in specs.
COLLECT_GCC=./xgcc
Target: x86_64-unknown-linux-gnu
Configured with: ../configure --disable-bootstrap --enable-languages=c
Thread model: posix
gcc version 4.8.0 20120707 (experimental) [trunk revision 189349] (GCC) 

$ ./xgcc -B. ~/t.i -O2
/home/ryan/t.i: In function ‘fdc_setup’:
/home/ryan/t.i:51:1: internal compiler error: in hoist_edge_and_branch_if_true,
at tree-switch-conversion.c:79
 }
 ^
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

[Bug middle-end/53887] [4.8 Regression] ICE in hoist_edge_and_branch_if_true, at tree-switch-conversion.c:79

[hjl.tools at gmail dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53887

H.J. Lu <hjl.tools at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2012-07-09
                 CC|                            |steven at gcc dot gnu.org
   Target Milestone|---                         |4.8.0
            Summary|ICE in                      |[4.8 Regression] ICE in
                   |hoist_edge_and_branch_if_tr |hoist_edge_and_branch_if_tr
                   |ue, at                      |ue, at
                   |tree-switch-conversion.c:79 |tree-switch-conversion.c:79
     Ever Confirmed|0                           |1

--- Comment #1 from H.J. Lu <hjl.tools at gmail dot com> 2012-07-09 03:51:38 UTC ---
It is caused by revision 189173:

http://gcc.gnu.org/ml/gcc-cvs/2012-07/msg00077.html

[Bug middle-end/53887] [4.8 Regression] ICE in hoist_edge_and_branch_if_true, at tree-switch-conversion.c:79

[markus at trippelsdorf dot de]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53887

Markus Trippelsdorf <markus at trippelsdorf dot de> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |markus at trippelsdorf dot
                   |                            |de

--- Comment #2 from Markus Trippelsdorf <markus at trippelsdorf dot de> 2012-07-09 05:18:47 UTC ---
Dup of Bug 53881. Already fixed.

[Bug middle-end/53887] [4.8 Regression] ICE in hoist_edge_and_branch_if_true, at tree-switch-conversion.c:79

[markus at trippelsdorf dot de]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53887

--- Comment #3 from Markus Trippelsdorf <markus at trippelsdorf dot de> 2012-07-09 05:29:23 UTC ---
(In reply to comment #2)
> Dup of Bug 53881. Already fixed.

Sorry this isn't a dup (just the same error message).

Further reduced:


enum
{ Failed, NoError, NoDiskette }
a;
int b, c;
void
fn1 ()
{
    if (c)
        a << 1;
    switch (b)
    {
    default:
        a << 1;
    case 0:
        b = 0;
    case 1:
    case NoDiskette:
        ;
    }
}

[Bug middle-end/53887] [4.8 Regression] ICE in hoist_edge_and_branch_if_true, at tree-switch-conversion.c:79

[steven at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53887

Steven Bosscher <steven at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
                 CC|steven at gcc dot gnu.org   |
         AssignedTo|unassigned at gcc dot       |steven at gcc dot gnu.org
                   |gnu.org                     |

[Bug middle-end/53887] [4.8 Regression] ICE in hoist_edge_and_branch_if_true, at tree-switch-conversion.c:79

[steven at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53887

--- Comment #4 from Steven Bosscher <steven at gcc dot gnu.org> 2012-07-09 18:53:39 UTC ---
Author: steven
Date: Mon Jul  9 18:53:35 2012
New Revision: 189389

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=189389
Log:
gcc/
    PR tree-optimization/53887
    * tree-cfg.c (group_case_labels_stmt): Make non-static.
    * tree-flow.h (group_case_labels_stmt): Add prototype.
    * tree-switch-conversion.c (process_switch): Use group_case_labels_stmt
    to pre-process every switch.

testsuite/
    PR tree-optimization/53887
    * gcc.dg/pr53887.c: New test.


Added:
    trunk/gcc/testsuite/gcc.dg/pr53887.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-cfg.c
    trunk/gcc/tree-flow.h
    trunk/gcc/tree-switch-conversion.c

[Bug middle-end/53887] [4.8 Regression] ICE in hoist_edge_and_branch_if_true, at tree-switch-conversion.c:79

[steven at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53887

Steven Bosscher <steven at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED

--- Comment #5 from Steven Bosscher <steven at gcc dot gnu.org> 2012-07-09 21:33:16 UTC ---
.