C语言中if条件为True但分支代码未执行的离奇问题

先贴出问题中的代码片段：

for (int a = 1; a < thiz->fft_length; a++)
{
    *pPL += fL->real;
    *pPR += fR->real;
    pPL++; pPR++; fL++; fR++;
    if (pPL - thiz->oBufL > thiz->bufLen - 1)
    {
/*NOT EVALUATED*/       pPL -= thiz->bufLen;
    }
    if (pPR - thiz->oBufR > thiz->bufLen - 1)
    {
/*NOT EVALUATED*/       pPR -= thiz->bufLen;
    }
}

针对你遇到的「QuickWatch显示条件表达式为TRUE，但分支内代码从未执行」的问题，可按以下方向排查：

• 编译器优化的影响：如果编译器分析后认为这段分支代码对程序最终结果无影响（比如后续未使用修改后的pPL/pPR），会直接把分支代码优化掉。可以尝试关闭编译优化（比如VS中设置/O0），重新编译后再调试验证。
• 指针运算的未定义行为：pPL和thiz->oBufL如果不是指向同一数组的元素，它们的差值运算属于C标准中的未定义行为。调试器QuickWatch显示的TRUE可能只是内存地址差值的错误解读，实际运行时的逻辑和调试器展示的不一致。必须确保oBufL是pPL所指向数组的起始地址，保证指针运算的合法性。
• 编译产物与源码不匹配：即便确认编译成功，也可能存在「编译的不是最新修改的源码文件」的情况。建议清理项目的编译输出目录（删除旧的.obj、.exe等文件），然后执行全量重新编译。
• 调试器显示的数值并非实时值：调试器的QuickWatch可能读取的是某一时刻的内存快照，而非代码执行到if判断瞬间的实时数值。可以在if判断前添加日志输出，打印pPL - thiz->oBufL和thiz->bufLen -1的具体数值，对比调试器显示和实际运行时的结果是否一致。

内容的提问来源于stack exchange，提问作者user25849