I think we should report it (in the form of an equivalent C-program) as a bug to http://gcc.gnu.org/bugzilla/.
Regards,
Adriaan van Os
I have written a small C program showing the bug and reported it (see http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33610).
Best regards, Peter