https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82861
--- Comment #1 from joseph at codesourcery dot com <joseph at codesourcery dot com> --- Should already have been fixed by r254277.
joseph at codesourcery dot com Mon, 06 Nov 2017 08:32:18 -0800
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82861
--- Comment #1 from joseph at codesourcery dot com <joseph at codesourcery dot com> --- Should already have been fixed by r254277.