Является ли fgets () возвращающим NULL с коротким буфером совместимым?

в модульном тестировании функция, содержащая fgets(), наткнулся на неожиданный результат, когда размер буфера n < 2. Очевидно, что такой размер буфера глуп, но тест исследует угловые случаи.

упрощенный код:

#include <error.h>
#include <stdio.h>

void test_fgets(char * restrict s, int n) {
  FILE *stream = stdin;
  s[0] = 42;
  printf("< s:%p n:%d stream:%pn", s, n, stream);
  char *retval = fgets(s, n, stream);
  printf("> errno:%d feof:%d ferror:%d retval:%p s[0]:%dnn",
    errno, feof(stream), ferror(stream), retval, s[0]);
}

int main(void) {
  char s[100];
  test_fgets(s, sizeof s);  // Entered "123n" and works as expected
  test_fgets(s, 1);         // fgets() --> NULL, feof() --> 0, ferror() --> 0
  test_fgets(s, 0);         // Same as above
  return 0;
}

что удивительно, это fgets() возвращает NULL и ни feof(), ни ferror() are 1.

спецификация C, ниже, кажется молчаливой на этом редком случай.

вопросы:

• возвращается NULL без feof(), ни ferror() поведение уступчивое?
• может ли другой результат быть совместимым поведением?
• имеет ли значение, если n 1 или меньше 1?

платформа: версия 4.5.3 gcc цель: i686-pc-cygwin

вот аннотация от стандарта C11, некоторый акцент мой:

7.21.7.2 в fgets функции

на fgets функция считывает не более одного меньше, чем количество символов, указанных n [...]

на fgets возвращает функция s в случае успеха. Если обнаружен конец файла и никакие символы не были прочитаны в массив, содержимое массива остается неизменным и null возвращается указатель. Если во время операции возникает ошибка чтения, содержимое массива не определено и возвращается нулевой указатель.

обзоры проводки
как использовать feof и ferror для fgets (minishell в C)
проблема создания оболочки в C (Seg-Fault и ferror)
fputs(), fgets (), ferror () вопросы и эквиваленты C++
возвращаемое значение fgets ()

[Edit] комментарии к ответам

@Shafik Yaghmour хорошо представил общую проблему: поскольку спецификация C не упоминает, что делать, когда она не читается любой данные, ни писать любой данные s когда (n <= 0), это неопределенное поведение. Поэтому любой разумный ответ должен быть приемлемым, например return NULL, не устанавливайте флаги, оставьте буфер в покое.

о том, что должно произойти, когда n==1, @Oliver Matthews ответ и комментарий @Matt McNabb указывают на отсутствие ясности спецификации C, учитывая буфер n == 1. C spec кажется в пользу буфер n == 1 должен возвращать указатель буфера с s[0] == '', но недостаточно ясно.