https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103964
--- Comment #13 from Jakub Jelinek <jakub at gcc dot gnu.org> --- typeof (and sizeof and alignof and decltype in C++) should be well defined, it is unevaluated context, it doesn't evaluate it in any way (ok, sizeof on VLAs is an exception), just cares about the type (size, alignment) of it.