https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70863
Paul Thomas <pault at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |pault at gcc dot gnu.org Resolution|--- |DUPLICATE Status|NEW |RESOLVED --- Comment #6 from Paul Thomas <pault at gcc dot gnu.org> --- I confirm Dominique's assessment in comment #1. *** This bug has been marked as a duplicate of bug 69298 ***