Come utilizzare noreturn con il puntatore funzione?

Question

Sto scrivendo un bootloader in C11. Quando il bootloader deve trasferire il controllo al firmware, legge un puntatore a una funzione all'indirizzo di memoria predefinito e lo chiama. Il codice è simile al seguente:

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(); 
} 

Funzione Firmware_boot() non ritorna mai, quindi aveva senso di dichiararla come noreturn:

#include <stdnoreturn.h> 

noreturn void 
Firmware_boot(void); 

ma ho bisogno di dichiarare FirmwareBootFn come noreturn anche per evitare il compilatore che lamenta che Firmware_boot() potrebbe restituire.

Ho provato (eventualmente) tutte le permutazioni di noreturn nello typedef senza alcun risultato. Inoltre ho capito che l'attributo non può essere impostato nel typedef perché non fa parte del tipo.

C'è un modo per taggare il mio Firmware_boot() come noreturn evitando l'avviso (beh, senza barare con soppressione degli avvisi :-))?

Answer 1

_Noreturn in C11 può essere applicato solo a definizioni di funzioni o dichiarazioni. Il fatto che la funzione non ritorni non fa parte del prototipo, sfortunatamente.

Dal momento che ti sembra di avere gcc si potrebbe usare un'estensione

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

per contrassegnare il puntatore a funzione, come non tornare. Sfortunatamente, però, non sembra esserci un modo per garantire che la funzione assegnata a tale proprietà abbia realmente quella sintassi, a parte tutti.