Les opérations telles que fwrite et fread ont-elles un comportement indéfini lorsque stream est nul?

Question

Je recherche spécifiquement le mot dans la norme C11 (ISO/IEC 9899: 2011), ou une page POSIX. J'ai vérifié le POSIX manual for fwrite, mais il ne mentionne pas comportement indéfini du tout. Cependant, le manual for fclose indique que

Après l'appel à fclose(), toute utilisation de flux entraîne un comportement indéfini.

Mais je ne vois toujours pas si un flux NULL provoque UB.

Answer 1

Les deux fread() et fwrite() attendent l'argument flux d'être une valeur retournée par un appel réussi à fopen(), fdopen() ou freopen(). Comme ces fonctions renvoient NULL en cas d'erreur, l'argument flux ne peut pas être NULL.

Depuis la page de manuel ne dit pas ce qui se passe quand flux n'est pas une valeur retournée par un appel réussi à fopen() etc., cela signifie que la page de manuel ne dit pas ce qui se passe quand flux n'est pas une valeur retournée par un appel réussi à fopen() etc., ou, en d'autres termes, le comportement n'est pas défini.

Voir aussi la réponse acceptée à la question "Why glibc's fclose(NULL) cause segmentation fault instead of returning error" sur ce tableau.