Hi, gcov-io.c contains bogus array bounds check that makes us to unroll one time too many and trigger bogus -Warray-bounds warning. I made testcase for PR55079 and fixed the bounds check.
Bootstrapped/regtested/comitted x86_64. Honza PR bootstrap/55051 * gcov-io.c (gcov_read_summary): Fix array bound check. Index: gcov-io.c =================================================================== --- gcov-io.c (revision 193505) +++ gcov-io.c (working copy) @@ -552,8 +552,8 @@ gcov_read_summary (struct gcov_summary * while (!cur_bitvector) { h_ix = bv_ix * 32; + gcc_assert(bv_ix < GCOV_HISTOGRAM_BITVECTOR_SIZE); cur_bitvector = histo_bitvector[bv_ix++]; - gcc_assert(bv_ix <= GCOV_HISTOGRAM_BITVECTOR_SIZE); } while (!(cur_bitvector & 0x1)) {