主页 / user-2250115

akryukov's questions

Martin Hope
akryukov
Asked: 2024-10-26 03:48:56 +0800 CST
  • 8

在我们的代码库中，我们的代码可以归结为以下内容（尝试使用动态堆栈分配而不是堆分配）：

#include <memory>
#include <alloca.h>

void f(long long const* data, size_t len);

void h(int const* data, size_t len)
{
  std::unique_ptr<char[]> heapBuff;

  auto nbytes = len * sizeof(long long);
  long long* arr;                                                 
  if (nbytes <= 1024) {                          
    arr = reinterpret_cast<long long*>(alloca(nbytes));
  }
  else {
    heapBuff.reset(new char[nbytes]);
    arr = reinterpret_cast<long long*>(heapBuff.get());
  }

  for (size_t i=0; i < len; ++i)
    arr[i]=data[i];

  f(arr, len);
}

（编译器资源管理器中的完整示例），从版本 11 开始，GCC中的编译结果会出现“可能使用未初始化”警告。

/app/h.cpp: In function 'void h(const int*, size_t)':
/app/h.cpp:23:4: warning: 'arr' may be used uninitialized [-Wmaybe-uninitialized]
   23 |   f(arr, len);
      |   ~^~~~~~~~~~
In file included from /app/h.cpp:2:
/app/f.hpp:4:6: note: by argument 1 of type 'const long long int*' to 'void f(const long long int*, size_t)' declared here
    4 | void f(long long const* data, size_t len);
      |      ^

Clang 或更早版本的 GCC 不会产生此警告。
在我看来，没有导致arr指针未初始化的路径，并且代码非常简单，编译器应该可以轻松找出原因。我是不是漏掉了什么？
有一点很奇怪，用 替换alloca()不会malloc()影响警告，但用一些非内联void* allocate(size_t)函数替换 会消除警告。

c++