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.