[cfe-dev] ISO C3X proposal: nonnull qualifier

[Alejandro Colomar (man-pages) via cfe-dev]

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 nothing in earlier versions, to
>>> enable an incremental transition.
>>>
>>> That's why Clang introduced the pragma, enabling new rules to be
>>> adopted incrementally.
>>
>> Let's avoid forking C :)
> 
> Do you consider the standard pragma `#pragma STDC FENV_ACCESS` to be a
> language fork? If not, why is a pragma to control nullability of
> pointers different?

Sorry, I put the reply at a wrong point in the quote.  I didn't refer to 
the pragma, but the the previous paragraph.  Basically, I meant let's 
not add _Nullable to C3X, and add just _Nonnull.

Cheers,
Alex