[Bug sanitizer/81601] [7/8 Regression] incorrect Warray-bounds warning with -fsanitize

[aldyh at gcc dot gnu.org]

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

--- Comment #10 from Aldy Hernandez <aldyh at gcc dot gnu.org> ---
Further reduced testcase.  Can be reproduced with -O2 -Wall.

struct tcp_sock {
  int   chrono_stat[3];
  unsigned char chrono_type:2;
};

void tcp_chrono_set(struct tcp_sock *tp)
{
  int type = 1;
  if (type > tp->chrono_type)
    {
      if (tp->chrono_type > 0)
        tp->chrono_stat[tp->chrono_type - 1] = 1234;
    }
}