> But if zero-sized arrays everywhere in a structure is valid C, > then the attached test case is a valid test case.
Not necessarily, you can write the declaration but you cannot index the array, i.e. this is undefined behavior. And there is nothing new, distinct fields have been disambiguated in alias.c for ages. -- Eric Botcazou