[Bug target/82863] [8 Regression] ICE in verify_flow_info building SH libgcc

[marxin at gcc dot gnu.org]

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