Đập chuỗi với * (int *) NULL = 1; có vấn đề?

Question

Tôi tìm thấy điều này trong một ứng dụng c đa luồng. Các tác giả nhận xét rằng nó được sử dụng để làm cho một vụ tai nạn thread trong một chức năng khẳng định tùy chỉnh. GCC là tốt với nó, nhưng kêu vang hành các cảnh báo sau đây:

note: consider using __builtin_trap() or qualifying pointer with 'volatile' 

và cũng phát hành một trong những, đối với từng sử dụng các chức năng khẳng định:

warning: indirection of non-volatile null pointer will be deleted, not trap 

gì đang xảy ra ở đây? Là __builtin_trap cụ thể để kêu vang? Tôi có nên sử dụng nó không?

Answer 1

Viết để NULL địa chỉ không được bảo đảm để sụp đổ chương trình của bạn đáng tin cậy, vì vậy GCC introduced __builtin_trap cho điều đó.

Có vẻ như kêu vang đã quyết định đi xa hơn và loại bỏ các ghi như vậy hoàn toàn, gần như buộc bạn phải sử dụng __builtin_trap. Lựa chọn khác của họ để đúc NULL đến volatile con trỏ không trông hấp dẫn so với __builtin_trap, bởi vì nó "chỉ là" một hành vi không xác định.

Answer 2

Tuyên bố chứng minh hành vi không xác định. Đặc biệt trình biên dịch không bắt buộc phải cố gắng lưu trữ một cái gì đó tại địa chỉ 0 và có thể tối ưu hóa điều này. Đây là những gì các trình biên dịch đang nói cho bạn.

Sử dụng exit() hoặc abort() hoặc một số dẫn xuất để chấm dứt thực hiện toàn bộ quy trình. Đây là di động. (C11 có exit, _Exit, quick_exit và abort)