[Bug sanitizer/99418] sanitizer checks for accessing multidimentional VLA-array

vanyacpp at gmail dot com gcc-bugzilla@gcc.gnu.org
Sun Mar 7 07:44:35 GMT 2021


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.


More information about the Gcc-bugs mailing list