https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65549
--- Comment #27 from Avi Kivity <a...@cloudius-systems.com> --- Patch fixes the problem for me (though the linker still fails)
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65549
--- Comment #27 from Avi Kivity <a...@cloudius-systems.com> --- Patch fixes the problem for me (though the linker still fails)