一、问题现象

最近将长期运行的 Keil ARMCC5 (AC5) 裸机工程迁移到 GNU ARM GCC 编译环境，遇到一个极度隐蔽、毫无报错、只在运行时逻辑异常的致命问题：

同样的代码：GCC -Os /-O2 优化后，NULL 判断分支直接被编译器删除，永远不执行。

现象特征：

1. Keil AC5 所有优化等级下 完全正常
2. GCC -O0 正常
3. GCC -O1/-Os/-O2 NULL 分支直接消失、逻辑丢失
4. 无编译报错、无警告、无任何异常提示，属于静默逻辑篡改

示例原代码（典型坑代码）：

// 坑代码：先调用库函数，后判 NULL
if (strcmp(p, "something") == 0)
{
    return value;
}

if (p == NULL)
{
    // GCC 优化后：整块代码直接消失，永远不执行
}

二、根本原因（全网最清晰解释）

1. C 标准规定（关键点）

将 NULL 指针传入标准库函数（strcmp/strlen/memcpy 等）属于未定义行为（UB）。

只要代码写了：

strcmp(p, xxx);

编译器的推导逻辑是：

标准 C：dat 如果是 NULL → 程序已经 UB 非法。

所以：合法程序运行前提下，dat 一定不可能为 NULL。

所以：后面 if (p==NULL) 永远不可能成立 → 直接删除整块分支。

2. 为什么 Keil AC5 不会删？

• ARMCC5 对未定义行为极度宽容
• AC5 不会基于 UB 做静态逻辑推导、不会主动删除死分支
• 很多非法、不标准的代码在 Keil 下都能 “侥幸正常跑”

3. 为什么 GCC 会删？

GCC 严格遵循 C 标准优化： 只要代码存在 UB 场景，编译器默认认为这种路径不可能执行，直接消除无效分支。

这就是典型： 代码不报错、编译正常、运行逻辑偷偷改变 属于嵌入式迁移最恐怖的隐性 BUG。

想要和keil保持一致的行为不被优化掉也可以添加编译选项-fno-delete-null-pointer-checks: 保留空指针检查，但是本质上这种代码是不健壮的，不符合C规范的，有风险的。