When I submitted -fsanitize=float-divide-by-zero stuff, I forgot
to document the option in the table of ubsan options.
Ok?
2014-05-02 Marek Polacek <pola...@redhat.com>
* doc/invoke.texi: Describe -fsanitize=float-divide-by-zero.
diff --git gcc/doc/invoke.texi gcc/doc/invoke.texi
index 0eba1e0..3fe9d5f 100644
--- gcc/doc/invoke.texi
+++ 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
Marek
