[Bug c/97972] New: [10/11 Regression] ICE in moving_insn_creates_bookkeeping_block_p, at sel-sched.c:2031

[Bug c/97972] New: [10/11 Regression] ICE in moving_insn_creates_bookkeeping_block_p, at sel-sched.c:2031

[gscfq@t-online.de]

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

            Bug ID: 97972
           Summary: [10/11 Regression] ICE in
                    moving_insn_creates_bookkeeping_block_p, at
                    sel-sched.c:2031
           Product: gcc
           Version: 11.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: gscfq@t-online.de
  Target Milestone: ---

Started with r10 between 20191117 and 20191124.
Needs option -O2 and testfile gcc.c-torture/compile/20161124-1.c :


$ gcc-11-20201122 -c 20161124-1.c -O2 -fsanitize=undefined
-fselective-scheduling2 -fvar-tracking-assignments
cc1: warning: var-tracking-assignments changes selective scheduling
during RTL pass: sched2
20161124-1.c: In function 'foo':
20161124-1.c:22:1: internal compiler error: Segmentation fault
   22 | }
      | ^
0xb42eff crash_signal
        ../../gcc/toplev.c:330
0xb0d5c7 moving_insn_creates_bookkeeping_block_p
        ../../gcc/sel-sched.c:2031
0xb0d5c7 moveup_expr
        ../../gcc/sel-sched.c:2199
0xb0d5c7 moveup_expr_cached
        ../../gcc/sel-sched.c:2544
0xb0fe1e move_op_ascend
        ../../gcc/sel-sched.c:6149
0xb11a57 code_motion_path_driver
        ../../gcc/sel-sched.c:6648
0xb11d3e code_motion_process_successors
        ../../gcc/sel-sched.c:6342
0xb11d3e code_motion_path_driver
        ../../gcc/sel-sched.c:6608
0xb12193 move_op
        ../../gcc/sel-sched.c:6702
0xb12193 move_exprs_to_boundary
        ../../gcc/sel-sched.c:5223
0xb12193 schedule_expr_on_boundary
        ../../gcc/sel-sched.c:5436
0xb15864 fill_insns
        ../../gcc/sel-sched.c:5578
0xb17613 schedule_on_fences
        ../../gcc/sel-sched.c:7353
0xb17613 sel_sched_region_2
        ../../gcc/sel-sched.c:7491
0xb181ad sel_sched_region_1
        ../../gcc/sel-sched.c:7533
0xb18c7b sel_sched_region(int)
        ../../gcc/sel-sched.c:7634
0xb196b9 run_selective_scheduling()
        ../../gcc/sel-sched.c:7720
0xafaf75 rest_of_handle_sched2
        ../../gcc/sched-rgn.c:3738
0xafaf75 execute
        ../../gcc/sched-rgn.c:3882

[Bug c/97972] [9/10/11 Regression] ICE in moving_insn_creates_bookkeeping_block_p, at sel-sched.c:2031 since r9-2064-gc4c5ad1d6d1e1e1f

[marxin at gcc dot gnu.org]

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

Martin Liška <marxin at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[10/11 Regression] ICE in   |[9/10/11 Regression] ICE in
                   |moving_insn_creates_bookkee |moving_insn_creates_bookkee
                   |ping_block_p, at            |ping_block_p, at
                   |sel-sched.c:2031            |sel-sched.c:2031 since
                   |                            |r9-2064-gc4c5ad1d6d1e1e1f
   Target Milestone|---                         |8.5
   Last reconfirmed|                            |2020-11-25
             Status|UNCONFIRMED                 |NEW
     Ever confirmed|0                           |1
                 CC|                            |marxin at gcc dot gnu.org,
                   |                            |segher at gcc dot gnu.org

--- Comment #1 from Martin Liška <marxin at gcc dot gnu.org> ---
With -fno-common it started with r9-2064-gc4c5ad1d6d1e1e1f.

[Bug rtl-optimization/97972] [9/10/11 Regression] ICE in moving_insn_creates_bookkeeping_block_p, at sel-sched.c:2031 since r9-2064-gc4c5ad1d6d1e1e1f

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|8.5                         |9.4
          Component|c                           |rtl-optimization
                 CC|                            |amonakov at gcc dot gnu.org

[Bug rtl-optimization/97972] [9/10/11 Regression] ICE in moving_insn_creates_bookkeeping_block_p, at sel-sched.c:2031 since r9-2064-gc4c5ad1d6d1e1e1f

[segher at gcc dot gnu.org]

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

--- Comment #2 from Segher Boessenkool <segher at gcc dot gnu.org> ---
Confirmed.

[Bug rtl-optimization/97972] [9/10/11 Regression] ICE in moving_insn_creates_bookkeeping_block_p, at sel-sched.c:2031 since r9-2064-gc4c5ad1d6d1e1e1f

[segher at gcc dot gnu.org]

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

--- Comment #3 from Segher Boessenkool <segher at gcc dot gnu.org> ---
#0  moving_insn_creates_bookkeeping_block_p (through_insn=0x3fffb5b23138, 
    insn=0x3fffb5b736c0) at /home/segher/src/gcc/gcc/sel-sched.c:2031

It crashes here because the insn is not in any BB; which is correct
actually, because the insn has been deleted!

It is deleted in sel-sched, and it was created there as well.  I don't
see anything wrong in the earlier debug dump; afaics this was just
expose by the 2-2 combine thing.

[Bug rtl-optimization/97972] [9/10/11 Regression] ICE in moving_insn_creates_bookkeeping_block_p, at sel-sched.c:2031 since r9-2064-gc4c5ad1d6d1e1e1f

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P2

[Bug rtl-optimization/97972] [9/10/11/12 Regression] ICE in moving_insn_creates_bookkeeping_block_p, at sel-sched.c:2031 since r9-2064-gc4c5ad1d6d1e1e1f

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|9.4                         |9.5

--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> ---
GCC 9.4 is being released, retargeting bugs to GCC 9.5.

[Bug rtl-optimization/97972] [10/11/12/13 Regression] ICE in moving_insn_creates_bookkeeping_block_p, at sel-sched.c:2031 since r9-2064-gc4c5ad1d6d1e1e1f

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|9.5                         |10.4

--- Comment #5 from Richard Biener <rguenth at gcc dot gnu.org> ---
GCC 9 branch is being closed

[Bug rtl-optimization/97972] [10/11/12/13 Regression] ICE in moving_insn_creates_bookkeeping_block_p, at sel-sched.c:2031 since r9-2064-gc4c5ad1d6d1e1e1f

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|10.4                        |10.5

--- Comment #6 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
GCC 10.4 is being released, retargeting bugs to GCC 10.5.

[Bug rtl-optimization/97972] [10/11/12/13 Regression] ICE in moving_insn_creates_bookkeeping_block_p, at sel-sched.c:2031 since r9-2064-gc4c5ad1d6d1e1e1f

[gscfq@t-online.de]

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

--- Comment #7 from G. Steinmetz <gscfq@t-online.de> ---
It gives an ICE for some target processors like -mtune=skylake,
but not for others like -mtune=sandybridge :


$ gcc-13-20230212 -c 20161124-1.c -O2 -mtune=skylake -fsanitize=undefined
-fvar-tracking-assignments -fselective-scheduling2
cc1: warning: var-tracking-assignments changes selective scheduling
during RTL pass: sched2
20161124-1.c: In function 'foo':
20161124-1.c:22:1: internal compiler error: Segmentation fault
   22 | }
      | ^
0xf295ff crash_signal
        ../../gcc/toplev.cc:314
0xeda737 moving_insn_creates_bookkeeping_block_p
        ../../gcc/sel-sched.cc:2031
0xeda737 moveup_expr
        ../../gcc/sel-sched.cc:2199
#...

[Bug rtl-optimization/97972] [11/12/13/14 Regression] ICE in moving_insn_creates_bookkeeping_block_p, at sel-sched.c:2031 since r9-2064-gc4c5ad1d6d1e1e1f

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|10.5                        |11.5

--- Comment #8 from Richard Biener <rguenth at gcc dot gnu.org> ---
GCC 10 branch is being closed.

[Bug rtl-optimization/97972] [11/12/13/14 Regression] ICE in moving_insn_creates_bookkeeping_block_p, at sel-sched.c:2031 since r9-2064-gc4c5ad1d6d1e1e1f

[law at gcc dot gnu.org]

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

Jeffrey A. Law <law at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |law at gcc dot gnu.org
           Priority|P2                          |P4