История изменений
Исправление 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++.