[Bug middle-end/19080] New: ICE while compiling linux kernel

[Bug middle-end/19080] New: ICE while compiling linux kernel

[ak at muc dot de]

(guessing at component)


Reading specs from /pkg/gcc-041219/lib/gcc/x86_64-unknown-linux-gnu/4.0.0/specs
Configured with: ../gcc/configure --disable-checking --enable-languages=c
--prefix=/pkg/gcc-041219
Thread model: posix
gcc version 4.0.0 20041219 (experimental)

While compiling a x86_64 linux 2.6 kernel with this compile I get:

  CC      drivers/scsi/aic7xxx/aic79xx_core.o
drivers/scsi/aic7xxx/aic79xx_core.c: In function `ahd_setup_initiator_msgout':
drivers/scsi/aic7xxx/aic79xx_core.c:3427: internal compiler error: Segmentation
fault
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.

-- 
           Summary: ICE while compiling linux kernel
           Product: gcc
           Version: 4.0.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: middle-end
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: ak at muc dot de
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: x86_64-linux
  GCC host triplet: x86_64-linux
GCC target triplet: x86_64-linux


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

[Bug middle-end/19080] ICE while compiling linux kernel

[ak at muc dot de]

------- Additional Comments From ak at muc dot de  2004-12-19 15:27 -------
Created an attachment (id=7778)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=7778&action=view)
preprocessed file showing the ice


-- 


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

[Bug middle-end/19080] ICE while compiling linux kernel

[steven at gcc dot gnu dot org]

------- Additional Comments From steven at gcc dot gnu dot org  2004-12-19 15:29 -------
Looking at it... 

-- 


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

[Bug middle-end/19080] ICE while compiling linux kernel

[ak at muc dot de]

------- Additional Comments From ak at muc dot de  2004-12-19 15:29 -------
Options were

-Wall -Wstrict-prototypes -Wno-trigraphs -fno-strict-aliasing -fno-common -O2  
  -fomit-frame-pointer  -mno-red-zone -mcmodel=kernel -pipe -fno-reorder-blocks
     -Wno-sign-compare -fno-asynchronous-unwind-tables -funit-at-a-time
-Wdeclaration-after-statement

-- 


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

[Bug middle-end/19080] ICE while compiling linux kernel

[ak at muc dot de]

------- Additional Comments From ak at muc dot de  2004-12-19 16:25 -------
I tried it with an i386 build and with the same compiler with -m32 and the problem
didn't happen.
 

-- 


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

[Bug middle-end/19080] ICE while compiling linux kernel

[steven at gcc dot gnu dot org]

------- Additional Comments From steven at gcc dot gnu dot org  2004-12-19 17:24 -------
Shows up between "2004-12-10" and "2004-12-11". 
 
 

-- 


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

[Bug middle-end/19080] [4.0 regression] ICE while compiling linux kernel

[steven at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
           Keywords|                            |rejects-valid
      Known to fail|                            |4.0.0
      Known to work|                            |3.3.4
   Last reconfirmed|0000-00-00 00:00:00         |2004-12-19 17:28:51
               date|                            |
            Summary|ICE while compiling linux   |[4.0 regression] ICE while
                   |kernel                      |compiling linux kernel


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

[Bug middle-end/19080] [4.0 regression] ICE while compiling linux kernel

[steven at gcc dot gnu dot org]

------- Additional Comments From steven at gcc dot gnu dot org  2004-12-19 17:29 -------
Breaks the Linux kernel, so P1 ;) 

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P2                          |P1
   Target Milestone|---                         |4.0.0


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

[Bug middle-end/19080] [4.0 regression] ICE while compiling linux kernel

[steven at gcc dot gnu dot org]

------- Additional Comments From steven at gcc dot gnu dot org  2004-12-19 17:39 -------
This one is to blame: 
 
+2004-12-10  Diego Novillo  <dnovillo@redhat.com> 
+ 
+       * tree-into-ssa.c (REWRITE_THIS_STMT): Define. 
+       (mark_def_sites): Clear REWRITE_THIS_STMT for statements that 
+       don't need any operands rewritten. 
+       (rewrite_stmt): Ignore statements that don't need to be 
+       rewritten. 
+       (rewrite_operand): Validate that an existing SSA_NAME is 
+       identical to the current reaching definition of the operand. 
 

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |dnovillo at redhat dot com


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

[Bug tree-optimization/19080] [4.0 regression] ICE while compiling linux kernel

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-12-19 19:54 -------
Reduced as far as I can (-O1 to reproduce):
typedef union { int ioport; volatile char *maddr; } bus_space_handle_t;
struct scb { unsigned short *hscb; };
struct ahd_softc
{
  int tags[2];
  bus_space_handle_t bshs[2];
  int dst_mode;
  int src_mode;
  int flags;
};
void outb(int, int);
static inline void ahd_outb (struct ahd_softc *ahd, long port, int val)
{
  if (ahd->tags[0] == 1) *(ahd->bshs[0].maddr);
  outb (1, ahd->bshs[0].ioport );
  if (ahd->tags[0] == 1) *(ahd->bshs[0].maddr);
  outb (1, ahd->bshs[0].ioport );
}
int ahd_build_mode_state1(void);
static inline void ahd_set_modes (struct ahd_softc *ahd, int dst)
{
  if (ahd->src_mode == 2 && ahd->dst_mode == dst)
    ahd_outb (ahd, 0x00, ahd_build_mode_state1 ());
  ahd->src_mode = 1;
  ahd->dst_mode = 2;
}
int ahd_build_mode_state (int, int);
static inline int ahd_save_modes (struct ahd_softc *ahd)
{
  if (ahd->src_mode == 1)
    { int src, dst, *a = &src, *b = &dst; *a = 1, *b = 1;}
  return (ahd_build_mode_state (ahd->src_mode, ahd->dst_mode));
}
static inline void ahd_restore_modes (struct ahd_softc *ahd)
{
  int src, dst, *a = &src, *b = &dst; *a = 1, *b = 1;
  ahd_set_modes (ahd, dst);
}
int ahd_inb(struct ahd_softc*);
static inline int ahd_inb_scbram (struct ahd_softc *ahd)
{
  if ((ahd->flags & 1) != 0)
    ahd_inb (ahd);
  return 1;
}
int ahd_scb_active_in_fifo (void);
void ahd_flush_qoutfifo (struct ahd_softc *ahd, struct scb *scb)
{
  ahd_save_modes (ahd);
  ahd_set_modes (ahd,  1);
  while ((ahd_inb (ahd) & 0x01) != 0)
  {
    ahd_set_modes (ahd, 1);
    if (ahd_scb_active_in_fifo () == 0)
      continue;
    ahd_set_modes (ahd,  1);
    ahd_outb(ahd,1,1);
    if ((ahd_inb_scbram (ahd) & 0x01) == 0
	&& ((ahd_inb_scbram (ahd) & 0x02) != 0
	    || (ahd_inb_scbram (ahd) & 0x01) != 0))
    {
      int bb;
      ahd_outb(ahd,1,1);
      ahd_outb (ahd, 0x1a4, ahd_inb_scbram (ahd) | 0x04);
      bb = (*(scb->hscb));
      ahd_outb(ahd,1,1);
      bb = (*(scb->hscb));
      ahd_outb(ahd,1,1);
    }
  }
  ahd_outb(ahd,1,1);
  ahd_set_modes (ahd,  1);
  ahd_restore_modes (ahd);
  ahd->flags |= 1;
}


-- 


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

[Bug tree-optimization/19080] [4.0 regression] ICE while compiling linux kernel

[steven at gcc dot gnu dot org]

------- Additional Comments From steven at gcc dot gnu dot org  2004-12-20 09:10 -------
After alias2, we have this statement: 
 
#   NMT.24D.1619 = V_MAY_DEF <NMT.24D.1619>; 
#   NMT.25D.1620 = V_MAY_DEF <NMT.25D.1620>; 
#   NMT.26D.1621 = V_MAY_DEF <NMT.26D.1621>; 
#   NMT.27D.1622 = V_MAY_DEF <NMT.27D.1622>; 
foo_int_int (D.1505_6, D.1506_5); 
 
but in this loop: 
 
  /* Note that virtual definitions are irrelevant for computing KILLS 
     because a V_MAY_DEF does not constitute a killing definition of the 
     variable.  However, the operand of a virtual definitions is a use 
     of the variable, so it may cause the variable to be considered 
     live-on-entry.  */ 
  FOR_EACH_SSA_MAYDEF_OPERAND (def_p, use_p, stmt, iter) 
    { 
      if (prepare_use_operand_for_rename (use_p, &uid)) 
        { 
          /* If we do not already have an SSA_NAME for our destination, 
             then set the destination to the source.  */ 
          if (TREE_CODE (DEF_FROM_PTR (def_p)) != SSA_NAME) 
            SET_DEF (def_p, USE_FROM_PTR (use_p)); 
 
          set_livein_block (USE_FROM_PTR (use_p), bb); 
          set_def_block (DEF_FROM_PTR (def_p), bb, false, false); 
          REWRITE_THIS_STMT (stmt) = 1; 
        } 
    } 
 
we never return true for any of the NMTs in prepare_use_operand_for_rename, 
so we never mark this statement for renaming. 
 

-- 


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

[Bug tree-optimization/19080] [4.0 regression] ICE while compiling linux kernel

[steven at gcc dot gnu dot org]

------- Additional Comments From steven at gcc dot gnu dot org  2004-12-20 09:44 -------
At the start of the alias pass: 
 
(gdb) 
1593          invalidate_name_tags (vars_to_rename); 
(gdb) p debug_bitmap (vars_to_rename) 
 
first = 0xd73d10 current = 0xd73d10 indx = 0 
        0xd73d10 next = (nil) prev = (nil) indx = 0 
                bits = { 1 3 7 9 50 } 
 
Then in prepare_use_operand_for_rename we have for the first V_MAY_DEF: 
409       FOR_EACH_SSA_MAYDEF_OPERAND (def_p, use_p, stmt, iter) 
(gdb) 
411           if (prepare_use_operand_for_rename (use_p, &uid)) 
(gdb) step 
prepare_use_operand_for_rename (op_p={use = 0x2a95a358d0}, uid_p=0x7fbfffc608) 
at tree-into-ssa.c:562 
562       tree use = USE_FROM_PTR (op_p); 
563       tree var = (TREE_CODE (use) != SSA_NAME) ? use : SSA_NAME_VAR (use); 
564       *uid_p = var_ann (var)->uid; 
(gdb) p debug_generic_expr (use) 
NMT.24D.1619 
(gdb) p debug_generic_expr (var) 
NMT.24D.1619 
$47 = void 
(gdb) p *uid_p 
$46 = 51 
 
Then we have: 
567       if (vars_to_rename && !bitmap_bit_p (vars_to_rename, *uid_p)) 
 
So the bug seems to be in the alias pass, it just doesn't name the NMT 
for renaming at all. 
 

-- 


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

[Bug tree-optimization/19080] [4.0 regression] ICE while compiling linux kernel

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-12-20 13:59 -------
Also I got a similar failure with the Ada front-end compiling the library.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|normal                      |critical
  GCC build triplet|x86_64-linux                |
   GCC host triplet|x86_64-linux                |
 GCC target triplet|x86_64-linux                |


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

[Bug tree-optimization/19080] [4.0 regression] ICE while compiling linux kernel

[dnovillo at gcc dot gnu dot org]

------- Additional Comments From dnovillo at gcc dot gnu dot org  2004-12-20 15:10 -------
Working on a fix.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |dnovillo at gcc dot gnu dot
                   |dot org                     |org
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2004-12-19 17:28:51         |2004-12-20 15:10:44
               date|                            |


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

[Bug tree-optimization/19080] [4.0 regression] ICE while compiling linux kernel

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2004-12-20 18:18 -------
Subject: Bug 19080

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	dnovillo@gcc.gnu.org	2004-12-20 18:18:37

Modified files:
	gcc            : ChangeLog tree-flow-inline.h tree-ssa-alias.c 
	gcc/testsuite  : ChangeLog 
Added files:
	gcc/testsuite/gcc.c-torture/compile: pr19080.c 

Log message:
	PR tree-optimization/19080
	
	Merge from tree-cleanup-branch
	
	* tree-flow-inline.h (clear_call_clobbered): New function.
	* tree-ssa-alias.c (init_alias_info): Call it.
	
	testsuite/ChangeLog
	
	PR tree-optimization/19080
	* gcc.c-torture/compile/pr19080.c: New test.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&r1=2.6899&r2=2.6900
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree-flow-inline.h.diff?cvsroot=gcc&r1=2.27&r2=2.28
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree-ssa-alias.c.diff?cvsroot=gcc&r1=2.63&r2=2.64
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.diff?cvsroot=gcc&r1=1.4784&r2=1.4785
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/gcc.c-torture/compile/pr19080.c.diff?cvsroot=gcc&r1=NONE&r2=1.1



-- 


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

[Bug tree-optimization/19080] [4.0 regression] ICE while compiling linux kernel

[dnovillo at gcc dot gnu dot org]

------- Additional Comments From dnovillo at gcc dot gnu dot org  2004-12-20 18:23 -------

Fix: http://gcc.gnu.org/ml/gcc-patches/2004-12/msg01551.html

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


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