On Wed, 2023-08-09 at 12:42 +0200, Alejandro Colomar wrote: > I have a gripe with ISO C's [static]. As you mention, ISO > conflated two functionalities in [static]: > > - The size of the array passed as argument must not be less > than the size specified in the parameter's []. > > - The pointer must not be NULL.
https://gcc.gnu.org/pipermail/gcc-patches/2023-July/625559.html If this patch is merged, they'll just become __nonnull and have all advantages and disadvantages as __nonnull. -- Xi Ruoyao <xry...@xry111.site> School of Aerospace Science and Technology, Xidian University
