On Mon, Jul 27, 2015 at 05:01:30PM +0100, Kyrill Tkachov wrote: > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67030 I hope the patch I've posted in the PR helps. Can you please check? Marek