Scopes in which __label__ can appear

[Zack Weinberg]

Gabriel Dos Reis <gdr@integrable-solutions.net> writes:

> |  There
> | is no particular reason (from a language design point of view) why the
> | scope-narrowing effect should be limited to statement expressions.
>
> Consider this:
>
>    int f(int i) 
>    {
>      if (i > 9) 
>        goto l;
>
>     // ....
>     if (i < 6) {
>        __label__ l;
>
>       l:
>       return 0;
>      }
>  
>      return i + 1;
>    }
>
> In parallel to your argument, there is no particular reason to reject
> the above. 

So the __label__ in this example has no effect at all?

zw