[Bug middle-end/113201] New: [14 Regression] internal compiler error: tree check: expected ssa_name, have integer_cst in replace_uses_by, at tree-cfg.cc:2058

[doko at gcc dot gnu.org via Gcc-bugs]

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

            Bug ID: 113201
           Summary: [14 Regression] internal compiler error: tree check:
                    expected ssa_name, have integer_cst in
                    replace_uses_by, at tree-cfg.cc:2058
           Product: gcc
           Version: 14.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
          Assignee: unassigned at gcc dot gnu.org
          Reporter: doko at gcc dot gnu.org
  Target Milestone: ---

seen with trunk 20240101 on x86_64-linux-gnu, building the
xserver-xorg-video-intel package:

fails with -O1, works with -O0. The unreduced testcase didn't work with -O2
either, the reduced test case works with -O2

$ cat sna_accel.i
void __sigsetjmp();
void kgem_add_reloc() {
  int bh;
  __sigsetjmp();
  while (--bh)
    ;
  kgem_add_reloc();
}

$ gcc -c -O1 sna_accel.i
during GIMPLE pass: sccp
sna_accel.i: In function 'kgem_add_reloc':
sna_accel.i:2:6: internal compiler error: tree check: expected ssa_name, have
integer_cst in replace_uses_by, at tree-cfg.cc:2058
    2 | void kgem_add_reloc() {
      |      ^~~~~~~~~~~~~~
0x137f737 tree_check_failed(tree_node const*, char const*, int, char const*,
...)
        ../../src/gcc/tree.cc:8952
0xbbd284 tree_check(tree_node*, char const*, int, char const*, tree_code)
        ../../src/gcc/tree.h:3612
0xbbd284 replace_uses_by(tree_node*, tree_node*)
        ../../src/gcc/tree-cfg.cc:2058
0x1fcbdc6 final_value_replacement_loop(loop*)
        ../../src/gcc/tree-scalar-evolution.cc:3885
0x1f62756 execute
        ../../src/gcc/tree-ssa-loop.cc:410
Please submit a full bug report, with preprocessed source (by using
-freport-bug).