修改嵌套循环初值后微控制器程序异常：LED状态不符合预期的原因排查

我一眼就揪出问题所在了——这是无符号整数的溢出回绕特性导致的，属于C语言的基础规则，和你用的编译器、微控制器硬件也有间接关联，但核心是你对无符号变量的循环逻辑理解出了偏差。

咱们一步步拆解代码执行的过程：

当你把i的初始值从1改成2后，程序的执行流程变成了这样：

1. 第一次进入外层while(i--)：i从2减到1，进入内层循环。内层的j从1000000开始递减，直到变成0，内层循环结束。
2. 第二次进入外层while(i--)：i从1减到0，这时候再执行内层的while(j--)——重点来了，此时j已经是0了！

这里的关键坑在于：j是uint32_t类型，也就是无符号32位整数。无符号整数的减法不会产生负数，当0减1的时候，会触发溢出回绕，结果直接变成uint32_t能表示的最大值：4294967295。

所以第二次外层循环里的内层while(j--)，实际变成了一个从4294967295开始的无限递减循环——这个循环要跑几十亿次，对你来说相当于永远不会结束！程序直接卡在这里了，自然不会执行后面的GREEN_LED_OFF()、启动WDT和点亮红灯的代码，所以你会看到绿色LED一直亮着，红色LED毫无反应。

那为什么之前i=1的时候没问题？因为外层循环只执行1次，内层循环跑完j变0后，外层循环直接结束，根本不会触发第二次内层循环的溢出问题。

给你两个简单的修复方案：

• 每次进入外层循环时，重新初始化j的值，把j=1000000移到外层循环内部：

  while(i--)
  {
      volatile uint32_t j=1000000;
      while(j--)
      {
  
      }
  }
  

• 或者改用有符号整数类型（比如int32_t），不过要注意有符号整数溢出属于C语言的未定义行为，不如第一种方案稳妥可靠。

另外提一句：你给变量加volatile修饰是非常正确的，防止编译器把空循环直接优化掉，但这和当前的问题无关——核心还是无符号整数的溢出特性导致的无限循环。

备注：内容来源于stack exchange，提问作者RUMBUFDSI