Re: NULL safety

Alejandro Colomar
2023-11-24T22:25:14Z

[-- Attachment #1: Type: text/plain, Size: 957 bytes --]

Hi Jonny,

On Sat, Nov 18, 2023 at 11:21:00PM +0000, Jonny Grant wrote:
> I saw Christopher Bazley was talking about this. As I understand it, _Nonnull is milder than attribute nonnull. _Nonnull probably helps with static analysis, but doesn't optimize out any code checking if(ptr == NULL) return -1;
>
> Saw this, did you get traction with your proposal?
>
> https://discourse.llvm.org/t/iso-c3x-proposal-nonnull-qualifier/59269?page=2

I didn't follow up with that. I'd first like to be able to try Clang's
static analyzer with _Nullable, to be able to play with it. An
_Optional qualifier would only be usable by something like -fanalyzer,
or Clang's analyzer, since it needs to avoid false positives that are
quite complex. It's not a warning that you'd want in -Wall.

And since Clang's analyzer isn't easy to use, I'm not working on that
until they make it easier.

Cheers,
Alex

--
<https://www.alejandro-colomar.es/>