https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100110
--- Comment #2 from Paul Thomas <pault at gcc dot gnu.org> --- Created attachment 50628 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=50628&action=edit Fix for the PR As I thought, the fix is trivial. Paul
