Ниже приведены два тестовых примера для неопределенного поведения, выраженного как IIFE (немедленное название лямбда-экспрессии):
constexpr auto test3 = []{
int* p{};
{
int x{};
p = &x;
}
return *p; // Undefined Behaviour
}(); // IIFE
constexpr auto test4 = []{
int x = std::numeric_limits<int>::min();
int y = -x; // Undefined Behaviour
return y;
}();
int main() {}
При компиляции с магистралью GCC test4
корректно отклоняется, так как демонстрирует неопределенное поведение в constexpr
. С другой стороны test3
принято.
Правильно ли GCC принять test3
?
c++
undefined-behavior
constexpr
avr-gcc
wimalopaan
источник
источник
Ответы:
Нет, это ошибка GCC. Я только что сообщил об этом как об ошибке # 93389 .
источник