Hi Dmitri
On 12/2/21 01:39, Dmitri Gribenko wrote:
Pre-C3X headers won't work correctly when included in C3X programs,
making incremental adoption of C3X syntax, as it was intended to be
used, impossible. Projects would likely invent a NULLABLE macro, which
would expand to _Nullable in C3X and n
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
Hi Dmitry,
On 11/23/21 13:45, Dmitri Gribenko wrote:
>>
>> Let's imagine a scenario where C3X specifies that non-qualified pointers
>> are nonnull. And there's only a qualifier, _Nullable, to allow NULL.
>> Asigning _Nullable to nonnull would issue a diagnostic.
>
> I think C3X specifying that n
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
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 unnecessary (probably over-engineered) qualifiers:
- _Null_unspecified seems to me the same as nothing.
If I didn't specify
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;
> >
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
On Tue, Nov 16, 2021 at 4:31 AM Jonathan Wakely via cfe-dev <
cfe-...@lists.llvm.org> wrote:
> On Mon, 15 Nov 2021, 21:15 Alejandro Colomar (man-pages)
> wrote:
>
>> Also, I'm curious, do you do those diffs usually by hand?
>>
>
> Yes. Just highlight text in red and green, with strike through or
