[Bug c/110517] New: ICE in in create_block_for_bookkeeping, at sel-sched.cc:4549

[Bug c/110517] New: ICE in in create_block_for_bookkeeping, at sel-sched.cc:4549

[19373742 at buaa dot edu.cn]

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

            Bug ID: 110517
           Summary: ICE in in create_block_for_bookkeeping, at
                    sel-sched.cc:4549
           Product: gcc
           Version: 12.3.1
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: 19373742 at buaa dot edu.cn
  Target Milestone: ---

Created attachment 55448
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55448&action=edit
The preprocessed file

*******************************************************************************
OS and Platform:
CentOS Linux release 7.9.2009 (Core), x86_64 GNU/Linux
*******************************************************************************
# /home/gcc-releases/gcc-12-0630/bin/gcc -v
Using built-in specs.
COLLECT_GCC=/home/gcc-releases/gcc-12-0630/bin/gcc
COLLECT_LTO_WRAPPER=/home/gcc-releases/gcc-12-0630/libexec/gcc/x86_64-pc-linux-gnu/12.3.1/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: ./configure --prefix=/home/gcc-releases/gcc-12-0630/
--disable-multilib --enable-languages=c,c++
Thread model: posix
Supported LTO compression algorithms: zlib zstd
gcc version 12.3.1 20230630 (GCC)
*******************************************************************************
Command Lines:
# /home/gcc-releases/gcc-12-0630/bin/gcc -I
/home/csmith_record/include/csmith-2.3.0/   -O3  
-fno-inline-functions-called-once -fno-inline-small-functions
-fno-move-loop-invariants -fno-reorder-blocks-and-partition
-fno-strict-aliasing -fno-toplevel-reorder -fno-tree-loop-im
-fno-tree-loop-optimize -fno-tree-pre -fno-section-anchors -fsched-interblock
-ftoplevel-reorder -ftree-dse -ftree-fre -fharden-conditional-branches
-fschedule-insns -fsection-anchors -fsel-sched-pipelining
-fselective-scheduling -gstatement-frontiers -save-temps ./cra.c
2>cra_error.txt
*******************************************************************************
Error Messages:
./cra.c:1955:1: internal compiler error: in create_block_for_bookkeeping, at
sel-sched.cc:4549
 1955 | }
      | ^
0x6e3522 create_block_for_bookkeeping
        ../.././gcc/sel-sched.cc:4549
0x6e3522 find_place_for_bookkeeping
        ../.././gcc/sel-sched.cc:4686
0x6e3522 generate_bookkeeping_insn
        ../.././gcc/sel-sched.cc:4786
0x6e3522 move_op_at_first_insn
        ../.././gcc/sel-sched.cc:6063
0xc5e0e5 code_motion_path_driver
        ../.././gcc/sel-sched.cc:6657
0xc5e4ce code_motion_process_successors
        ../.././gcc/sel-sched.cc:6342
0xc5e4ce code_motion_path_driver
        ../.././gcc/sel-sched.cc:6608
0xc5e4ce code_motion_process_successors
        ../.././gcc/sel-sched.cc:6342
0xc5e4ce code_motion_path_driver
        ../.././gcc/sel-sched.cc:6608
0xc5e4ce code_motion_process_successors
        ../.././gcc/sel-sched.cc:6342
0xc5e4ce code_motion_path_driver
        ../.././gcc/sel-sched.cc:6608
0xc5e4ce code_motion_process_successors
        ../.././gcc/sel-sched.cc:6342
0xc5e4ce code_motion_path_driver
        ../.././gcc/sel-sched.cc:6608
0xc611f4 move_op
        ../.././gcc/sel-sched.cc:6702
0xc611f4 move_exprs_to_boundary
        ../.././gcc/sel-sched.cc:5223
0xc611f4 schedule_expr_on_boundary
        ../.././gcc/sel-sched.cc:5436
0xc6291c fill_insns
        ../.././gcc/sel-sched.cc:5578
0xc6291c schedule_on_fences
        ../.././gcc/sel-sched.cc:7353
0xc6291c sel_sched_region_2
        ../.././gcc/sel-sched.cc:7491
0xc6415b sel_sched_region_1
        ../.././gcc/sel-sched.cc:7533
Please submit a full bug report, with preprocessed source (by using
-freport-bug).
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.

[Bug c/110517] ICE in in create_block_for_bookkeeping, at sel-sched.cc:4549

[19373742 at buaa dot edu.cn]

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

--- Comment #1 from CTC <19373742 at buaa dot edu.cn> ---
Created attachment 55449
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55449&action=edit
The compiler output

[Bug c/110517] ICE in create_block_for_bookkeeping, at sel-sched.cc:4549

[19373742 at buaa dot edu.cn]

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

--- Comment #2 from CTC <19373742 at buaa dot edu.cn> ---
The reduced reproducer:

a, b, c, d;
e() {
  for (;; a++) {
    short *f = &c;
    if (b && ++*f)
      d = e;
  }
}
main() {}

[Bug rtl-optimization/110517] ICE in create_block_for_bookkeeping, at sel-sched.cc:4549

[pinskia at gcc dot gnu.org]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

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

--- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Dup of bug 85410.

*** This bug has been marked as a duplicate of bug 85410 ***