In C, le etichette non utilizzate possono sempre essere rimosse e mantenere attivo un programma?

Question

Se una sorgente C ha un'etichetta inutilizzata, l'unica ragione per cui posso pensare che sia (attualmente) utile è se qualcuno lo utilizza come "segnalibro" per trovare facilmente una sezione di codice. Escludendo tali motivi, esistono motivi tecnici per cui le etichette non utilizzate potrebbero non voler essere rimosse? In altre parole, è possibile rompere un'unità di compilazione rimuovendole in modo tale che le unità di compilazione esterne possano in qualche modo usarlo?

MODIFICA: il codice specifico che sto modificando è pre-C89, quindi il comportamento C storico può fare la differenza.

Answer 1

è sicuramente sicuro per C99, C11 standard in cui si afferma chiaramente che:

Un nome etichetta è l'unico tipo di identificatore che ha funzione ambito. Può essere utilizzato (in un'istruzione goto) in qualsiasi punto della funzione in cui appare ed è dichiarato implicitamente dall'aspetto sintattico (seguito da: e un'istruzione).

Quindi se l'etichetta non è utilizzata all'interno della funzione, è possibile rimuoverla.

PS In C89 norma abbiamo:

Un nome etichetta è l'unico tipo di identificatore che ha funzione portata. Può essere utilizzato (in un'istruzione goto) in qualsiasi punto della funzione in cui appare ed è dichiarato implicitamente dall'aspetto sintattico (seguito da: e un'istruzione). I nomi delle etichette devono essere univoci entro una funzione.

Ancora una volta le etichette sono confinati in ambito funzione, ma anche nel vecchio libro gloriosa K & R linguaggio C, pagina 58 §3.8 Goto ed etichette, dice:

A etichetta ha la stessa forma di un nome di variabile ed è seguita da un due punti . Può essere allegato a qualsiasi istruzione nella stessa funzione del goto . L'ambito di un'etichetta è l'intera funzione.

Quindi è possibile rimuoverli da ovunque in modo sicuro abbastanza.