GCCが不正なconstexprラムダ呼び出しを報告できない

以下は、IIFE（Immediately Called Lambda-Axpression）として表される未定義の動作の2つのテストケースです。

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か？

GCCはtest3を受け入れる権利がありますか？

いいえ、これはGCCのバグです。バグ＃93389として報告しました。