Message ID | 20140502081105.GI11802@redhat.com |
---|---|
State | New |
Headers | show |
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
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