GCC全局析构阶段跳过指针置空：是优化器Bug还是特性？

问题现象 #

• GCC版本7.2.0、9.4.0、12.3.0及13.2.0，在全局析构阶段且启用-O1/-O2/-O3/-Ofast优化时，会跳过lmdb++封装类lmdb::env::close()内的_handle = nullptr;语句，导致程序退出时触发double free崩溃。
• Clang无此问题；给代码添加调试输出后，GCC也不会跳过该语句。

已准备复现代码、运行示例及汇编对比，现咨询该现象属于GCC优化器的Bug还是特性？

核心代码片段 #

static inline void
lmdb::env_close(MDB_env* const env) noexcept {
  delete ::mdb_env_close(env);
}

class lmdb::env {
protected:
  MDB_env* _handle{nullptr};

public:
  ~env() noexcept {
    try { close(); } catch (...) {}
  }

  MDB_env* handle() const noexcept {
    return _handle;
  }

  void close() noexcept {
    if (handle()) {
      lmdb::env_close(handle());
      _handle = nullptr;
    }
  }
}

问题分析与结论 #

这不是GCC优化器的特性，而是未定义行为引发的异常优化结果，核心错误出在lmdb::env_close的实现上：

LMDB的mdb_env_close()函数返回值是int类型（用于表示错误码），但代码中错误地用delete操作符去“释放”这个整数返回值。delete仅用于释放new分配的堆内存指针，对非指针值执行delete属于C++标准定义的未定义行为。

当程序触发未定义行为后，GCC优化器会认为后续代码（比如_handle = nullptr;）处于“无效执行路径”，因此直接跳过该语句的生成——这是优化器在未定义行为场景下的合理（但不可预测）表现。

Clang未出现崩溃只是未定义行为的不同表现形式，并非Clang更“正确”；添加调试输出后GCC保留该语句，是因为调试输出改变了代码的控制流特征，让优化器认为后续语句需要保留，但这只是掩盖了根本问题。

修复方案 #

修正lmdb::env_close的实现，去掉错误的delete，直接调用mdb_env_close()：

static inline void
lmdb::env_close(MDB_env* const env) noexcept {
  ::mdb_env_close(env);
}

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