[Bug c/39834] New: verify_cgraph_node failed with -O3 -Winline

[Bug c/39834] New: verify_cgraph_node failed with -O3 -Winline

[dcb314 at hotmail dot com]

I just tried to compile the Suse Linux package mined-2000.14-88.34
with the GNU gcc version 4.5 snapshot 20090416.

The compiler said

textfile.c:3154: error: edge EXFILE->bottom_line has no corresponding call_stmt
# .MEM = VDEF <.MEM>
bottom_line (1, &"Already at last file"[0], 0B, 0B, 0, &""[0]);

EXFILE/101(101) [0x2b066b8f9400]: availability:available 44 insns (100 after
inlining) needed body externally_visible finalized inlinable
  called by:
  calls: edit_nth_file/91 (nested in 29 loops) bottom_line/105 (nested in 86
loops) quit_mined/90 (nested in 86 loops) edit_nth_file/91 (nested in 142
loops) quit_mined/90 (0.54 per call) write_text/75 (0.29 per call)
textfile.c:3154: internal compiler error: verify_cgraph_node failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

Preprocessed source code attached. Flags -O3 -Winline required.


-- 
           Summary: verify_cgraph_node failed with -O3 -Winline
           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=39834

[Bug c/39834] verify_cgraph_node failed with -O3 -Winline

[dcb314 at hotmail dot com]

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


-- 


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

[Bug c/39834] verify_cgraph_node failed with -O3 -Winline

[rguenth at gcc dot gnu dot org]

------- Comment #2 from rguenth at gcc dot gnu dot org  2009-04-21 10:19 -------
Reducing.


-- 


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

[Bug middle-end/39834] [4.5 Regression] verify_cgraph_node failed with -O3 -Winline

[rguenth at gcc dot gnu dot org]

------- Comment #3 from rguenth at gcc dot gnu dot org  2009-04-21 10:31 -------
Confirmed.  The following fails at -O -Winline.

void quit_mined ();
void bottom_line ();
typedef enum { False, True } FLAG;
inline void
nextfile (FLAG exitiflast)
{
  if (exitiflast)     
    quit_mined ();
  else 
    bottom_line ();
  nextfile (True);
}


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |hubicka at gcc dot gnu dot
                   |                            |org
             Status|UNCONFIRMED                 |NEW
          Component|c                           |middle-end
     Ever Confirmed|0                           |1
           Keywords|                            |ice-on-valid-code
   Last reconfirmed|0000-00-00 00:00:00         |2009-04-21 10:31:24
               date|                            |
            Summary|verify_cgraph_node failed   |[4.5 Regression]
                   |with -O3 -Winline           |verify_cgraph_node failed
                   |                            |with -O3 -Winline
   Target Milestone|---                         |4.5.0


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

[Bug middle-end/39834] [4.5 Regression] verify_cgraph_node failed with -O3 -Winline

[rguenth at gcc dot gnu dot org]

-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P2


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

[Bug middle-end/39834] [4.5 Regression] verify_cgraph_node failed with -O3 -Winline

[hubicka at gcc dot gnu dot org]

------- Comment #4 from hubicka at gcc dot gnu dot org  2009-06-08 19:21 -------
Subject: Bug 39834

Author: hubicka
Date: Mon Jun  8 19:21:33 2009
New Revision: 148292

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=148292
Log:

        PR debug/39834
        * gcc.dg/torture/pr39834.c
        PR middle-end/39834
        * cgraphunit.c (save_inline_function_body): Do not copy transform hooks
        for saved inline bodies.
        * ipa-passes.c (do_per_function): Do not add the hoks multiple times
        for given function.

Added:
    trunk/gcc/testsuite/gcc.c-torture/compile/pr39834.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/cgraphunit.c
    trunk/gcc/passes.c
    trunk/gcc/testsuite/ChangeLog


-- 


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

[Bug middle-end/39834] [4.5 Regression] verify_cgraph_node failed with -O3 -Winline

[hubicka at gcc dot gnu dot org]

------- Comment #5 from hubicka at gcc dot gnu dot org  2009-06-08 19:22 -------
Fixed.


-- 

hubicka at gcc dot gnu dot org changed:

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


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