[cfe-dev] incomplete checking for nullability qualifiers

[Sean McBride via cfe-dev]

On Tue, 14 Sep 2021 15:44:26 -0700, Richard Smith via cfe-dev said:

>We appear to perform significantly incomplete checking for assigning a null
>pointer value to a _Nonnull pointer. In particular, pointer initialization
>and assignment is not checked:

I filed a similar bug 6 years ago:

<https://bugs.llvm.org/show_bug.cgi?id=24328>

Sean