diff options
| author | mpolacek <mpolacek@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-05-23 14:44:42 +0000 |
|---|---|---|
| committer | mpolacek <mpolacek@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-05-23 14:44:42 +0000 |
| commit | c8cc2651ff7b7e6f0f90410060d11232e4470a65 (patch) | |
| tree | 76c97d7e36a0b8b32edf3400c6c2d38538e33618 /gcc/ChangeLog | |
| parent | 1718b6c1e1dc5ce2127cf0583e4d660f4887fb08 (diff) | |
| download | gcc-c8cc2651ff7b7e6f0f90410060d11232e4470a65.tar.gz | |
* builtins.def: Change SANITIZE_FLOAT_DIVIDE to SANITIZE_NONDEFAULT.
* gcc.c (sanitize_spec_function): Likewise.
* convert.c (convert_to_integer): Include "ubsan.h". Add
floating-point to integer instrumentation.
* doc/invoke.texi: Document -fsanitize=float-cast-overflow.
* flag-types.h (enum sanitize_code): Add SANITIZE_FLOAT_CAST and
SANITIZE_NONDEFAULT.
* opts.c (common_handle_option): Handle -fsanitize=float-cast-overflow.
* sanitizer.def (BUILT_IN_UBSAN_HANDLE_FLOAT_CAST_OVERFLOW,
BUILT_IN_UBSAN_HANDLE_FLOAT_CAST_OVERFLOW_ABORT): Add.
* ubsan.c: Include "realmpfr.h" and "dfp.h".
(get_ubsan_type_info_for_type): Handle REAL_TYPEs.
(ubsan_type_descriptor): Set tkind to 0xffff for types other than
float/double/long double.
(ubsan_instrument_float_cast): New function.
* ubsan.h (ubsan_instrument_float_cast): Declare.
testsuite/
* c-c++-common/ubsan/float-cast-overflow-1.c: New test.
* c-c++-common/ubsan/float-cast-overflow-10.c: New test.
* c-c++-common/ubsan/float-cast-overflow-2.c: New test.
* c-c++-common/ubsan/float-cast-overflow-3.c: New test.
* c-c++-common/ubsan/float-cast-overflow-4.c: New test.
* c-c++-common/ubsan/float-cast-overflow-5.c: New test.
* c-c++-common/ubsan/float-cast-overflow-6.c: New test.
* c-c++-common/ubsan/float-cast-overflow-7.c: New test.
* c-c++-common/ubsan/float-cast-overflow-7.h: New file.
* c-c++-common/ubsan/float-cast-overflow-8.c: New test.
* c-c++-common/ubsan/float-cast-overflow-9.c: New test.
* c-c++-common/ubsan/float-cast.h: New file.
* g++.dg/ubsan/float-cast-overflow-bf.C: New test.
* gcc.dg/ubsan/float-cast-overflow-bf.c: New test.
libsanitizer/
* ubsan/ubsan_value.cc (getFloatValue): Handle 96-bit
floating-point types.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@210862 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ChangeLog')
| -rw-r--r-- | gcc/ChangeLog | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index ec102fe4bbf..9a3b0c94650 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,23 @@ +2014-05-23 Marek Polacek <polacek@redhat.com> + Jakub Jelinek <jakub@redhat.com> + + * builtins.def: Change SANITIZE_FLOAT_DIVIDE to SANITIZE_NONDEFAULT. + * gcc.c (sanitize_spec_function): Likewise. + * convert.c (convert_to_integer): Include "ubsan.h". Add + floating-point to integer instrumentation. + * doc/invoke.texi: Document -fsanitize=float-cast-overflow. + * flag-types.h (enum sanitize_code): Add SANITIZE_FLOAT_CAST and + SANITIZE_NONDEFAULT. + * opts.c (common_handle_option): Handle -fsanitize=float-cast-overflow. + * sanitizer.def (BUILT_IN_UBSAN_HANDLE_FLOAT_CAST_OVERFLOW, + BUILT_IN_UBSAN_HANDLE_FLOAT_CAST_OVERFLOW_ABORT): Add. + * ubsan.c: Include "realmpfr.h" and "dfp.h". + (get_ubsan_type_info_for_type): Handle REAL_TYPEs. + (ubsan_type_descriptor): Set tkind to 0xffff for types other than + float/double/long double. + (ubsan_instrument_float_cast): New function. + * ubsan.h (ubsan_instrument_float_cast): Declare. + 2014-05-23 Jiong Wang <jiong.wang@arm.com> * config/aarch64/predicates.md (aarch64_call_insn_operand): New |