https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80399
--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Related case (but I know it goes down a different path) is:
struct ss
{
int aa;
int s;
};
int
f(int a, struct ss *rn, int i)
{
return rn[i-1].s == a;
}
Which shows up in SPEC INT.