https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82863
Martin Liška <marxin at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Keywords| |ice-on-valid-code
Status|UNCONFIRMED |NEW
Last reconfirmed| |2017-11-08
CC| |marxin at gcc dot gnu.org
Ever confirmed|0 |1
--- Comment #1 from Martin Liška <marxin at gcc dot gnu.org> ---
Confirmed, reduced test-case:
$ cat pr82863.c
typedef a __attribute__ ((mode (DI)));
a b;
float
c ()
{
float d = b > 0;
return d;
}
$ ./xgcc -B. pr82863.c -c -O2
pr82863.c:1:9: warning: type defaults to ‘int’ in declaration of ‘a’
[-Wimplicit-int]
typedef a __attribute__ ((mode (DI)));
^
pr82863.c: In function ‘c’:
pr82863.c:8:1: error: verify_flow_info: Wrong probability of edge 5->8
}
^
pr82863.c:8:1: error: verify_flow_info: Wrong probability of edge 5->6
pr82863.c:8:1: error: verify_flow_info: Wrong probability of edge 2->8
pr82863.c:8:1: error: verify_flow_info: Wrong probability of edge 2->4
during RTL pass: expand
pr82863.c:8:1: internal compiler error: verify_flow_info failed
0x9aa479 verify_flow_info()
../../gcc/cfghooks.c:265
0x1640b5e checking_verify_flow_info
../../gcc/cfghooks.h:198
0x1648fd1 try_optimize_cfg
../../gcc/cfgcleanup.c:3015
0x1649435 cleanup_cfg(int)
../../gcc/cfgcleanup.c:3179
0x9a3546 execute
../../gcc/cfgexpand.c:6511
