“conditional jump or move depends on uninitialised value(s)”是确凿错误，程序依赖未定义行为，必须修复；其危险在于导致不可复现的分支误判，常见于malloc未初始化、结构体栈变量未赋值、读取未校验数据等场景，须用--track-origins=yes精确定位源头并语义化初始化。
“Conditional jump or move depends on uninitialised value(s)” 不是警告，是确凿的错误信号——程序逻辑已依赖未定义行为，必须修复，不能忽略或 suppress。
为什么这个错误特别危险
它不像 Invalid read 那样直接崩溃，而是让程序在分支判断（if、while、for 条件）、函数调用参数、strcmp/memcmp 比较、甚至 printf 格式化输出时，基于一个“随机字节”做决策。结果不可复现：同一输入可能有时走 if 分支，有时走 else；调试时加 printf 还可能“掩盖”问题（因为打印本身会改寄存器状态）。
- 常见源头是
malloc后未初始化就用于条件判断，比如char *buf = malloc(1024); if (buf[0] == '\0') {...} - 结构体局部变量未显式初始化，而其中某个字段被用作循环计数或布尔标志
- 读文件/网络数据后未检查
read()返回值，就直接拿缓冲区内容做判断 - 使用了
getenv()返回的NULL指针做strcmp
快速定位：用 --track-origins=yes 看来源
默认情况下 Valgrind 只告诉你“用了未初始化值”，但不告诉你这值从哪来。加这个选项才能追到源头：
valgrind --tool=memcheck --track-origins=yes ./your_program
输出会多出类似这样的线索：
by 0x402E8476: _IO_printf (printf.c:36) by 0x8048472: main (tests/manuel1.c:8) Uninitialised value was created by a heap allocation at 0x402AB802: malloc (in /usr/lib/valgrind/vgpreload_memcheck-amd64-linux.so) by 0x804845F: main (tests/manuel1.c:6)
注意最后一行——它指向 malloc 调用位置，而不是使用位置。这意味着你得去 manuel1.c 第 6 行看分配后有没有初始化。
- 该选项会让性能下降 5–10 倍，只在定位阶段启用，确认问题后关掉
- 如果源头是栈变量（比如
int x; if (x > 0)），Valgrind 会明确写 “Uninitialised value was created by a stack allocation” - 若看到 “by 0x...: memcpy@plt”，说明你 memcpy 的 src 缓冲区本身含未初始化区域
修复原则：别绕开，要填满
不能靠“加个 == 0 判断”或“用 memset 清零整个大结构体”糊弄——得按语义初始化真正参与逻辑的部分。
- 对
malloc内存：优先用calloc替代，或紧接memset(buf, 0, size)；若只需部分字段有效，明确初始化那些字段 - 对结构体：用
= {0}静态初始化，或 C99 指定初始化器（struct S s = {.flag = true, .count = 0};） - 对缓冲区读取：必须检查
read()/fread()返回值，只对已读入的字节做判断，不要假设末尾有'\0' - 对指针比较：先判空，再
strcmp，例如if (p && strcmp(p, "yes") == 0)
容易被忽略的陷阱
最常被跳过的点是：编译器优化会让未初始化变量在不同构建下表现不一致。你在 -O0 下没复现，不代表 -O2 下安全；Valgrind 报告的地址可能指向内联函数或汇编胶水代码，实际源头在上层 C 函数里。
另一个盲区是 union：给一个成员赋值后，读另一个成员属于未定义行为，Valgrind 会报此错误，但开发者常误以为“反正共用内存，读出来也无所谓”。
