Scopes in which __label__ can appear

[Gabriel Dos Reis]

Fergus Henderson <fjh@cs.mu.oz.au> writes:

[...]

| So the decision to require the use of __label__ to make labels
| in a containing function accessible in nested functions,
| though not absolutely essential, is nevertheless fairly strongly
| motivated and hence quite understandable.

However, what has been implemented by Zack's patch is not exactly.
It makes label an automatic variable.

-- Gaby