]> git.ipfire.org Git - thirdparty/gcc.git/commit - gcc/c/ChangeLog
gcc.c (sanitize_spec_function): Handle SANITIZE_FLOAT_DIVIDE.
authorMarek Polacek <polacek@redhat.com>
Wed, 30 Apr 2014 07:34:43 +0000 (07:34 +0000)
committerMarek Polacek <mpolacek@gcc.gnu.org>
Wed, 30 Apr 2014 07:34:43 +0000 (07:34 +0000)
commitf8ed5150c3a1f821fb0cf266fc0fca76027fbef9
treeb9c2023c1b5e5c36a658f26af0093b269e49a14b
parent8337d1db7113fa0c44541a1917529a0c41057a4a
gcc.c (sanitize_spec_function): Handle SANITIZE_FLOAT_DIVIDE.

* gcc.c (sanitize_spec_function): Handle SANITIZE_FLOAT_DIVIDE.
* builtins.def: Initialize builtins even for SANITIZE_FLOAT_DIVIDE.
* flag-types.h (enum sanitize_code): Add SANITIZE_FLOAT_DIVIDE.
* opts.c (common_handle_option): Add -fsanitize=float-divide-by-zero.
c-family/
* c-ubsan.c (ubsan_instrument_division): Handle REAL_TYPEs.  Perform
INT_MIN / -1 sanitization only for integer types.
c/
* c-typeck.c (build_binary_op): Call ubsan_instrument_division
also when SANITIZE_FLOAT_DIVIDE is on.
cp/
* typeck.c (cp_build_binary_op): Call ubsan_instrument_division
even when SANITIZE_FLOAT_DIVIDE is on.  Set doing_div_or_mod even
for non-integer types.
testsuite/
* c-c++-common/ubsan/div-by-zero-5.c: Fix formatting.
* c-c++-common/ubsan/float-div-by-zero-1.c: New test.

From-SVN: r209927
14 files changed:
gcc/ChangeLog
gcc/builtins.def
gcc/c-family/ChangeLog
gcc/c-family/c-ubsan.c
gcc/c/ChangeLog
gcc/c/c-typeck.c
gcc/cp/ChangeLog
gcc/cp/typeck.c
gcc/flag-types.h
gcc/gcc.c
gcc/opts.c
gcc/testsuite/ChangeLog
gcc/testsuite/c-c++-common/ubsan/div-by-zero-5.c
gcc/testsuite/c-c++-common/ubsan/float-div-by-zero-1.c [new file with mode: 0644]