Patchwork [DOC] Describe -fsanitize=float-divide-by-zero

login
register
mail settings
Submitter Marek Polacek
Date May 2, 2014, 8:11 a.m.
Message ID <20140502081105.GI11802@redhat.com>
Download mbox | patch
Permalink /patch/344895/
State New
Headers show

Comments

Marek Polacek - May 2, 2014, 8:11 a.m.
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  <polacek@redhat.com>

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


	Marek
Jakub Jelinek - May 2, 2014, 8:17 a.m.
On Fri, May 02, 2014 at 10:11:05AM +0200, Marek Polacek wrote:
> 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  <polacek@redhat.com>
> 
> 	* doc/invoke.texi: Describe -fsanitize=float-divide-by-zero.

Ok.

> --- 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

	Jakub

Patch

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