https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78458
--- Comment #2 from joseph at codesourcery dot com <joseph at codesourcery dot com> --- It was r242641.
joseph at codesourcery dot com Mon, 21 Nov 2016 15:57:07 -0800
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78458
--- Comment #2 from joseph at codesourcery dot com <joseph at codesourcery dot com> --- It was r242641.