* doc/invoke.texi: Describe -fsanitize=float-divide-by-zero.

From-SVN: r210002

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 6cc7dc488d657f40929bbfe30021719b6bd01ce0..817fb2629f41df23ca230de4e847554333543b78 100644 (file)
--- 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 0eba1e0a162caf9abd8372300ad700d614bb2c39..3fe9d5f302cc80da2ed383e857feac4b8489d433 100644 (file)
--- 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