[Bug tree-optimization/113144] [14 regression] ICE when building dpkg-1.21.15 in verify_dominators (error: dominator of 9 should be 48, not 12)

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

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

--- Comment #13 from Martin Jambor <jamborm at gcc dot gnu.org> ---
The testcase below segfaults when compiled with master configured with
release checking.  However, it is very likely affected by this bug (it
fails with checking compiler like testcases for this issue do) and so
I did not want to file a new bug for a testcase where we know we're
currently having problems keeping dominance information.

Tamar, after you fix this issue, can you please check if the following
segfaults when compiled with -std=gnu99 -fpermissive -fgnu89-inline
-Ofast -march=znver2 -fprofile-generate -S ?

Thanks!

replace_reg_with_saved_mem_i, replace_reg_with_saved_mem_nregs,
    replace_reg_with_saved_mem_mem_1;
replace_reg_with_saved_mem_mode() {
  if (replace_reg_with_saved_mem_i)
    return;
  while (++replace_reg_with_saved_mem_i < replace_reg_with_saved_mem_nregs)
    if (replace_reg_with_saved_mem_i)
      break;
  if (replace_reg_with_saved_mem_i)
    if (replace_reg_with_saved_mem_mem_1)
      adjust_address_1();
  replace_reg_with_saved_mem_mem_1 ? fancy_abort() : 0;
}