https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118280
--- Comment #13 from Thomas Petazzoni <thomas.petazz...@free-electrons.com> --- (In reply to Michael Eager from comment #12) > If you have a patch, please send it to gcc-patc...@gcc.gnu.org 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.