[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  changed:

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED

--- Comment #4 from Martin Liška  ---
Fixed.

[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

--- Comment #3 from Martin Liška  ---
Author: marxin
Date: Thu Nov  9 12:19:02 2017
New Revision: 254574

URL: https://gcc.gnu.org/viewcvs?rev=254574=gcc=rev
Log:
Initialize split_branch_probability (PR target/82863).

2017-11-09  Martin Liska  

PR target/82863
* emit-rtl.c (init_emit_regs): Initialize split_branch_probability to
uninitialized.
2017-11-09  Martin Liska  

PR target/82863
* gcc.dg/pr82863.c: New test.

Added:
trunk/gcc/testsuite/gcc.dg/pr82863.c
Modified:
trunk/gcc/ChangeLog
trunk/gcc/emit-rtl.c
trunk/gcc/testsuite/ChangeLog

[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  changed:

   What|Removed |Added

   Assignee|unassigned at gcc dot gnu.org  |marxin at gcc dot 
gnu.org

--- Comment #2 from Martin Liška  ---
Let me take a look.

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

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

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82863

Richard Biener  changed:

   What|Removed |Added

   Target Milestone|--- |8.0