GCC không báo cáo cuộc gọi lambda constexpr không định hình

Dưới đây là hai trường hợp thử nghiệm cho Hành vi không xác định, được biểu thị là IIFE (Được gọi ngay lập tức Lambda-A े ion):

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() {}

Khi được biên dịch với thân GCC, test4bị từ chối chính xác vì nó thể hiện Hành vi không xác định trong mộtconstexpr . Mặt khác test3được chấp nhận.

GCC có quyền chấp nhận test3không?

GCC có quyền chấp nhận test3 không?

Không, đây là một lỗi GCC. Tôi chỉ báo cáo đó là lỗi # 93389 .