条件跳转或移动依赖于未初始化值

Question

我有一个问题，这一点我的代码：

unsigned long me_hash(MEntry *me, unsigned long size){ 
    unsigned long hashval=0; 
    int i=0; 
    for(i=0; me->surname[i];i++) hashval +=me->surname[i] + 28 * hashval;; 

    for(i=0; me->surname[i];i++){ 
     if(me->postcode[i]) { 
     hashval += me->postcode[i] + 28 * hashval; 
     } 
    } 
    hashval += me->house_number; 
    return (hashval%size); 
} 

当我运行Valgrind是

==4480== Conditional jump or move depends on uninitialised value(s) 
==4480== at 0x8048EB7: me_hash (mentry.c:66) 
==4480== by 0x8048B3E: ml_lookup (mlist.c:91) 
==4480== by 0x80488D2: main (finddupl.c:43) 
==4480== 

我不知道这是我得到的消息知道如何解决这个问题。你可以帮帮我吗？

Answer 1

Conditional jump or move depends on uninitialised value(s)

这是Valgrind的真正伟大的信息。

它基本上说，如果或你的条件取决于未初始化的值。每次例如for循环的条件都是真实的，执行就会在其正文的开始处跳回。

换句话说，该消息意味着您正在访问尚未初始化的内存，如在this答案中所述。这些值是me->surname[i]或me->postcode[i]。在使用前打印它们，看看它们是否真的有一些垃圾值（我想他们会）。

---

使用Valgrind的选项--track-origins=yes有它跟踪未初始化值的由来。这会让它变慢并占用更多内存，但是如果您需要追踪未初始化值的来源，它会非常有帮助。

建议在this的答案。