https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80390
--- Comment #10 from Daniel Krügler <daniel.kruegler at googlemail dot com> --- (In reply to Jonathan Wakely from comment #7) > (In reply to Daniel Krügler from comment #6) > > Do you recommend to reopen 51222 or should I open a separate bug? I'm > > inclined to create a new one at the moment. > > Agreed, let's have a new bug for that. I have just created DR 80475.
