使用libasan编译std::regex为何出现‘未初始化’警告？

测试代码 #

#include <regex>

int main()
{
    static const std::regex rgx{"some string"};
}

编译命令 #

使用以下编译标志时会触发大量警告：

g++ -O3 -fsanitize=address -Wall test.cpp

移除-O3或-fsanitize=address后，编译无任何警告提示。

警告示例 #

以下是200余条同类警告中的前几条：

In file included from /usr/include/c++/14/regex:50,
                 from test.cpp:1:
In constructor ‘std::function<_Res(_ArgTypes ...)>::function(std::function<_Res(_ArgTypes ...)>&&) [with _Res = bool; _ArgTypes = {char}]’,
    inlined from ‘std::__detail::_State<_Char_type>::_State(std::__detail::_State<_Char_type>&&) [with _Char_type = char]’ at /usr/include/c++/14/bits/regex_automaton.h:149:4,
    inlined from ‘std::__detail::_State<_Char_type>::_State(std::__detail::_State<_Char_type>&&) [with _Char_type = char]’ at /usr/include/c++/14/bits/regex_automaton.h:146:7,
    inlined from ‘std::__detail::_StateIdT std::__detail::_NFA<_TraitsT>::_M_insert_subexpr_end() [with _TraitsT = std::__cxx11::regex_traits<char>]’ at /usr/include/c++/14/bits/regex_automaton.h:290:24:
/usr/include/c++/14/bits/std_function.h:405:42: warning: ‘*(std::function<bool(char)>*)((char*)&__tmp + offsetof(std::__detail::_StateT, std::__detail::_State<char>::<unnamed>.std::__detail::_State_base::<unnamed>)).std::function<bool(char)>::_M_invoker’ may be used uninitialized [-Wmaybe-uninitialized]
  405 |       : _Function_base(), _M_invoker(__x._M_invoker)
      |                                      ~~~~^~~~~~~~~~
In file included from /usr/include/c++/14/regex:65:
/usr/include/c++/14/bits/regex_automaton.h: In member function ‘std::__detail::_StateIdT std::__detail::_NFA<_TraitsT>::_M_insert_subexpr_end() [with _TraitsT = std::__cxx11::regex_traits<char>]’:
/usr/include/c++/14/bits/regex_automaton.h:287:17: note: ‘__tmp’ declared here
  287 |         _StateT __tmp(_S_opcode_subexpr_end);
      |                 ^~~~~

剩余警告均为类似的std::_Function_base::_M_manager未初始化提示。

运行环境 #

• 系统：Fedora 41
• GCC版本：

$ g++ --version
g++ (GCC) 14.2.1 20240912 (Red Hat 14.2.1-3)

程序最终编译成功且可正常运行，请问这些警告产生的原因是什么？

这些警告是GCC静态分析的误报，由三个因素叠加导致：

1. 深度内联优化的干扰：-O3开启了最高等级的内联优化，把std::function的移动构造函数和std::regex内部_State类的代码深度内联在一起，打乱了编译器静态分析的常规路径。
2. ASAN的检查逻辑冲突：-fsanitize=address（地址 sanitizer）会修改编译器的内存初始化检查规则，和-O3的内联结合后，编译器无法正确追踪std::function内部成员的初始化流程。
3. GCC 14.x的分析缺陷：当前版本的GCC对std::regex库中作为匿名成员存在的std::function对象，其初始化路径的分析存在漏洞——实际上std::function的移动构造已经完成了成员初始化，但编译器在复杂内联场景下误判为未初始化。

补充说明 #

• 这些警告不影响程序正确性，生成的可执行文件可以正常运行。
• 可以通过以下方式抑制警告：
  • 添加编译选项-Wno-maybe-uninitialized（仅在确认是误报时使用）
  • 将优化等级降至-O2（会损失部分性能，但能避免误报）
  • 等待GCC后续版本修复该静态分析缺陷

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