https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94737
--- Comment #8 from Thomas Koenig <tkoenig at gcc dot gnu.org> --- So, test case committed. Thanks for the bug report! Even though it turned out to be invalid, it still ended up making the compiler better.