https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118280
--- Comment #13 from Thomas Petazzoni <[email protected]> --- (In reply to Michael Eager from comment #12) > If you have a patch, please send it to [email protected] Hm, I'm sorry, but I don't have a patch. My previous comment should have said "Is there any update about this bug". Sorry the mistake.
