Re: [PATCH][gcc/doc] Improve nonnull attribute documentation

2021-08-01 Thread Richard Biener
On Fri, 30 Jul 2021, Tom de Vries wrote: > On 7/30/21 6:17 PM, Martin Sebor wrote: > > On 7/28/21 9:20 AM, Tom de Vries wrote: > >> Hi, > >> > >> Improve nonnull attribute documentation in a number of ways: > >> > >> Reorganize discussion of effects into: > >> - effects for calls to functions with

Re: [PATCH][gcc/doc] Improve nonnull attribute documentation

2021-08-01 Thread Richard Biener
On Fri, 30 Jul 2021, Martin Sebor wrote: > On 7/30/21 2:21 PM, Tom de Vries wrote: > > On 7/30/21 6:17 PM, Martin Sebor wrote: > >> On 7/28/21 9:20 AM, Tom de Vries wrote: > >>> Hi, > >>> > >>> Improve nonnull attribute documentation in a number of ways: > >>> > >>> Reorganize discussion of effect

Re: [PATCH][gcc/doc] Improve nonnull attribute documentation

2021-07-30 Thread Martin Sebor via Gcc-patches
On 7/30/21 2:21 PM, Tom de Vries wrote: On 7/30/21 6:17 PM, Martin Sebor wrote: On 7/28/21 9:20 AM, Tom de Vries wrote: Hi, Improve nonnull attribute documentation in a number of ways: Reorganize discussion of effects into: - effects for calls to functions with nonnull-marked parameters, and

Re: [PATCH][gcc/doc] Improve nonnull attribute documentation

2021-07-30 Thread Tom de Vries
On 7/30/21 6:17 PM, Martin Sebor wrote: > On 7/28/21 9:20 AM, Tom de Vries wrote: >> Hi, >> >> Improve nonnull attribute documentation in a number of ways: >> >> Reorganize discussion of effects into: >> - effects for calls to functions with nonnull-marked parameters, and >> - effects for function

Re: [PATCH][gcc/doc] Improve nonnull attribute documentation

2021-07-30 Thread Martin Sebor via Gcc-patches
On 7/28/21 9:20 AM, Tom de Vries wrote: Hi, Improve nonnull attribute documentation in a number of ways: Reorganize discussion of effects into: - effects for calls to functions with nonnull-marked parameters, and - effects for function definitions with nonnull-marked parameters. This makes it c

Re: [PATCH][gcc/doc] Improve nonnull attribute documentation

2021-07-30 Thread Tom de Vries
On 7/30/21 9:25 AM, Richard Biener wrote: > On Wed, 28 Jul 2021, Tom de Vries wrote: > >> Hi, >> >> Improve nonnull attribute documentation in a number of ways: >> >> Reorganize discussion of effects into: >> - effects for calls to functions with nonnull-marked parameters, and >> - effects for fun

Re: [PATCH][gcc/doc] Improve nonnull attribute documentation

2021-07-30 Thread Richard Biener
On Wed, 28 Jul 2021, Tom de Vries wrote: > Hi, > > Improve nonnull attribute documentation in a number of ways: > > Reorganize discussion of effects into: > - effects for calls to functions with nonnull-marked parameters, and > - effects for function definitions with nonnull-marked parameters. >

[PATCH][gcc/doc] Improve nonnull attribute documentation

2021-07-28 Thread Tom de Vries
Hi, Improve nonnull attribute documentation in a number of ways: Reorganize discussion of effects into: - effects for calls to functions with nonnull-marked parameters, and - effects for function definitions with nonnull-marked parameters. This makes it clear that -fno-delete-null-pointer-checks