------- Comment #4 from pinskia at gcc dot gnu dot org 2006-09-26 17:42 ------- (In reply to comment #3) > FWIW, I think it should be ill-formed with diagnostic required since the > behavior of the expression is always undefined.
There are cases where this can show up in templates, someway or another. And then undefined behavior at runtime cannot be rejected because someone it does not need to be run as someone could do: if (0) delete a; -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29185