[Bug tree-optimization/113145] [14 regression] ICE in verify_dominators when building mit-krb5-1.21.2 since r14-6822-g01f4251b8775c8

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

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

Martin Jambor <jamborm at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[14 regression] ICE when    |[14 regression] ICE in
                   |building mit-krb5-1.21.2    |verify_dominators when
                   |                            |building mit-krb5-1.21.2
                   |                            |since
                   |                            |r14-6822-g01f4251b8775c8
   Last reconfirmed|                            |2024-01-05
     Ever confirmed|0                           |1
             Status|UNCONFIRMED                 |NEW
                 CC|                            |jamborm at gcc dot gnu.org

--- Comment #2 from Martin Jambor <jamborm at gcc dot gnu.org> ---
This has been introduced with r14-6822-g01f4251b8775c8 (middle-end: Support
vectorization of loops with multiple exits).

I have reduced another testcase from 526.blender_r, which however requires
-Ofast -march=x86-64-v3 -fprofile-generate so the original is probably better:

void *check_for_dupid_lb_0;
char check_for_dupid_name;
int check_for_dupid_nr;
void BLI_split_name_num();
char check_for_dupid() {
  int a;
  while (1) {
    for (; check_for_dupid_lb_0;)
      BLI_split_name_num();
    a = 0;
    for (; a < 64; a++)
      if (a >= check_for_dupid_nr)
        break;
    if (a && check_for_dupid_name)
      return 1;
  }
}