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
_______________________________________________
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
