http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54022
Bug #: 54022
Summary: [4.8 regression] ICE in hoist_edge_and_branch_if_true
Classification: Unclassified
Product: gcc
Version: 4.8.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: tree-optimization
AssignedTo: unassig...@gcc.gnu.org
ReportedBy: ebotca...@gcc.gnu.org
Created attachment 27826
--> http://gcc.gnu.org/bugzilla/attachment.cgi?id=27826
Reduced testcase
Visible on x86-64/Linux at least at -O2:
eric@hermes:~/build/gcc/native> gcc/xgcc -Bgcc -S discr2.ads -O2
+===========================GNAT BUG DETECTED==============================+
| 4.8.0 20120716 (experimental) [trunk revision 189525] (x86_64-suse-linux) GCC
error:|
| in hoist_edge_and_branch_if_true, at tree-switch-conversion.c:80 |
| Error detected around discr2.ads:6:1|
The testcase can be added to the testsuite as gnat.dg/specs/discr2.ads.
