https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108440
--- Comment #4 from Krister Walfridsson <kristerw at gcc dot gnu.org> --- I misread the comment -- it describes a possible future improvement (that I believe is not allowed). But the committed patch seems to be correct.
