[Bug c/108791] [12/13 Regression] ICE: verify_gimple failed

[gscfq--- via Gcc-bugs]

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

G. Steinmetz <gs...@t-online.de> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Target|                            |x86_64-pc-linux-gnu

--- Comment #1 from G. Steinmetz <gs...@t-online.de> ---

This variant gives an ICE for both -Ofast and -O3 : 

$ cat z2.c
int f (int *a(), int b, int *c, int *d)
{
  int s = 0;
  for (int *i = a; i < b; ++i, ++c)
    s += *c * d[*i];
  return s;
}