Лилирование массива символов другому типу нарушает правила строгого сглаживания?

Question

Рассмотрим эти две функции:

int f1() 
{ 
    alignas(int) char buf[sizeof(int)] = {}; 
    return *reinterpret_cast<int*>(buf); 
} 

int f2() 
{ 
    alignas(int) char buf[sizeof(int)] = {}; 
    char* ptr = buf; 
    return *reinterpret_cast<int*>(ptr); 
} 

GCC предупреждает, что первым нарушает правила строгого сглаживания. Но второе нормально.

Clang принимает как без претензий.

Является ли предупреждение законным?

Answer 1

Предупреждение является законным. f2 не в порядке (это неопределенное поведение), это просто не вызывает предупреждения.

Я подозреваю, что причина, по которой f2 не вызывает предупреждение в том, что:

int f3() 
{ 
    int i = 0; 
    char *ptr = reinterpret_cast<char*>(&i); 
    return *reinterpret_cast<int*>(ptr); 
} 

Является полностью легальным. Вы можете использовать char* (или) в качестве «универсального указателя» - при условии возврата к правильному типу перед доступом. GCC явно берет на себя внимание, чтобы избежать предупреждения о f3, за счет отсутствия предупреждения о f2.

Clang не может предупредить ни о f1, либо f2 - но это не требуется.