Adam Chlipala wrote:
> I'm going to try to figure out the GCC bug report procedure and submit
> this test case.
Yesterday I filed a bug in the GCC Bugzilla, though I haven't seen any
more activity with it yet.
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46921