https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65752
--- Comment #31 from Robbert <gcc at robbertkrebbers dot nl> --- [oops, that was meant to be private, please remove my last comment]
gcc at robbertkrebbers dot nl Thu, 21 May 2015 21:57:55 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65752
--- Comment #31 from Robbert <gcc at robbertkrebbers dot nl> --- [oops, that was meant to be private, please remove my last comment]