[Bug sanitizer/119132] off-by-one error in -fsanitizer=bounds when addressing a pointer instead of an integral
pinskia at gcc dot gnu.org
gcc-bugzilla@gcc.gnu.org
Wed Mar 5 22:47:33 GMT 2025
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119132
--- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
On &p->array[size + 1];
The instrument is to make sure that would form a valid range of the index.
Which is only 0...size.
The instrumentation is not done on the pointer deference later on either.
More information about the Gcc-bugs
mailing list