История изменений

Всё, что с attribute это компиляторо-специфичное и к языку отношения не имеет.

Я выше показал, что стандарт прямо запрещает существование таких указателей.

Я этого запрета не увидел. Стандарт требует, чтобы указатель был выровнен как положено. На x86 выравнивание по одному байту это нормально, так что никаких проблем с невыровненным по 4-байтовой границе int-ом не будет с точки зрения стандарта.

Другой вопрос, что выравнивание это самый простой способ обеспечить, чтобы данные не пересекались где не надо.

Всё, что с attribute это компиляторо-специфичное и к языку отношения не имеет.

Я выше показал, что стандарт прямо запрещает существование таких указателей.

Я этого запрета не увидел. Стандарт требует, чтобы указатель был выровнен как положено. На x86 выравнивание по одному байту это нормально, так что никаких проблем с невыровненным по 4-байтовой границе int-ом не будет с точки зрения стандарта.