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

[Andreas Schwab]

On Jun 26 2023, Xi Ruoyao via Libc-alpha wrote:

> For fputs, fgets, fread, fwrite, fprintf, vfprintf, and their unlocked
> version, if __stream is empty but there is nothing to read or write,
> they don't segfault and I'm not sure if the standard allows such a use
> so I left them out.

All of them require a pointer to a stream.

-- 
Andreas Schwab, SUSE Labs, schwab@suse.de
GPG Key fingerprint = 0196 BAD8 1CE9 1970 F4BE  1748 E4D4 88E3 0EEA B9D7
"And now for something completely different."