https://gcc.gnu.org/bugzilla/show_bug.cgi?id=58001
kargl at gcc dot gnu.org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |kargl at gcc dot gnu.org
--- Comment #13 from kargl at gcc dot gnu.org ---
(In reply to Dominique d'Humieres from comment #11)
> > What happened with patch in comment 9?
>
> PING!
I've posted an updated patch that includes Manuel's
comment #12.
