[Bug tree-optimization/114297] [14 Regression] Yet more problems with "definition in block does not dominate use in block"

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

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
     Ever confirmed|0                           |1
   Last reconfirmed|                            |2024-03-10
             Status|UNCONFIRMED                 |NEW
             Target|x86_64                      |x86_64 aarch64

--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Reduced testcase:
```

void h() __attribute__((__noreturn__));
struct Extremes {
  int w;
  int h;
};
struct Extremes *array;
int f(int num, int size1)
{
  int sw = 0, sh = 0;
  for (int i = 0; i < size1; ++i)
  {
    if (num - i == 0)
      h();
    sw += array[i].w;
    sh += array[i].h;
  }
  return (sw) +  (sh);
}
```

Also ICEs on aarch64 with just -O3.