Commit fb90f9f3 by Marek Polacek Committed by Marek Polacek

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

From-SVN: r210002
parent 63bc4e87
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> 2014-02-26 Kito Cheng <kito@0xlab.org>
* defaults.h (HONOR_REG_ALLOC_ORDER): Change HONOR_REG_ALLOC_ORDER * defaults.h (HONOR_REG_ALLOC_ORDER): Change HONOR_REG_ALLOC_ORDER
......
...@@ -5393,6 +5393,14 @@ While @option{-ftrapv} causes traps for signed overflows to be emitted, ...@@ -5393,6 +5393,14 @@ While @option{-ftrapv} causes traps for signed overflows to be emitted,
@option{-fsanitize=undefined} gives a diagnostic message. @option{-fsanitize=undefined} gives a diagnostic message.
This currently works only for the C family of languages. 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 @item -fsanitize-recover
@opindex fsanitize-recover @opindex fsanitize-recover
By default @option{-fsanitize=undefined} sanitization (and its suboptions By default @option{-fsanitize=undefined} sanitization (and its suboptions
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment