======================== 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