19.14 Labels as Values

In GNU C, you can get the address of a label defined in the current function (or a local label defined in the containing function) with the unary operator ‘&&’. The value has type void *. This value is a constant and can be used wherever a constant of that type is valid. For example:

void *ptr;
…
ptr = &&foo;

To use these values requires a way to jump to one. This is done with the computed goto statement⁵, goto *exp;. For example,

goto *ptr;

Any expression of type void * is allowed.

See goto Statement and Labels.

• Label Value Uses
• Label Value Caveats