[Bug c/30563] New: ice for legal code with flags -O2 -fno-unit-at-a-time

[Bug c/30563] New: ice for legal code with flags -O2 -fno-unit-at-a-time

[dcb314 at hotmail dot com]

I just tried to compile Suse Linux package lsvpd-0.16.0-35
with the GNU C compiler version 4.3 snapshot 20070119.

The compiler said

cc -O2 -g -fmessage-length=0 -D_FORTIFY_SOURCE=2 -fno-unit-at-a-time -I../lib  
-c -o node_handler.o node_handler.c
node_handler.c:213: error: inlined_to pointer is set but no predecessors found
call_inits/151(-1): (inline copy in main/144) availability:available(93) 19
insns tree finalized inlinable
  called by:
  calls:
node_handler.c:213: internal compiler error: verify_cgraph_node failed
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. Flags -O2 -fno-unit-at-a-time required.


-- 
           Summary: ice for legal code with flags -O2 -fno-unit-at-a-time
           Product: gcc
           Version: 4.3.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=30563

[Bug c/30563] ice for legal code with flags -O2 -fno-unit-at-a-time

[dcb314 at hotmail dot com]

------- Comment #1 from dcb314 at hotmail dot com  2007-01-23 20:57 -------
Created an attachment (id=12940)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=12940&action=view)
C source code


-- 


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

[Bug c/30563] ice for legal code with flags -O2 -fno-unit-at-a-time

[rguenth at gcc dot gnu dot org]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 935 bytes --]



------- Comment #2 from rguenth at gcc dot gnu dot org  2007-01-23 21:27 -------
I get

./cc1 -quiet t.i -O -fno-unit-at-a-time t.i: In function ‘atof’:
t.i:1156: internal compiler error: in optimize_inline_calls, at
tree-inline.c:2674
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |hubicka at gcc dot gnu dot
                   |                            |org
            Summary|ice for legal code with     |ice for legal code with
                   |flags -O2 -fno-unit-at-a-   |flags -O2 -fno-unit-at-a-
                   |time                        |time


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

[Bug c/30563] ice for legal code with flags -O2 -fno-unit-at-a-time

[pinskia at gcc dot gnu dot org]

------- Comment #3 from pinskia at gcc dot gnu dot org  2007-01-23 21:36 -------
This is most likely a dup of bug 30537.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
  BugsThisDependsOn|                            |30537


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

[Bug tree-optimization/30563] [4.3 Regression] ice for legal code with flags -O2 -fno-unit-at-a-time

[pinskia at gcc dot gnu dot org]

------- Comment #4 from pinskia at gcc dot gnu dot org  2007-01-24 07:33 -------
(In reply to comment #2)
Reduced testcase for that ICE:
extern __inline double
strtod (void)
{
}
strtol (void)
{
  return strtod ();
}


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |pinskia at gcc dot gnu dot
                   |                            |org
             Status|UNCONFIRMED                 |NEW
          Component|c                           |tree-optimization
     Ever Confirmed|0                           |1
           Keywords|                            |ice-on-valid-code
   Last reconfirmed|0000-00-00 00:00:00         |2007-01-24 07:33:12
               date|                            |
            Summary|ice for legal code with     |[4.3 Regression] ice for
                   |flags -O2 -fno-unit-at-a-   |legal code with flags -O2 -
                   |time                        |fno-unit-at-a-time
   Target Milestone|---                         |4.3.0


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

[Bug tree-optimization/30563] [4.3 Regression] ice for legal code with flags -O2 -fno-unit-at-a-time

[pinskia at gcc dot gnu dot org]

------- Comment #5 from pinskia at gcc dot gnu dot org  2007-02-12 10:41 -------
*** Bug 30772 has been marked as a duplicate of this bug. ***


-- 


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

[Bug tree-optimization/30563] [4.3 Regression] ice for legal code with flags -O2 -fno-unit-at-a-time

[jbglaw at lug-owl dot de]

------- Comment #6 from jbglaw at lug-owl dot de  2007-04-22 18:54 -------
This was introduced (or the effect came up) with the inline rewriting at
r120835.


-- 


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

[Bug tree-optimization/30563] [4.3 Regression] ice for legal code with flags -O2 -fno-unit-at-a-time

[tbm at cyrius dot com]

------- Comment #7 from tbm at cyrius dot com  2007-06-22 12:56 -------
This bug is extremely common (seen while compiling the Debian archive).
Honza, can you take a look soon?


-- 


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

[Bug tree-optimization/30563] [4.3 Regression] ice for legal code with flags -O2 -fno-unit-at-a-time

[hubicka at ucw dot cz]

------- Comment #8 from hubicka at ucw dot cz  2007-06-23 00:00 -------
Subject: Re:  [4.3 Regression] ice for legal code with flags -O2
-fno-unit-at-a-time

> This bug is extremely common (seen while compiling the Debian archive).
> Honza, can you take a look soon?

I will check it tomorrow.  However why users use -fno-unit-at-a-time at
all?  Do you have some idea what packages, except for kernel, use it?

Honza


-- 


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

[Bug tree-optimization/30563] [4.3 Regression] ice for legal code with flags -O2 -fno-unit-at-a-time

[rguenth at gcc dot gnu dot org]

------- Comment #9 from rguenth at gcc dot gnu dot org  2007-06-23 09:13 -------
It is a dup.

*** This bug has been marked as a duplicate of 30537 ***


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |DUPLICATE


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

[Bug tree-optimization/30563] [4.3 Regression] ice for legal code with flags -O2 -fno-unit-at-a-time

[tbm at cyrius dot com]

------- Comment #10 from tbm at cyrius dot com  2007-06-23 09:16 -------
(In reply to comment #8)
> > This bug is extremely common (seen while compiling the Debian archive).
> > Honza, can you take a look soon?
> 
> I will check it tomorrow.  However why users use -fno-unit-at-a-time at
> all?  Do you have some idea what packages, except for kernel, use it?

Haskell


-- 


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

[Bug tree-optimization/30563] [4.3 Regression] ice for legal code with flags -O2 -fno-unit-at-a-time

[hubicka at ucw dot cz]

------- Comment #11 from hubicka at ucw dot cz  2007-06-23 12:33 -------
Subject: Re:  [4.3 Regression] ice for legal code with flags -O2
-fno-unit-at-a-time

> > I will check it tomorrow.  However why users use -fno-unit-at-a-time at
> > all?  Do you have some idea what packages, except for kernel, use it?
> 
> Haskell

Hmm, I wonder why they need it:
[Use -fno-strict-aliasing for *all* C files in the runtime
Simon Marlow <simonmar@microsoft.com>**20060629082902
 as a precautionary measure.  It is definitely required for GC.c,
 but it may well become necessary for other files in the future due to
 our (mis-)use of the C "type system".
] 

Are there any other packages or the "important portion" referred to
haskell?
Anyway, I am testing the attached fix, it was simple ordering problem
triggering hack checking analyzed flag someone added into tree-inline.

extern __inline double
strtod (void)
{
}
strtol (void)
{
  return strtod ();
}

        PR middle-end/30563
        * cgraphunit.c (cgraph_analyze_function): Fix ordering problem.
Index: cgraphunit.c
===================================================================
--- cgraphunit.c        (revision 125970)
+++ cgraphunit.c        (working copy)
@@ -760,6 +760,7 @@ cgraph_analyze_function (struct cgraph_n
   current_function_decl = decl;
   push_cfun (DECL_STRUCT_FUNCTION (decl));
   cgraph_lower_function (node);
+  node->analyzed = true;

   if (!flag_unit_at_a_time)
     {
@@ -771,7 +772,6 @@ cgraph_analyze_function (struct cgraph_n
       bitmap_obstack_release (NULL);
     }

-  node->analyzed = true;
   pop_cfun ();
   current_function_decl = NULL;
 }


-- 


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

[Bug tree-optimization/30563] [4.3 Regression] ice for legal code with flags -O2 -fno-unit-at-a-time

[tbm at cyrius dot com]

------- Comment #12 from tbm at cyrius dot com  2007-06-23 12:37 -------
No, I don't think anything else important shows this problem, except of the
kernel and the Haskell stuff.

Thanks for the patch!


-- 


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

[Bug tree-optimization/30563] [4.3 Regression] ice for legal code with flags -O2 -fno-unit-at-a-time

[hubicka at gcc dot gnu dot org]

------- Comment #13 from hubicka at gcc dot gnu dot org  2007-06-24 23:24 -------
Subject: Bug 30563

Author: hubicka
Date: Sun Jun 24 23:24:10 2007
New Revision: 125991

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=125991
Log:
        PR middle-end/30563
        * cgraphunit.c (cgraph_analyze_function): Fix ordering problem.

Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/cgraphunit.c


-- 


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

[Bug tree-optimization/30563] [4.3 Regression] ice for legal code with flags -O2 -fno-unit-at-a-time

[bonzini at gnu dot org]

------- Comment #15 from bonzini at gnu dot org  2007-06-25 07:02 -------
*** Bug 30537 has been marked as a duplicate of this bug. ***


-- 

bonzini at gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |reichelt at gcc dot gnu dot
                   |                            |org
Bug 30563 depends on bug 30537, which changed state.

Bug 30537 Summary: [4.3 regression] ICE with -fno-unit-at-a-time an inlining
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30537

           What    |Old Value                   |New Value
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |DUPLICATE

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

[Bug tree-optimization/30563] [4.3 Regression] ice for legal code with flags -O2 -fno-unit-at-a-time

[bonzini at gnu dot org]

------- Comment #14 from bonzini at gnu dot org  2007-06-25 07:01 -------
wrong bug marked as duplicate... reopening...


-- 

bonzini at gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|RESOLVED                    |REOPENED
         Resolution|DUPLICATE                   |


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

[Bug tree-optimization/30563] [4.3 Regression] ice for legal code with flags -O2 -fno-unit-at-a-time

[bonzini at gnu dot org]

------- Comment #16 from bonzini at gnu dot org  2007-06-25 07:03 -------
... to close as fixed


-- 

bonzini at gnu dot org changed:

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


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