[Bug sanitizer/102515] UBSAN misses signed division instrumentation
cvs-commit at gcc dot gnu.org
gcc-bugzilla@gcc.gnu.org
Wed May 11 06:22:38 GMT 2022
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102515
--- Comment #12 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-9 branch has been updated by Jakub Jelinek
<jakub@gcc.gnu.org>:
https://gcc.gnu.org/g:f806bea0a6c1c5b7d517c7aee053c21b4d2155c6
commit r9-10103-gf806bea0a6c1c5b7d517c7aee053c21b4d2155c6
Author: Jakub Jelinek <jakub@redhat.com>
Date: Fri Oct 1 14:27:32 2021 +0200
ubsan: Use -fno{,-}sanitize=float-divide-by-zero for float division by zero
recovery [PR102515]
We've been using
-f{,no-}sanitize-recover=integer-divide-by-zero to decide on the float
-fsanitize=float-divide-by-zero instrumentation _abort suffix.
This patch fixes it to use -f{,no-}sanitize-recover=float-divide-by-zero
for it instead.
2021-10-01 Jakub Jelinek <jakub@redhat.com>
Richard Biener <rguenther@suse.de>
PR sanitizer/102515
gcc/c-family/
* c-ubsan.c (ubsan_instrument_division): Check the right
flag_sanitize_recover bit, depending on which sanitization
is done.
gcc/testsuite/
* c-c++-common/ubsan/float-div-by-zero-2.c: New test.
(cherry picked from commit 9c1a633d96926357155d4702b66f8a0ec856a81f)
More information about the Gcc-bugs
mailing list