https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88727
--- Comment #1 from joseph at codesourcery dot com <joseph at codesourcery dot com> --- This was the case mentioned in bug 26581 comment 4, but without a separate bug filed for it at the time.
joseph at codesourcery dot com Mon, 07 Jan 2019 10:34:24 -0800
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88727
--- Comment #1 from joseph at codesourcery dot com <joseph at codesourcery dot com> --- This was the case mentioned in bug 26581 comment 4, but without a separate bug filed for it at the time.