On Thursday, 15 January 2015 at 12:01:05 UTC, Johannes Pfau wrote:
After some google-fu: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=192Considering this was filed in 2000 I'd say it's not very likely to getfixed soon :-(
That looks right-on, and knowing the likely cause, I should able to engineer a workaround for now. Nice find, and thank you!
Mike