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