Отключает оператор return undefined в C89 (aka ANSI C)?

Рассмотрим следующий базовый пример:

#include <stdio.h>

int main(void)
{
    printf("Hi there!\n");
}

Он вызывает поведение undefined в C89? Я попытался получить некоторый смысл от этого вопроса, но большинство утвержденных ответов утверждают, что он определен в реализации и определенно не UB здесь (с комментариями Кейта Томпсона, который выглядит противоречиво).

Спектр говорит в §3.16. Определения и условные обозначения:

Если требование "должно" или "не должно", которое появляется за пределами ограничение нарушено. поведение undefined. undefined поведение указывается в этом Международном стандарте словами: "undefined поведение" или путем пропуска любого явного определения поведение. В этих трех различиях нет разницы: они все описывают "поведение, которое undefined".

и §5.1.2.2.3 Окончание программы:

Возврат от начального вызова к функции main эквивалентен вызывая функцию exit со значением, возвращаемым функцией mainкак его аргумент. Если функция main выполняет возврат, указывающий нет значения, статус завершения, возвращаемый в среду хоста, undefined.

Мое понимание заключается в том, что в последнем подпункте не рассматривается случай отсутствия возврата, поскольку оператор return не вызывается никогда, поэтому применяется предыдущий подзапрос.

Однако дальнейшее чтение указывает на что-то другое, §6.6.6.4 Оператор return:

Если выполняется оператор return без выражения, а значение вызова функции используется вызывающим, поведение undefined. Достижение }, которое завершает функцию, эквивалентно выполнению return без выражения.

Итак, теперь применяется подкласс 5.1.2.2.3:

Если функция main выполняет возврат, указывающий неважно. статус завершения, возвращаемый в среду хоста, undefined.

Термин "статус завершения - undefined", по-видимому, не является UB, а не каким-либо конкретным поведением, но больше похоже на него за пределами C-стандарта, думая больше: "пусть принимающей среды, о которой нужно беспокоиться, мы отмываем руки отсюда". Это правильная интуиция?

ОТВЕТЫ

Ответ 1

Несколько лет назад я действительно отлаживал проблемы, вызванные этим. Это становится еще более интересным, если у вас есть коды кода с возвратом и другими без него.

Как предположил @aruisdante в комментариях, проявленное поведение действительно "undefined", но единственная часть undefined - это возвращаемое значение (оно не похоже на многие другие ситуации undefined), которые могут привести к сбою программы).

В наши дни это фактически представляет угрозу безопасности, потому что возвращаемое значение "undefined" обычно происходит независимо от того, что происходит в регистре CPU, обычно используемом для возврата значений (или в стек в некоторых реализациях), что теоретически может быть используется для утечки конфиденциальных данных.

Ответ 2

Я считаю, что цель Стандартного комитета заключалась в том, что это значение статуса прекращения не указано.

Согласно N739 черновик:

и измените последнее предложение подпункта 5.1.2.2.3 на:

Если функция /main/function выполняет возврат, который не задает значения, статус завершения, возвращаемый в среду хоста, undefined.

в

Если функция /main/function выполняет возврат, который не задает значение, | статус завершения, возвращаемый в среду хоста, неопределенные.

[Концепция значения undefined тщательно избегается в другом месте.]

Вы также можете найти в других Стандартах, что терминология была изменена, и поэтому термин "неуказанный" используется.

Я бы сказал, что он определенно не намерен быть undefined поведением как таковым, но все же невозможно решить, было ли это неопределенное поведение или как я вообще не сказал никакого поведения. Другая выдержка, которая указала бы, что это: §1 Область действия:

В этом международном стандарте не указывается:

  • механизм, с помощью которого программ C вызывается для использования системой обработки данных;

Я ожидаю, что это также означает, что в этом международном стандарте не указывается, как статус завершения программы обрабатывается средой хоста.