instruction :
  
  goto  identificateur  ;
Toute instruction peut être précédée d'un identificateur suivi du signe :. Cet identificateur est appelé étiquette. Une instruction goto identificateur a pour effet de transférer le contrôle d'exécution à l'instruction étiquetée par identificateur. L'instruction goto et l'instruction cible du goto doivent se trouver dans la même procédure : le langage C est un langage à branchement locaux.
{
etiq2:
...            /*   des instructions                      */
goto etiq1;    /*   goto avant définition de l'étiquette  */
...            /*   des instructions                      */
etiq1:
...            /*   des instructions                      */
goto etiq2;    /*   goto après définition de l'étiquette  */
}