[PATCH v7] libio: Add nonnull attribute for most FILE * arguments in stdio.h

[Paul Eggert]

On 2023-09-25 08:14, Xi Ruoyao wrote:
> Anyway now I feel like "a mouse caught in a wind box", i.e. both sides
> now consider me attempting to do something strange.

That's a colorful analogy, though not one I'm familiar with. (Googling 
for it, is this a wind box virus from the Mega Man Battle Network 
series, or some other kind of wind box? :-)

Please try to be patient. glibc is a big project with many competing 
concerns. We're often not hasty about changing, and let's also not be 
hasty about giving up.


> glibc refusing to add the annotation seems like it would just result in GCC eventually making it so that fprintf and other such functions are considered as builtins for the purposes of making the nonnull attribute is hard-coded and non-removeable, which would take things entirely out of the C library's control

Good point, and one I hadn't seen Zack address.