Làm thế nào để sử dụng noreturn với con trỏ hàm?

Question

Tôi đang viết bộ nạp khởi động trong C11. Khi bộ tải khởi động cần truyền điều khiển đến phần sụn, nó sẽ đọc một con trỏ hàm tại địa chỉ bộ nhớ được xác định trước và gọi nó. Mã này trông như thế này:

typedef void (FirmwareBootFn)(void); 

typedef struct 
{ 
    uint32_t stackPointer; 
    FirmwareBootFn* programCounter; 
} 
FirmwareBootControl; 

static FirmwareBootControl g_bootControl __attribute__ ((section (".boot_control"))); 

void 
Firmware_boot(void) 
{ 
    setStackPointer(g_bootControl.stackPointer); 
    g_bootControl.programCounter(); 
} 

Chức năng Firmware_boot() không bao giờ trở lại, vì vậy nó làm cho tinh thần để khai báo nó như noreturn:

#include <stdnoreturn.h> 

noreturn void 
Firmware_boot(void); 

Nhưng tôi cần phải khai báo FirmwareBootFn như noreturn cũng như để tránh các trình biên dịch phàn nàn rằng Firmware_boot() có thể trở lại.

Tôi đã thử (có thể) mọi hoán vị của noreturn trong số typedef mà không có bất kỳ kết quả nào. Ngoài ra tôi hiểu rằng thuộc tính không thể được đặt trong typedef bởi vì nó không phải là một phần của loại.

Có cách nào để gắn thẻ số Firmware_boot() của mình là noreturn tránh cảnh báo (tốt mà không bị gian lận với ngăn chặn cảnh báo :-)) không?

Answer 1

_Noreturn trong C11 chỉ có thể được áp dụng cho định nghĩa chức năng hoặc khai báo. Thực tế là chức năng không trả lại không phải là một phần của nguyên mẫu, thật không may.

Vì bạn dường như có gcc bạn có thể sử dụng một phần mở rộng

typedef struct 
{ 
    uint32_t stackPointer; 
    __attribute__((__noreturn__)) FirmwareBootFn* programCounter; 
} 
FirmwareBootControl; 

để đánh dấu con trỏ hàm như không trở về. Thật không may mặc dù, có vẻ không phải là một cách để đảm bảo rằng các chức năng mà bạn gán cho rằng thực sự có tài sản đó bằng cú pháp, allone.