https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64465
Bug ID: 64465
Summary: [5 Regression] internal compiler error:
verify_flow_info failed
Product: gcc
Version: 5.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: middle-end
Assignee: unassigned at gcc dot gnu.org
Reporter: hjl.tools at gmail dot com
On Linux/x86-64, r219127 gave:
[hjl@gnu-tools-1 tmp]$ cat foo.c
typedef void (*__sighandler_t) (int);
struct sigaction
{
__sighandler_t sa_handler;
};
extern int sigaction (const struct sigaction *__restrict __act);
extern int __open_alias (const char *__path, int __oflag, ...) __asm__ (""
"open")
;
extern __inline __attribute__ ((__always_inline__)) __attribute__
((__artificial__)) int
open (const char *__path, int __oflag, ...)
{
if (__builtin_constant_p (__oflag))
return __open_alias (__path, __oflag, __builtin_va_arg_pack ());
return __open_alias (__path, __oflag, __builtin_va_arg_pack ());
}
extern int close(int fd);
static void
set_fortify_handler (void (*handler) (int sig))
{
struct sigaction sa;
sigaction (&sa);
int fd = open ("/dev/null", 3);
if (fd == -1)
close (1);
}
extern void handler (int sig);
void
do_test (void)
{
set_fortify_handler (handler);
}
[hjl@gnu-tools-1 tmp]$
/export/build/gnu/gcc-x32/release/usr/gcc-5.0.0-x32/bin/gcc -O2 foo.c -O2
-Wall -fexceptions
foo.c: In function ‘set_fortify_handler’:
foo.c:31:1: error: BB 5 last statement has incorrectly set lp
}
^
foo.c:31:1: internal compiler error: verify_flow_info failed
0x71e49b verify_flow_info()
/export/gnu/import/git/gcc/gcc/cfghooks.c:271
0xb33b39 cleanup_tree_cfg_noloop
/export/gnu/import/git/gcc/gcc/tree-cfgcleanup.c:753
0xb33b39 cleanup_tree_cfg()
/export/gnu/import/git/gcc/gcc/tree-cfgcleanup.c:802
0xa32b14 execute_function_todo
/export/gnu/import/git/gcc/gcc/passes.c:1893
0xa33603 execute_todo
/export/gnu/import/git/gcc/gcc/passes.c:1997
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <http://gcc.gnu.org/bugs.html> for instructions.
