diff options
| author | Marek Polacek <polacek@redhat.com> | 2014-05-02 08:24:49 +0000 |
|---|---|---|
| committer | Marek Polacek <mpolacek@gcc.gnu.org> | 2014-05-02 08:24:49 +0000 |
| commit | fb90f9f3aeccc0cb3178e3179c8ef08ec5941cdd (patch) | |
| tree | d6f1e4360b37d8597a58eed8e79de981dd787207 | |
| parent | 63bc4e87340a250fb1068267ce635b2da51535e5 (diff) | |
| download | gcc-fb90f9f3aeccc0cb3178e3179c8ef08ec5941cdd.zip gcc-fb90f9f3aeccc0cb3178e3179c8ef08ec5941cdd.tar.gz gcc-fb90f9f3aeccc0cb3178e3179c8ef08ec5941cdd.tar.bz2 | |
* doc/invoke.texi: Describe -fsanitize=float-divide-by-zero.
From-SVN: r210002
| -rw-r--r-- | gcc/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/doc/invoke.texi | 8 |
2 files changed, 12 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 6cc7dc4..817fb26 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,7 @@ +2014-05-02 Marek Polacek <polacek@redhat.com> + + * doc/invoke.texi: Describe -fsanitize=float-divide-by-zero. + 2014-02-26 Kito Cheng <kito@0xlab.org> * defaults.h (HONOR_REG_ALLOC_ORDER): Change HONOR_REG_ALLOC_ORDER diff --git a/gcc/doc/invoke.texi b/gcc/doc/invoke.texi index 0eba1e0..3fe9d5f 100644 --- a/gcc/doc/invoke.texi +++ b/gcc/doc/invoke.texi @@ -5393,6 +5393,14 @@ While @option{-ftrapv} causes traps for signed overflows to be emitted, @option{-fsanitize=undefined} gives a diagnostic message. This currently works only for the C family of languages. +@item -fsanitize=float-divide-by-zero +@opindex fsanitize=float-divide-by-zero + +Detect floating-point division by zero. Unlike other similar options, +@option{-fsanitize=float-divide-by-zero} is not enabled by +@option{-fsanitize=undefined}, since floating-point division by zero can +be a legitimate way of obtaining infinities and NaNs. + @item -fsanitize-recover @opindex fsanitize-recover By default @option{-fsanitize=undefined} sanitization (and its suboptions |