Scopes in which __label__ can appear

[Gabriel Dos Reis]

"Zack Weinberg" <zack@codesourcery.com> writes:

| 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?

Basically,  I'm saying yes.  It would  be a no-op.

-- Gaby