[Bug c/39941] New: ice in passes.c:execute_todo()

[Bug c/39941] New: ice in passes.c:execute_todo()

[dcb314 at hotmail dot com]

I just tried to compile the Suse Linux package trustedgrub-1.1.3-8.27
with the GNU gcc version 4.5 snapshot 20090423.

The compiler said

boot.c:1350: internal compiler error: in execute_todo, at passes.c:1030
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

Preprocessed source code attached. Flag -O2 required.


-- 
           Summary: ice in passes.c:execute_todo()
           Product: gcc
           Version: 4.5.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: x86_64-suse-linux


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

[Bug c/39941] ice in passes.c:execute_todo()

[dcb314 at hotmail dot com]

------- Comment #1 from dcb314 at hotmail dot com  2009-04-28 08:55 -------
Created an attachment (id=17773)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=17773&action=view)
C source code


-- 


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

[Bug middle-end/39941] [4.5 Regression] ice in passes.c:execute_todo()

[pinskia at gcc dot gnu dot org]

-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |ice-on-valid-code
            Summary|ice in                      |[4.5 Regression] ice in
                   |passes.c:execute_todo()     |passes.c:execute_todo()
   Target Milestone|---                         |4.5.0


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

[Bug middle-end/39941] [4.5 Regression] ice in passes.c:execute_todo()

[rguenth at gcc dot gnu dot org]

------- Comment #2 from rguenth at gcc dot gnu dot org  2009-04-28 21:09 -------
Confirmed.

#1  0x084a7d71 in execute_todo (flags=7)
    at /home/richard/src/trunk/gcc/passes.c:1031
1031        gcc_assert (flags & TODO_update_ssa_any);
(gdb) 
#2  0x084a8772 in execute_one_pass (pass=0x8d26100)
    at /home/richard/src/trunk/gcc/passes.c:1314
1314      execute_todo (todo_after | pass->todo_flags_finish);
(gdb) p *pass
$1 = {type = GIMPLE_PASS, name = 0x8bdb857 "fre", gate = 0x86d780f <gate_fre>, 
  execute = 0x86d77fb <execute_fre>, sub = 0x0, next = 0x8d25680, 
  static_pass_number = 34, tv_id = TV_TREE_FRE, properties_required = 296, 
  properties_provided = 0, properties_destroyed = 0, 
  todo_flags_start = 524288, todo_flags_finish = 7}

Reducing.


-- 

rguenth 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         |2009-04-28 21:09:40
               date|                            |


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

[Bug middle-end/39941] [4.5 Regression] ice in passes.c:execute_todo()

[rguenth at gcc dot gnu dot org]

------- Comment #3 from rguenth at gcc dot gnu dot org  2009-04-28 21:17 -------
Reduced testcase.  Fails at -O1.

typedef void (*entry_func) (void) __attribute__ ((noreturn));
extern entry_func entry_addr;
static void bsd_boot_entry (void)
{
  stop ();
}   
void bsd_boot (void)
{
  entry_addr = (entry_func) bsd_boot_entry;
  (*entry_addr) ();
}


-- 


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

[Bug middle-end/39941] [4.5 Regression] ice in passes.c:execute_todo()

[rguenth at gcc dot gnu dot org]

------- Comment #4 from rguenth at gcc dot gnu dot org  2009-04-28 21:24 -------
Mine.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |rguenth at gcc dot gnu dot
                   |dot org                     |org
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2009-04-28 21:09:40         |2009-04-28 21:24:08
               date|                            |


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

[Bug middle-end/39941] [4.5 Regression] ice in passes.c:execute_todo()

[rguenth at gcc dot gnu dot org]

------- Comment #5 from rguenth at gcc dot gnu dot org  2009-04-28 21:27 -------
We need to update SSA form after FRE as we now notice the cast to
entry_func (with noreturn attribute, thus no VDEF) was invalid (and
thus we add a VDEF).


-- 


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

[Bug middle-end/39941] [4.5 Regression] ice in passes.c:execute_todo()

[rguenth at gcc dot gnu dot org]

------- Comment #6 from rguenth at gcc dot gnu dot org  2009-04-29 10:39 -------
Subject: Bug 39941

Author: rguenth
Date: Wed Apr 29 10:39:26 2009
New Revision: 146948

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=146948
Log:
2009-04-29  Richard Guenther  <rguenther@suse.de>

        PR tree-optimization/39941
        * tree-ssa-pre.c (eliminate): Schedule update-ssa after
        eliminating an indirect call.

        * gcc.c-torture/compile/pr39941.c: New testcase.

Added:
    trunk/gcc/testsuite/gcc.c-torture/compile/pr39941.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-ssa-pre.c


-- 


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

[Bug middle-end/39941] [4.5 Regression] ice in passes.c:execute_todo()

[rguenth at gcc dot gnu dot org]

------- Comment #7 from rguenth at gcc dot gnu dot org  2009-04-29 10:39 -------
Fixed.


-- 

rguenth at gcc dot gnu dot org changed:

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


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

[Bug middle-end/39941] [4.5 Regression] ice in passes.c:execute_todo()

[hjl at gcc dot gnu dot org]

------- Comment #8 from hjl at gcc dot gnu dot org  2009-04-29 14:55 -------
Subject: Bug 39941

Author: hjl
Date: Wed Apr 29 14:54:54 2009
New Revision: 146972

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=146972
Log:
2009-04-29  H.J. Lu  <hongjiu.lu@intel.com>

        Backport from mainline:
        2009-04-29  Richard Guenther  <rguenther@suse.de>

        PR tree-optimization/39941
        * gcc.c-torture/compile/pr39941.c: New testcase.

        2009-04-29  Anmol P. Paralkar  <anmol@freescale.com>

        PR target/39565
        * gcc.dg/pr39565.c: New testcase.

        2009-04-28  Richard Guenther  <rguenther@suse.de>

        PR middle-end/39937
        * gfortran.fortran-torture/compile/pr39937.f: New testcase.

Added:
    branches/gcc-4_4-branch/gcc/testsuite/gcc.c-torture/compile/pr39941.c
      - copied unchanged from r146971,
trunk/gcc/testsuite/gcc.c-torture/compile/pr39941.c
    branches/gcc-4_4-branch/gcc/testsuite/gcc.dg/pr39565.c
      - copied unchanged from r146971, trunk/gcc/testsuite/gcc.dg/pr39565.c
   
branches/gcc-4_4-branch/gcc/testsuite/gfortran.fortran-torture/compile/pr39937.f
      - copied unchanged from r146971,
trunk/gcc/testsuite/gfortran.fortran-torture/compile/pr39937.f
Modified:
    branches/gcc-4_4-branch/gcc/testsuite/ChangeLog


-- 


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