This reminds me of a bug that I found in Borland C++ 14 years ago: http://qc.embarcadero.com/wc/qcmain.aspx?d=3478

Sad to know that after all that time compilers still can't get even the core semantics right.