c++ - GCC无法报告格式错误的constexpr lambda调用

Question

以下是两个未定义行为的测试用例，表示为IIFE(即所谓的Lambda-Axpression):

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中的Undefined Behavior，因此会被正确拒绝。另一方面，test3被接受。

GCC有权接受test3吗？

Answer 1

Is GCC right to accept test3?

不，这是一个GCC错误。我只是将其报告为bug #93389。