[Bug tree-optimization/87117] [9 Regression] ICE in eliminate_dom_walker::eliminate_cleanup(bool) at gcc/gcc/tree-ssa-sccvn.c:5431 since r263875

[marxin at gcc dot gnu.org]

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

--- Comment #4 from Martin Liška <marxin at gcc dot gnu.org> ---
One another different back-trace, maybe helpful:

$ cat load.i
void e();

void a(int c, char **d) {
  char b;
  if (1 < c)
    b = d[0];
  if (1 < c && b)
    e();
  while (1 < c)
    ;
}

$ gcc load.i -fcode-hoisting -O1
load.i: In function ‘a’:
load.i:6:7: warning: assignment to ‘char’ from ‘char *’ makes integer from
pointer without a cast [-Wint-conversion]
6 |     b = d[0];
  |       ^
during GIMPLE pass: pre
load.i:3:6: internal compiler error: in duplicate_ssa_name_ptr_info, at
tree-ssanames.c:715
3 | void a(int c, char **d) {
  |      ^
0xed051a duplicate_ssa_name_ptr_info(tree_node*, ptr_info_def*)
        /home/marxin/Programming/gcc/gcc/tree-ssanames.c:715
0xe742cc eliminate_dom_walker::eliminate_stmt(basic_block_def*,
gimple_stmt_iterator*)
        /home/marxin/Programming/gcc/gcc/tree-ssa-sccvn.c:4852
0xe746b7 eliminate_dom_walker::before_dom_children(basic_block_def*)
        /home/marxin/Programming/gcc/gcc/tree-ssa-sccvn.c:5341
0x14734d7 dom_walker::walk(basic_block_def*)
        /home/marxin/Programming/gcc/gcc/domwalk.c:353
0xe6c76a eliminate_with_rpo_vn(bitmap_head*)
        /home/marxin/Programming/gcc/gcc/tree-ssa-sccvn.c:5519
0xe4fa4e execute
        /home/marxin/Programming/gcc/gcc/tree-ssa-pre.c:4232
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.