[Bug lto/43212] New: [LTO] error: control flow in the middle of basic block

[Bug lto/43212] New: [LTO] error: control flow in the middle of basic block

[d dot g dot gorbachev at gmail dot com]

======================== 1.c ========================
extern void baz(void);

void foo(void)
{
  baz();
}
======================== 2.c ========================
extern __attribute__((__noreturn__)) void baz(void);

void bar(void)
{
  baz();
}
=====================================================
$ gcc -r -nostdlib -O2 -flto 1.c 2.c

In file included from :0:0:
1.c: In function 'foo':
1.c:3:6: error: control flow in the middle of basic block 2
1.c:3:6: internal compiler error: verify_flow_info failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.
lto-wrapper: /usr/local/bin/i686-pc-linux-gnu-gcc-4.5.0 returned 1 exit status
collect2: lto-wrapper returned 1 exit status


-- 
           Summary: [LTO] error: control flow in the middle of basic block
           Product: gcc
           Version: 4.5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: lto
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: d dot g dot gorbachev at gmail dot com
 GCC build triplet: i686-pc-linux-gnu
  GCC host triplet: i686-pc-linux-gnu
GCC target triplet: i686-pc-linux-gnu


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

[Bug lto/43212] [LTO] error: control flow in the middle of basic block

[rguenth at gcc dot gnu dot org]

------- Comment #1 from rguenth at gcc dot gnu dot org  2010-03-01 10:43 -------
Confirmed.  We do have sort-of a fixup pass to deal with this, but it doesn't
work very well.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
           Keywords|                            |lto
   Last reconfirmed|0000-00-00 00:00:00         |2010-03-01 10:43:50
               date|                            |


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

[Bug lto/43212] [LTO] error: control flow in the middle of basic block

[steven at gcc dot gnu dot org]

------- Comment #2 from steven at gcc dot gnu dot org  2010-04-08 10:43 -------
Should LTO reject function declarations with incompatible attributes? Or should
the "discovery" of the attribute in one translation unit be used to update the
control flow graph in the other units (e.g. by writing out summaries for the
attributes and have a stage in LTO that merges them)?


-- 


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

[Bug lto/43212] [LTO] error: control flow in the middle of basic block

[rguenth at gcc dot gnu dot org]

------- Comment #3 from rguenth at gcc dot gnu dot org  2010-04-08 11:23 -------
We do have a fixup pass for this, but somehow it doesnt' work.


-- 


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

[Bug lto/43212] [LTO] error: control flow in the middle of basic block

[rguenth at gcc dot gnu dot org]

------- Comment #4 from rguenth at gcc dot gnu dot org  2010-04-23 16:25 -------
Honza, you might want to have a look here.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |hubicka at gcc dot gnu dot
                   |                            |org
   Last reconfirmed|2010-03-01 10:43:50         |2010-04-23 16:25:03
               date|                            |


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

[Bug lto/43212] [LTO] error: control flow in the middle of basic block

[rguenth at gcc dot gnu dot org]

------- Comment #5 from rguenth at gcc dot gnu dot org  2010-07-24 16:46 -------
Hm, I can't reproduce this anymore.  Thus, fixed.


-- 

rguenth at gcc dot gnu dot org changed:

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


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

[Bug lto/43212] [LTO] error: control flow in the middle of basic block

[rguenth at gcc dot gnu dot org]

------- Comment #6 from rguenth at gcc dot gnu dot org  2010-07-24 16:49 -------
Subject: Bug 43212

Author: rguenth
Date: Sat Jul 24 16:49:38 2010
New Revision: 162501

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=162501
Log:
2010-07-24  Richard Guenther  <rguenther@suse.de>

        PR lto/43212
        * gcc.dg/lto/20100724-1_0.c: New testcase.
        * gcc.dg/lto/20100724-1_1.c: Likewise.

Added:
    trunk/gcc/testsuite/gcc.dg/lto/20100724-1_0.c
    trunk/gcc/testsuite/gcc.dg/lto/20100724-1_1.c
Modified:
    trunk/gcc/testsuite/ChangeLog


-- 


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