Re: [cfe-dev] ISO C3X proposal: nonnull qualifier

2021-12-01 Thread Dmitri Gribenko via Gcc
Hi Alejandro, On Wed, Dec 1, 2021 at 11:24 PM Alejandro Colomar (man-pages) wrote: > On 11/23/21 13:45, Dmitri Gribenko wrote: > > If I were to speculate what would happen if C3X did flip the default, > > I think it would be treated by the community as a language fork. > > Yes > > > Pre-C3X heade

Re: [cfe-dev] ISO C3X proposal: nonnull qualifier

2021-11-23 Thread Dmitri Gribenko via Gcc
Hi Alejandro, On Tue, Nov 23, 2021 at 12:45 PM Alejandro Colomar (man-pages) wrote: > > Hi Dmitry, > > On 11/23/21 12:17, Dmitri Gribenko wrote: > > Hi Alejandro, > > > > On Tue, Nov 16, 2021 at 1:34 PM Alejandro Colomar (man-pages) via > > cfe-dev wrote: > >> First of all, > >> I see unnecessar

Re: [cfe-dev] ISO C3X proposal: nonnull qualifier

2021-11-23 Thread Dmitri Gribenko via Gcc
Hi Alejandro, On Wed, Nov 17, 2021 at 1:06 AM Alejandro Colomar (man-pages) via cfe-dev wrote: > On 11/16/21 13:34, Alejandro Colomar (man-pages) wrote: > > $ cat _Nonnull.c > > #include > > > > int *_Nonnull f(int *_Nullable p) > > { > > if (!p) > > exit(1); > > return p; > >

Re: [cfe-dev] ISO C3X proposal: nonnull qualifier

2021-11-23 Thread Dmitri Gribenko via Gcc
Hi Alejandro, On Tue, Nov 16, 2021 at 1:34 PM Alejandro Colomar (man-pages) via cfe-dev wrote: > First of all, > I see unnecessary (probably over-engineered) qualifiers: > > - _Null_unspecified seems to me the same as nothing. > If I didn't specify its nullability, > it's by definition unspecifie