https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99418
--- Comment #2 from Ivan Sorokin <vanyacpp at gmail dot com> --- It looks like this is related to ignore_off_by_one parameter of ubsan_instrument_bounds. As can be seen in gimple the problematic .UBSAN_BOUNDS checks against array size plus 1.