while (0) {;} while (1) compiles?!

[Dan Kegel]

In gcc (egcs-2.91.66 or 2.95.2), the following compiles without error:

main()
{
        while (0) {
                int x;
        } while (1);
}     

Question: what is the proper behavior in this case? :-)

Sorry to admit I actually ran into this.

- Dan