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/>
Attachment:
signature.asc
Description: PGP signature
