Re: [doc PATCH] mention optimization options relevant to in attribute nonnull

2018-10-24 Thread Joseph Myers
On Wed, 24 Oct 2018, Martin Sebor wrote: > The attached patch mentions the options that disable the null > pointer check optimization related to functions declared with > the nonnull attribute, and that have GCC insert traps when > it detects null pointer arguments. This patch is OK. -- Joseph

[doc PATCH] mention optimization options relevant to in attribute nonnull

2018-10-24 Thread Martin Sebor
The attached patch mentions the options that disable the null pointer check optimization related to functions declared with the nonnull attribute, and that have GCC insert traps when it detects null pointer arguments. Martin gcc/ChangeLog: * doc/extend.texi (nonnull): List no-argument form. Re