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 S. Myers jos...@codesourcery.com