https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85841
--- Comment #2 from janus at gcc dot gnu.org --- (In reply to Dominique d'Humieres from comment #1) > This PR could probably merged with pr85839. They're somewhat related, but I opened two separate PRs on purpose!
