https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61353
--- Comment #4 from rsandifo at gcc dot gnu.org <rsandifo at gcc dot gnu.org> --- Sorry, you're right of course. I was getting my PRs mixed up. *** This bug has been marked as a duplicate of bug 61331 ***
