关于valgrind的 “Conditional jump or move depends on uninitialised value(s)”

关于valgrind的 “Conditional jump or move depends on uninitialised value(s)”：

valgrind在报这个错误的时候程序未必有bug，如下例：

代码

//test.cpp
#include <iostream>
using namespace std;
bool ptr(char *testptr)
{
        int i=0;
        if(i == 0){
                memcpy(testptr,"Hello",5);
                return true;
        }
        return false;
}

int main(int argc, const char *argv[])
{
        char *p = new char [10];
        if(ptr(p)){
                printf("%s\n",p);
        }

        delete [] p;

        return 0;
}

执行：
g++ test.cpp -Wall
valgrind --tool=memcheck --leak-check=full --show-reachable=yes ./a.out

就会报下面的错：

==8472==
==8472== Conditional jump or move depends on uninitialised value(s)
==8472==    at 0x4906507: strlen (mac_replace_strmem.c:243)
==8472==    by 0x3D26142A0A: vfprintf (in /lib64/tls/libc-2.3.4.so)
==8472==    by 0x3D26148157: printf (in /lib64/tls/libc-2.3.4.so)
==8472==    by 0x4009A6: main (in /home/maoqi/private/cpp/a.out)
Hello
==8472==
==8472== ERROR SUMMARY: 1 errors from 1 contexts (suppressed: 5 from 2)
==8472== malloc/free: in use at exit: 0 bytes in 0 blocks.
==8472== malloc/free: 1 allocs, 1 frees, 10 bytes allocated.
==8472== For counts of detected errors, rerun with: -v
==8472== All heap blocks were freed -- no leaks are possible.

因此在遇到这种错误的时候需要仔细分析。

 

 

转载于:https://www.cnblogs.com/FrankTan/archive/2010/01/08/1642569.html