label and goto instructions

The label and goto insrustions perform an unconditional transfer of control within the function body.

label

The appearance of the label instruction in the source program declares a label. The keyword label is followed by a name - an identifier label. Labels define where to jump for the goto command. The label has scope limited to the block in which it is declared, therefore the goto instruction transfers control to the label either inside the current block or in blocks of higher levels. Control transferred to the label may occur before the label is declared.

goto

You can use the goto command to jump to the specified label. You should specify the name of the label to continue executing the program from after each goto keyword.

func myfunc
{
   ...
   {
     goto mylabel 
     ...
     label mylabel
     ...
     goto finish
   }
   ...
   label finish
}