http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54365
--- Comment #2 from Greg Law <g...@undo-software.com> 2012-08-24 18:38:24 UTC --- Yes, I think you're right: I hadn't appreciated that. Still, even though it's undefined, it's slightly strange behaviour for the compiler to adopt. I guess it's reasonable to close this bug as invalid though if you consider that the most appropriate action.