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

[ppalka at gcc dot gnu.org]

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

--- Comment #5 from Patrick Palka <ppalka at gcc dot gnu.org> ---
So what's the right way to fix this?  To move optimize_bit_field_compare() from
fold_binary to match.pd so that the conditions on