[Bug tree-optimization/54022] New: [4.8 regression] ICE in hoist_edge_and_branch_if_true

[ebotcazou at gcc dot gnu.org]

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: unassigned@gcc.gnu.org
        ReportedBy: ebotcazou@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.