do-while loops

[Manfred Nowak]

bearophile wrote:

> void main() {
>     do {
>         int x = 5;
>     } while (x != 5); // Error: undefined identifier x
> }
> 

Do you mean, that the similar while-loop should also be okay?

| void main() {
|     while (x != 5) /* uses `x' out of _following_ scope */ { 
|         int x = 5;
|     };
| }

-manfred