http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56743
--- Comment #5 from Jerry DeLisle <jvdelisle at gcc dot gnu.org> 2013-05-03 20:32:51 UTC --- I have a patch testing that fixes the items identified in the attachment of Comment #4 by accepting them as extension.
