Так вот ни имени, ни синонима там нет. Там есть тип. Все. Назвать все нужно своими именами. Тогда ВСЕ становится ясным.

Все верно: в качестве идентификатора используются поля вложенной структуры так, как если бы они были просто полями, без организации в анонимную структуру.
К этому по сути вся анонимность и сходится.
При иерархии, естественно, возникает ошибка "идентификатор уже был определен ранее".

Синоним в языке общения. В том контексте.
Вы приводили текстовые примеры. И программы (исходники) языка Си тоже текстовые. С какого момента последовательность букв стала именно типом? Сперва выделится лексический элемент, а потом будет происходить его поиск в допустимых списках компилятора, с учётом контекстных приоритетов и правил. Либо могут выделяться сразу несколько лексических элементов до того, как начнётся их поиск. В начале лексического анализа типов нет. Можно было бы поспорить что на этом уровне есть, но не ясно какой терминологии лучше придерживаться. Идентификатором я называл набор символов (из текста), лексическую еденицу выделенную по лексическим правилам. Соответствующую правилим задания имён (ака идентификаторов).

Вы лучше объясните топикстартеру как это заявление

решит его проблему. Какой формулировкой C99 или C11 разрешает безымянные переменные с типом struct. И какой разрешаются безымянные члены с типом struct.

Сообщение отредактировал GetSmart - Jun 10 2016, 15:55

легко находится в сети

У GCC тоже свои тараканы расширения.

Сообщение отредактировал GetSmart - Jun 10 2016, 10:29

-так наверно и получилось в Кеиле, -имена есть, а иерархии -нет, но вы держитесь (с))

Не изучал со структурами, но анонимные юнионы в ИАРе исключены из некоторых версий компилятора.
ИАР ссылается на ANSY C.
Как по мне, шаг в нужном направлении, "типизация - наше всё".
Хотя поначалу было непросто, обновился ради нового кристалла, а нужно все перелопатить.