我可以让 valgrind 告诉我哪个值未初始化吗？

I ran valgrind一些代码如下：

valgrind --tool=memcheck --leak-check=full --track-origins=yes ./test

它返回以下错误：

==24860== Conditional jump or move depends on uninitialised value(s)
==24860==    at 0x4081AF: GG::fl(M const&, M const&) const (po.cpp:71)
==24860==    by 0x405CDB: MO::fle(M const&, M const&) const (m.cpp:708)
==24860==    by 0x404310: M::operator>=(M const&) const (m.cpp:384)
==24860==    by 0x404336: M::operator<(M const&) const (m.cpp:386)
==24860==    by 0x4021FD: main (test.cpp:62)
==24860==  Uninitialised value was created by a heap allocation
==24860==    at 0x4C2EBAB: malloc (vg_replace_malloc.c:299)
==24860==    by 0x40653F: GODA<unsigned int>::allocate_new_block() (goda.hpp:82)
==24860==    by 0x406182: GODA<unsigned int>::GODA(unsigned long, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, bool) (goda.hpp:103)
==24860==    by 0x402A0E: M::init(unsigned long) (m.cpp:63)
==24860==    by 0x403831: M::M(std::initializer_list<unsigned int>, MO const*) (m.cpp:248)
==24860==    by 0x401B56: main (test.cpp:31)

所以第71行有错误。太好了。以下是到第 71 行的行：po.cpp（第 71 行是最后一行）：

DEG_TYPE dtk = t.ord_deg();
DEG_TYPE duk = u.ord_deg();
bool searching = dtk == duk;
NVAR_TYPE n = t.nv();
NVAR_TYPE k = 0;
for (/* */; searching and k < n; ++k) { // this is line 71

OK, so which第71行的值未初始化？

• 当然不是k;
• 我手动检查了（=“单步执行gdb") that t的构造函数初始化返回的值t.nv()，所以当然不是n（实际上n设置为 6，正确的值）；
• searching是由dtk and duk，但我也手动检查过t's and u的构造函数初始化返回的值.ord_deg()（实际上两者dtk and duk设置为 3，正确的值）。

我在这里完全不知所措。有什么选项可以告诉我们valgrind报告哪个精确值它认为未初始化？

Update

回答一个问题，这里是第 61 行test.cpp:

M s { 1, 0, 5, 2, 0 };

因此它使用初始化列表来构造。这是构造函数：

M::M(
    initializer_list<EXP_TYPE> p, const MO * ord
) {
  common_init(ord);
  init_e(p.size());
  NVAR_TYPE i = 0;
  last = 0;
  for (
       auto pi = p.begin();
       pi != p.end();
       ++pi
  ) {
    if (*pi != 0) {
      e[last] = i;
      e[last + 1] = *pi;
      last += 2;
    }
    ++i;
  }
  ord->set_data(*this);
}

这是类中的数据，添加了显示其初始化位置的注释：

NVAR_TYPE n;    // init_e()
EXP_TYPE * e;   // common_init()
NVAR_TYPE last; // common_init()
DEG_TYPE od;    // common_init(), revised in ord->set_data()
const MO * o;   // common_init()
MOD * o_data;   // common_init(), revised in ord->set_data()

是否有一些选项可以告诉 valgrind 报告哪个精确值 它认为值未初始化？

你能做的最好的就是使用--track-origins=yes（您已经使用此选项）。 Valgrind 只会告诉您未初始化值的大致位置（Valgrind 的起源），但不会告诉您确切的变量名称。看Valgrind手册 http://valgrind.org/docs/manual/mc-manual.html#mc-manual.options for --track-origins:

当设置为 yes 时，Memcheck 会跟踪所有数据的起源 未初始化的值。然后，当出现未初始化值错误时 据报道，Memcheck 将尝试显示该值的来源。一个起源 可以是以下四个地方之一：堆块、堆栈 分配、客户端请求或其他各种来源（例如， 致电brk）。

对于源自堆块的未初始化值，Memcheck 显示 块被分配的位置。对于未初始化的值 从堆栈分配中，Memcheck 可以告诉您哪个函数 分配了值，但仅此而已——通常它会向您显示 函数左大括号的源位置。那么你 应仔细检查函数的所有局部变量是否 已正确初始化。