问一个 G++对于未赋初值的变量纯声明优化的问题

我们公司对于系统的实时性要求很高，不允许 runtime 动态内存分配。最近在工作中遇到了一个很神器的 BUG，代码类似如下：

void func(){
  int count = 0;
  count = calculate_people();
  ...
}

memory_test_start(); // catch all unwanted dynamic memory malloc or free
func();

如上所示，变量count在声明的时候顺便赋了个初始值，然后立即被覆盖。代码运行和测试没有任何问题，Heap 内存也没有动过。

但是当我删除 = 0; 这个初始值之后，memory_test_tool发现了一大堆malloc和free。我怀疑是编译器看到count没有赋初值，就做了一些优化？导致后期的动态内存分配？

我不是编译器大牛，也没有搜索到相关的信息。不知道哪位来释疑一下？谢谢。