Labels that are local to a statement-expression (see Statement expressions) are useful for local labels in macros, where the macro might be included multiple times in the same function. For example:

({
__label__ found;
...        
goto found;
...        
found:;
})

Supported in GNU mode only.