https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67564
Paul Thomas <pault at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution|--- |FIXED
--- Comment #15 from Paul Thomas <pault at gcc dot gnu.org> ---
The problem in comment #10 seems to be fixed on trunk - one of Andre's patches?
Dominique, thanks for testing the fix for comment #9.
Patch committed and so closing the PR.
Thanks for the reports.
Paul
