]> git.ipfire.org Git - thirdparty/gcc.git/commit
ubsan: Use -fno{,-}sanitize=float-divide-by-zero for float division by zero recovery...
authorJakub Jelinek <jakub@redhat.com>
Fri, 1 Oct 2021 12:27:32 +0000 (14:27 +0200)
committerJakub Jelinek <jakub@redhat.com>
Wed, 11 May 2022 05:58:30 +0000 (07:58 +0200)
commitf806bea0a6c1c5b7d517c7aee053c21b4d2155c6
treee333031c1fe0e7d98047b4833ab277b85b544c3a
parent8837138d292eb4221a5d5a985d25e487a127539d
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)
gcc/c-family/c-ubsan.c
gcc/testsuite/c-c++-common/ubsan/float-div-by-zero-2.c [new file with mode: 0644]