https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119612
--- Comment #7 from uecker at gcc dot gnu.org --- You also need to add -std=gnu23. The test as written does not fail. In any case, I add those assertions to make some assumptions that are made in C FE explicit. That this occasionally brings some tricky parts to light is expected. The logic here turns out to be correct but for subtle reasons which are now clearer to me.
