Có bỏ qua tuyên bố trả về hành vi không xác định trong C89 (hay còn gọi là ANSI C)?

Question

xem xét sau đây ví dụ cơ bản:

#include <stdio.h> 

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

Liệu nó gọi hành vi undefined trong C89? Tôi đã cố gắng để có được một số ý nghĩa từ this question, nhưng hầu hết các câu trả lời upvoted cho rằng nó thực hiện xác định và chắc chắn không UB ở đây (với ý kiến ​​của Keith Thompson, có vẻ mâu thuẫn).

Các spec nói trong §3.16 Định nghĩa và công ước:

Nếu một “trách nhiệm” hay “thì không phải là” yêu cầu xuất hiện bên ngoài của một chế bị vi phạm. hành vi không xác định. Hành vi không xác định được quy định khác trong Tiêu chuẩn này theo các từ “hành vi không xác định” hoặc bằng cách bỏ sót bất kỳ định nghĩa rõ ràng nào về hành vi . Không có sự khác biệt nào về sự nhấn mạnh giữa ba điều này: chúng tất cả đều mô tả “hành vi không xác định”.

và §5.1.2.2.3 chấm dứt chương trình :

Một trở về từ các cuộc gọi ban đầu để các main chức năng tương đương với gọi exit chức năng với giá trị được trả về bởi các main chức năng làm đối số của nó. Nếu chức năng main thực thi khoản hoàn trả chỉ định không có giá trị, trạng thái chấm dứt được trả về môi trường máy chủ là không xác định.

Hiểu biết của tôi là sau này không bao gồm trường hợp mất trả lại, như câu hỏi return không bao giờ được gọi, do đó, điều khoản phụ được áp dụng trước đây.

đọc Tuy nhiên thêm tác chỉ ra một cái gì đó khác nhau, §6.6.6.4 Các return tuyên bố:

Nếu một tuyên bố return mà không có một biểu hiện được thực thi, và giá trị của cuộc gọi chức năng được sử dụng bởi người gọi , hành vi không xác định. Tiếp cận } kết thúc chức năng tương đương với việc thực hiện câu lệnh return mà không có biểu thức.

Ok, vì vậy bây giờ 5.1.2.2.3 phân lớp được áp dụng:

Nếu main chức năng thực hiện một sự trở lại mà xác định không có giá trị. trạng thái chấm dứt được trả về môi trường máy chủ là không xác định.

Thuật ngữ "trạng thái chấm dứt là undefined" dường như không được UB, và cũng không bất kỳ hành vi cụ thể, nhưng nhiều hơn như đó là ngoài phạm vi C Standard, nghĩ nhiều hơn như: "để cho các môi trường máy chủ được lo lắng, chúng ta rửa tay từ đây ". Đó là sự giải thích chính xác?

Answer 1

Năm trước, tôi thực sự đã gỡ lỗi các vấn đề gây ra bởi điều này. Nó thậm chí còn thú vị hơn nếu bạn có một số đường dẫn mã với trả về và các đường dẫn khác mà không có.

Khi @aruisdante phỏng đoán trong nhận xét, hành vi được hiển thị thực sự là 'không xác định', nhưng phần không xác định duy nhất là giá trị được trả về (không giống như nhiều tình huống 'không xác định' khác có thể làm hỏng chương trình).

Những ngày này thực sự là một rủi ro bảo mật vì giá trị 'không xác định' được trả về thường là bất kỳ điều gì xảy ra trong thanh ghi CPU thường được sử dụng để trả về giá trị (hoặc trên ngăn xếp trong một số triển khai). để rò rỉ dữ liệu nhạy cảm.

Answer 2

Tôi tin rằng ý định của Ủy ban tiêu chuẩn là giá trị trạng thái chấm dứt này không được chỉ định.

Theo N739 dự thảo:

và thay đổi câu cuối cùng của 5.1.2.2.3 phân lớp từ:

Nếu chính/chức năng/thực hiện một sự trở lại mà xác định không có giá trị, việc chấm dứt trạng thái được trả về môi trường máy chủ là không xác định.

tới:

Nếu/main/function thực hiện trả về không chỉ định giá trị, | trạng thái chấm dứt được trả về môi trường máy chủ là không xác định.

[Khái niệm về giá trị không xác định được một cách cẩn thận tránh những nơi khác.]

Bạn cũng có thể tìm thấy trong tiêu chuẩn hơn nữa, thuật ngữ đã được thay đổi và thuật ngữ "không xác định" được sử dụng do đó.

Tôi sẽ nói rằng nó chắc chắn không có ý định trở thành hành vi không xác định, nhưng vẫn không thể quyết định xem đó là hành vi không xác định hoặc như tôi đã nói không có hành vi nào cả. trích đoạn khác, điều đó sẽ cho thấy sau này là §1 Phạm vi:

tiêu chuẩn quốc tế này không nêu rõ:

• cơ chế mà các chương trình C được gọi để sử dụng bởi một hệ thống xử lý dữ liệu ;

Tôi hy vọng điều này cũng có nghĩa là tiêu chuẩn này không chỉ định trạng thái chấm dứt của chương trình được xử lý bởi môi trường máy chủ.