[Bug c/27735] New: ice with -O3 on legal code

[Bug c/27735] New: ice with -O3 on legal code

[dcb314 at hotmail dot com]

-- 
           Summary: ice with -O3 on legal code
           Product: gcc
           Version: 4.2.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: dcb314 at hotmail dot com
  GCC host triplet: i686-suse-linux


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

[Bug c/27735] ice with -O3 on legal code

[dcb314 at hotmail dot com]

------- Comment #1 from dcb314 at hotmail dot com  2006-05-22 22:11 -------
Created an attachment (id=11496)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=11496&action=view)
C source code


-- 


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

[Bug c/27735] ice with -O3 on legal code

[dcb314 at hotmail dot com]

------- Comment #2 from dcb314 at hotmail dot com  2006-05-22 22:15 -------
(In reply to comment #0)
I just tried to compile Suse Linux package qemacs-0.3.1-214 with the
GNU C compiler version 4.2 snapshot 20060520.

The compiler snapshot said

xml.c: In function 'xml_colorize_line':
xml.c:159: error: edge from 99 to 101 should not be marked irreducible
xml.c:159: error: basic block 101 should not be marked irreducible
xml.c:159: error: edge from 101 to 84 should not be marked irreducible
xml.c:159: internal compiler error: in verify_loop_structure, at cfgloop.c:1268
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.

Preprocessed source code attached.  Flag -O3 required.


-- 


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

[Bug rtl-optimization/27735] ice with -O3 on legal code [unswitch]

[pinskia at gcc dot gnu dot org]

------- Comment #3 from pinskia at gcc dot gnu dot org  2006-05-23 04:12 -------
Reduced testcase:
void set_color(void);
void xml_colorize_line(unsigned int *p, int state)
{
    int c;
    switch(state) 
    {
        case 1:
            goto parse_tag;
        case 2:
            goto parse_comment;
    }
    for(;;) 
    {
        c = *p;  
        if (c == '<' && state == 0) 
        {
parse_comment: ;
            while (*p != '\n') 
                state = 3;
parse_tag: ;
            while (*p != '\n') 
                state = 0;
            set_color();
        }
        else
            p++;
    }
}


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2006-05-23 04:12:58
               date|                            |


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

[Bug rtl-optimization/27735] [4.2 Regression] ice with -O3 on legal code [unswitch]

[pinskia at gcc dot gnu dot org]

-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   GCC host triplet|i686-suse-linux             |
 GCC target triplet|                            |i686-*-*, x86_64-*-*
      Known to fail|                            |4.2.0
      Known to work|                            |4.1.0
            Summary|ice with -O3 on legal code  |[4.2 Regression] ice with -
                   |[unswitch]                  |O3 on legal code [unswitch]
   Target Milestone|---                         |4.2.0


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

[Bug rtl-optimization/27735] [4.2 Regression] ice with -O3 on legal code [unswitch]

[rakdver at gcc dot gnu dot org]

-- 

rakdver at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |rakdver at gcc dot gnu dot
                   |dot org                     |org
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2006-05-23 04:12:58         |2006-05-23 10:15:36
               date|                            |


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

[Bug rtl-optimization/27735] [4.2 Regression] ice with -O3 on legal code [unswitch]

[rakdver at gcc dot gnu dot org]

------- Comment #4 from rakdver at gcc dot gnu dot org  2006-05-24 09:54 -------
Patch: http://gcc.gnu.org/ml/gcc-patches/2006-05/msg01229.html


-- 

rakdver at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                URL|                            |http://gcc.gnu.org/ml/gcc-
                   |                            |patches/2006-
                   |                            |05/msg01229.html
           Keywords|                            |patch


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

[Bug rtl-optimization/27735] [4.2 Regression] ice with -O3 on legal code [unswitch]

[patchapp at dberlin dot org]

------- Comment #5 from patchapp at dberlin dot org  2006-05-24 10:10 -------
Subject: Bug number PR 27735

A patch for this bug has been added to the patch tracker.
The mailing list url for the patch is
http://gcc.gnu.org/ml/gcc-patches/2006-05/msg01229.html


-- 


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

[Bug rtl-optimization/27735] [4.2 Regression] ice with -O3 on legal code [unswitch]

[mmitchel at gcc dot gnu dot org]

-- 

mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P1


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

[Bug rtl-optimization/27735] [4.2 Regression] ICE at -O3 caused by loop unswitching

[pinskia at gcc dot gnu dot org]

------- Comment #6 from pinskia at gcc dot gnu dot org  2006-08-25 06:48 -------
*** Bug 28843 has been marked as a duplicate of this bug. ***


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |twhall at twhall dot com


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

[Bug rtl-optimization/27735] [4.2 Regression] ICE at -O3 caused by loop unswitching

[pinskia at gcc dot gnu dot org]

------- Comment #7 from pinskia at gcc dot gnu dot org  2006-08-25 06:59 -------
Here is another testcase, this time Fortran:
      SUBROUTINE PG3CL9 (NUMSEG)
      PARAMETER      (NPMAX = 5000,
     +                NDMAX = 5000)
      LOGICAL*4       INT 
     +  Z(NPMAX)
     + , INT(NPMAX)
      COMMON /TWOND/  NODE(6,NDMAX)
      LOGICAL    ADDSW 
      GO TO 9
    8 IF (INT(NODE(1,N)))       GO TO 9
      IF (ADDSW.AND.LTYPE.EQ.2) GO TO 15
      GO TO 11
    9 CONTINUE
      ADDSW = .FALSE.
      IF (NODE(2,N).EQ.3) THEN
         IF ((X(N1).EQ.0)) THEN 
            IF (Y2.LT.0) GO TO 11
         ENDIF
      ENDIF
   15 CONTINUE
      ADDSW  = .TRUE.
      CALL PG3CL0 (LTYPE)
   11 CONTINUE
      NUMSEG = NUMSEG+1
      GO TO 8
      END


-- 


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

[Bug rtl-optimization/27735] [4.2 Regression] ICE at -O3 caused by loop unswitching

[rakdver at gcc dot gnu dot org]

------- Comment #8 from rakdver at gcc dot gnu dot org  2006-08-30 08:14 -------
Subject: Bug 27735

Author: rakdver
Date: Wed Aug 30 08:14:29 2006
New Revision: 116582

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=116582
Log:
        PR rtl-optimization/27735
        * cfgloopmanip.c (fix_loop_placements, fix_bb_placements, unloop):
        Add new argument to keep track of whether an irreducible region
        was affected.  All callers changed.
        (fix_irreducible_loops): Removed.
        (remove_path): Call mark_irreducible_loops if EDGE_IRREDUCIBLE_LOOP
        flags were invalidated.

        * gcc.dg/loop-unswitch-1.c: New test.


Added:
    trunk/gcc/testsuite/gcc.dg/loop-unswitch-1.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/cfgloopmanip.c
    trunk/gcc/testsuite/ChangeLog


-- 


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

[Bug rtl-optimization/27735] [4.2 Regression] ICE at -O3 caused by loop unswitching

[pinskia at gcc dot gnu dot org]

------- Comment #9 from pinskia at gcc dot gnu dot org  2006-08-30 12:21 -------
Fixed.


-- 

pinskia at gcc dot gnu dot org changed:

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


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

[Bug rtl-optimization/27735] [4.2 Regression] ICE at -O3 caused by loop unswitching

[pinskia at gcc dot gnu dot org]

------- Comment #10 from pinskia at gcc dot gnu dot org  2006-09-02 17:03 -------
*** Bug 28934 has been marked as a duplicate of this bug. ***


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |tbm at cyrius dot com


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