https://gcc.gnu.org/bugzilla/show_bug.cgi?id=59781

janus at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |vehre at gcc dot gnu.org

--- Comment #15 from janus at gcc dot gnu.org ---
(In reply to Dominique d'Humieres from comment #14)
> AFAICT the above piece of dump appeared between revisions r241883
> (2016-11-06, none) and r241924 (2016-11-07, present), likely r241885.

Yes, very likely. Thanks for pinpointing this, Dominique.


> If I
> am correct, I am not sure that the commit qualifies for back port.

Andre, do you think it would be reasonable to backport r241885?

Reply via email to