http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52769
--- Comment #2 from joseph at codesourcery dot com <joseph at codesourcery dot com> 2012-04-07 16:10:37 UTC --- We should at least add the execution test from this bug report (appropriately adapted) to the testsuite.