Previene la rimozione di loop infiniti da C++ 11

Question

Come discusso in this question, C++ 11 ottimizza i loop infiniti.

Tuttavia, nei dispositivi incorporati che hanno un unico scopo, i loop infiniti hanno senso e sono in realtà abbastanza spesso utilizzati. Anche un completamente vuoto while(1); è utile per un reset assistito da watchdog. La terminazione ma i cicli vuoti possono anche essere utili nello sviluppo integrato.

C'è un modo elegante per dire in modo specifico al compilatore di non rimuovere loop vuoti o infiniti, senza disabilitare del tutto l'ottimizzazione?

Answer 1

Uno dei requisiti per un ciclo per essere rimosso (come menzionato in questa domanda) è che

• non accede o modificare oggetti volatili

Quindi,

void wait_forever(void) 
{ 
    volatile int i = 1; 
    while (i) ; 
} 

fare il trucco, anche se certamente lo verificherei osservando lo smontaggio di un programma prodotto con la tua particolare toolchain.

Una funzione come questo sarebbe un buon candidato per l'attributo di GCC noreturn pure.

void wait_forever(void) __attribute__ ((noreturn)); 

void wait_forever(void) 
{ 
    volatile int i = 1; 
    while (i) ; 
} 

int main(void) 
{ 
    if (something_bad_happened) 
     wait_forever(); 
}