[Bug tree-optimization/84050] [9/10/11/12 Regression] missing -Warray-bounds accessing a struct array member

[pinskia at gcc dot gnu.org]

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

--- Comment #10 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
reduced testcase:
static int b[3] = { 1, 2, 3 };

int fstatic_array (void)
{
  return b[7];   // missing -Warray-bounds
}