При использовании gcc код:
register a = 3;
static b = 3;
разрешено использовать флаги -std=c89 -pedantic-errors, хотя есть предупреждение.
Однако он принимает ошибку с флагами -std=c99 -pedantic-errors.
Интересно, какой раздел стандартов C89 допускает правило "неявного int"?
Раздел, разрешающий неявное правило int в C89, будет сектором 3.5.2 Спецификаторы типов, который говорит (выделение мое):
int, signed, signed int, или нет спецификаторов типа
Кит Томпсон в комментариях указывает, что в C90 раздел 6.5.2 и говорит: "Единственное различие - это некоторый вводный материал, требуемый ISO, в результате которого происходит нумерация разделов.
В C99, где это изменилось, раздел 6.7.2 Спецификаторы типов, и он говорит:
int, подписанный или подписанный int
Это также рассматривается в документе N661: Запретить неявный "int" в объявлениях, в котором говорится:
Изменить в 6.5.2 Спецификаторы типа; добавить новое предложение в начало первого абзаца ограничений: По меньшей мере один спецификатор типа должен быть указан в спецификаторы декларации в объявлении.
Change in 6.5.2 Type specifiers, Constraints, from: -- int, signed, signed int, or no type specifiers to: -- int, signed, or signed int