This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [doc PATCH] mention optimization options relevant to in attribute nonnull
- From: Joseph Myers <joseph at codesourcery dot com>
- To: Martin Sebor <msebor at gmail dot com>
- Cc: Gcc Patch List <gcc-patches at gcc dot gnu dot org>
- Date: Wed, 24 Oct 2018 19:31:13 +0000
- Subject: Re: [doc PATCH] mention optimization options relevant to in attribute nonnull
- References: <e9679809-667c-3278-dc14-dd2dc0620365@gmail.com>
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
joseph@codesourcery.com