http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58143 --- Comment #6 from Bernd Edlinger <bernd.edlinger at hotmail dot de> --- Created attachment 30681 --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=30681&action=edit possible fix This seems to be a possible fix. What do you think of it, Jan?