为何GCC未警告将局部变量引用存储为类成员的问题？

先看这段存在未定义行为的代码：

struct foo {
    const int& x_;
    foo(const int x) : x_(x) { }
};

int main()
{
    int x = 1;
    auto b2 = foo{x};
    return b2.x_;
}

这段代码的问题很明确：构造函数的参数x是值传递，属于构造函数栈帧里的局部变量，成员引用x_绑定到它之后，构造函数执行完毕栈帧销毁，x的生命周期结束，但b2对象还存在，后续访问b2.x_就是解引用无效引用，属于未定义行为。

但用g++ -W -Wall -Wextra（GCC 7.4.1版本）编译时却没有收到任何警告，原因主要有这几点：

• GCC默认警告集的局限性：-Wall -Wextra覆盖的是常见的、容易通过简单局部分析发现的问题，但这类涉及跨上下文生命周期匹配的情况，需要更深度的静态分析，默认开关不包含这类检查。
• 编译器版本的静态分析能力限制：GCC 7.4.1是比较老的版本，对悬空引用的检测能力较弱。在GCC 8及以后的版本中，新增了-Wdangling-reference开关，专门用于检测这类引用绑定到即将销毁对象的情况，而7.4.1根本没有这个开关。
• 优化级别影响分析力度：默认编译是-O0（无优化），此时编译器的分析非常浅，很多数据流分析和生命周期追踪的逻辑只在优化阶段（比如-O1、-O2）才会启用。如果加上-O2再编译，部分版本的GCC可能会触发相关警告。
• 值传递参数的特殊性：构造函数的参数是值传递的，它的生命周期属于函数栈帧，但不像函数内部显式声明的局部变量那样容易被编译器的警告逻辑识别，这类参数的引用绑定场景在旧版本GCC的默认检查中被遗漏了。

内容的提问来源于stack exchange，提问作者einpoklum