https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116550
--- Comment #17 from Georg-Johann Lay <gjl at gcc dot gnu.org> --- (In reply to denisc from comment #15) > I sent a patch. What might help is to CC the respective maintainer as listed in MAINTAINERS.