http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56800
--- Comment #3 from Tobias Burnus <burnus at gcc dot gnu.org> 2013-04-01 21:34:55 UTC --- Created attachment 29769 --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=29769 Early draft patch The patch mostly implements a fix for this bug - but it needs some clean up in the bottom part. As I run out of time, I attach it here.