LINUX.ORG.RU

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

Исправление intelfx, (текущая версия) :

Это единственная формулировка strict aliasing, которая позволяет проводить TBAA (type-based alias analysis). Вроде как это один из столпов, на которых вообще держатся оптимизирующие компиляторы C и C++.

И если либу грузить динамически, то никакого UB не будет, т.к. объекта нет, это просто байтики в памяти совершенно другой программы.

Взаимодействие SysV ABI и стандарта C++ комментировать не берусь, но вполне возможно, что UB всё равно есть, просто на текущем уровне развития технологий этот факт нельзя заметить.

Исходная версия intelfx, :

Это единственная формулировка strict aliasing, которая позволяет проводить TBAA (type-based alias analysis). Вроде как это один из столпов, на которых вообще держатся оптимизирующие компиляторы C и C++.