Std::array и странное поведение ⇐ C++

[Anonymous]

Следующий код генерирует инструкцию RET в GCC (https://godbolt.org/z/Yz7fE4xK7)

Код: Выделить всё

void f( ) {
std::array a;
std::array b;
std::copy_n(a.begin( ), 0, b.begin( ));
}

Однако следующий код генерирует инструкцию UD2, начиная с GCC 13 (https://godbolt.org/z/7f9KMvr76), по-видимому, из-за запуска неопределенного поведения.

Код: Выделить всё

void f( ) {
std::array a;
std::array b;
std::copy_n(&a[0], 0, &b[0]);
}

Я считаю, что это ошибка GCC, но я хотел бы спросить ваше мнение, прежде чем сообщать об этом, поскольку неопределенное поведение — сложная тема.

Подробнее здесь: https://stackoverflow.com/questions/791 ... d-behavior