https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82688
--- Comment #3 from The Written Word <bugzilla-gcc at thewrittenword dot com> --- (In reply to Eric Botcazou from comment #2) > The search button is your friend. > > *** This bug has been marked as a duplicate of bug 81926 *** Oops, thanks.