[Bug rtl-optimization/45353] New: ICE: RTL check: expected elt 3 type 'B', have '0' (rtx barrier) in sel_bb_head, at sel-sched-ir.c:4329 with -fselective-scheduling and __builtin_unreachable()

[Bug rtl-optimization/45353] New: ICE: RTL check: expected elt 3 type 'B', have '0' (rtx barrier) in sel_bb_head, at sel-sched-ir.c:4329 with -fselective-scheduling and __builtin_unreachable()

[zsojka at seznam dot cz]

Command line:
$ gcc -O -fschedule-insns -fselective-scheduling testcase.c

Compiler output:
$ gcc -O -fschedule-insns -fselective-scheduling testcase.ctestcase.c: In
function 'foo':
testcase.c:4:1: internal compiler error: RTL check: expected elt 3 type 'B',
have '0' (rtx barrier) in sel_bb_head, at sel-sched-ir.c:4329
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

----- testcase.c ----
void foo ()
{
  __builtin_unreachable ();
}
---------------------
Current testcases from testsuite, such as gcc.dg/builtin-unreachable-3.c, ICE
as well with given flags.

Tested revisions:
r163371 - crash


-- 
           Summary: ICE: RTL check: expected elt 3 type 'B', have '0' (rtx
                    barrier) in sel_bb_head, at sel-sched-ir.c:4329 with -
                    fselective-scheduling and __builtin_unreachable()
           Product: gcc
           Version: 4.6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: rtl-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: zsojka at seznam dot cz
  GCC host triplet: x86_64-pc-linux-gnu
GCC target triplet: x86_64-pc-linux-gnu


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45353

[Bug rtl-optimization/45353] ICE: RTL check: expected elt 3 type 'B', have '0' (rtx barrier) in sel_bb_head, at sel-sched-ir.c:4329 with -fselective-scheduling and __builtin_unreachable()

[jakub at gcc dot gnu dot org]

------- Comment #1 from jakub at gcc dot gnu dot org  2010-08-20 12:21 -------
Created an attachment (id=21529)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=21529&action=view)
gcc46-pr45353.patch

Untested fix.


-- 

jakub at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |jakub at gcc dot gnu dot org
                   |dot org                     |
             Status|UNCONFIRMED                 |ASSIGNED


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45353

[Bug rtl-optimization/45353] ICE: RTL check: expected elt 3 type 'B', have '0' (rtx barrier) in sel_bb_head, at sel-sched-ir.c:4329 with -fselective-scheduling and __builtin_unreachable()

[jakub at gcc dot gnu dot org]

------- Comment #2 from jakub at gcc dot gnu dot org  2010-08-20 18:07 -------
Subject: Bug 45353

Author: jakub
Date: Fri Aug 20 18:07:12 2010
New Revision: 163412

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=163412
Log:
        PR rtl-optimization/45353
        * sel-sched-ir.c (sel_bb_head): Return NULL even if next_nonnote_insn
        after bb_note is a BARRIER.

        * gcc.dg/pr45353.c: New test.

Added:
    trunk/gcc/testsuite/gcc.dg/pr45353.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/sel-sched-ir.c
    trunk/gcc/testsuite/ChangeLog


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45353

[Bug rtl-optimization/45353] ICE: RTL check: expected elt 3 type 'B', have '0' (rtx barrier) in sel_bb_head, at sel-sched-ir.c:4329 with -fselective-scheduling and __builtin_unreachable()

[jakub at gcc dot gnu dot org]

------- Comment #3 from jakub at gcc dot gnu dot org  2010-08-20 18:35 -------
Fixed.


-- 

jakub at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45353

[Bug rtl-optimization/45353] ICE: RTL check: expected elt 3 type 'B', have '0' (rtx barrier) in sel_bb_head, at sel-sched-ir.c:4329 with -fselective-scheduling and __builtin_unreachable()

[ebotcazou at gcc dot gnu dot org]

------- Comment #4 from ebotcazou at gcc dot gnu dot org  2010-08-28 13:58 -------
The same fix is needed on the 4.5 branch.


-- 

ebotcazou at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |ebotcazou at gcc dot gnu dot
                   |                            |org
             Status|RESOLVED                    |UNCONFIRMED
         Resolution|FIXED                       |
   Target Milestone|---                         |4.5.2


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45353

[Bug rtl-optimization/45353] ICE: RTL check: expected elt 3 type 'B', have '0' (rtx barrier) in sel_bb_head, at sel-sched-ir.c:4329 with -fselective-scheduling and __builtin_unreachable()

[ebotcazou at gcc dot gnu dot org]

------- Comment #5 from ebotcazou at gcc dot gnu dot org  2010-08-31 11:52 -------
Subject: Bug 45353

Author: ebotcazou
Date: Tue Aug 31 11:52:01 2010
New Revision: 163670

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=163670
Log:
        Backport from mainline
        2010-08-20  Jakub Jelinek  <jakub@redhat.com>

        PR rtl-optimization/45353
        * sel-sched-ir.c (sel_bb_head): Return NULL even if next_nonnote_insn
        after bb_note is a BARRIER.

Modified:
    branches/gcc-4_5-branch/gcc/ChangeLog
    branches/gcc-4_5-branch/gcc/sel-sched-ir.c


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45353

[Bug rtl-optimization/45353] ICE: RTL check: expected elt 3 type 'B', have '0' (rtx barrier) in sel_bb_head, at sel-sched-ir.c:4329 with -fselective-scheduling and __builtin_unreachable()

[ebotcazou at gcc dot gnu dot org]

------- Comment #6 from ebotcazou at gcc dot gnu dot org  2010-08-31 11:53 -------
On the 4.5 branch as well.


-- 

ebotcazou at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|                            |FIXED


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45353

[Bug rtl-optimization/45353] ICE: RTL check: expected elt 3 type 'B', have '0' (rtx barrier) in sel_bb_head, at sel-sched-ir.c:4329 with -fselective-scheduling and __builtin_unreachable()

[ebotcazou at gcc dot gnu dot org]

------- Comment #7 from ebotcazou at gcc dot gnu dot org  2010-09-01 12:24 -------
Subject: Bug 45353

Author: ebotcazou
Date: Wed Sep  1 12:24:35 2010
New Revision: 163731

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=163731
Log:
        Backport from mainline
        2010-08-20  Jakub Jelinek  <jakub@redhat.com>

        PR rtl-optimization/45353
        * sel-sched-ir.c (sel_bb_head): Return NULL even if next_nonnote_insn
        after bb_note is a BARRIER.

Modified:
    branches/gcc-4_4-branch/gcc/ChangeLog
    branches/gcc-4_4-branch/gcc/sel-sched-ir.c


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45353