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 <pola...@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
