https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67192
--- Comment #15 from Manuel López-Ibáñez <manu at gcc dot gnu.org> --- (In reply to Andreas Arnez from comment #11) > Any news here? AFAIK the problem still exists. I still think the solution in comment #10 is the least invasive without being a hack. But someone (you?) would need to submit a patch and get it approved by the C maintainers.