[cfe-dev] incomplete checking for nullability qualifiers

Sean McBride via cfe-dev cfe-dev at lists.llvm.org
Wed Sep 15 11:08:57 PDT 2021

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:



More information about the cfe-dev mailing list