使用-O2时ARM GCC硬错误

Posted 2021-04-06

当使用具有优化级别-O2（及以上）的ARM GCC g ++编译器时，此代码：

void foo(void)
{
    DBB("@0x%08X: 0x%08X", 1, *((uint32_t *)1));
    DBB("@0x%08X: 0x%08X", 0, *((uint32_t *)0));
}

编译为：

0800abb0 <_Z3foov>:
 800abb0:   b508        push    {r3, lr}
 800abb2:   2301        movs    r3, #1
 800abb4:   4619        mov r1, r3
 800abb6:   681a        ldr r2, [r3, #0]
 800abb8:   4802        ldr r0, [pc, #8]    ; (800abc4 <_Z3foov+0x14>)
 800abba:   f007 fa83   bl  80120c4 <debug_print_blocking>
 800abbe:   2300        movs    r3, #0
 800abc0:   681b        ldr r3, [r3, #0]
 800abc2:   deff        udf #255    ; 0xff
 800abc4:   08022704    stmdaeq r2, {r2, r8, r9, sl, sp}

这让我在未定义的指令@ 0x0800abc2上遇到了困难。此外，如果之后有更多代码，则不会将其编译为最终二进制文件。

问题是为什么编译器会像那样生成它，为什么未定义的指令呢？

顺便说一句，它适用于这样的东西：

...
uint32_t num = 2;
num -= 2;
DBB("@0x%08X: 0x%08X", 0, *((uint32_t *)num));
...

编译器版本：

arm-none-eabi-g++.exe (GNU Tools for ARM Embedded Processors 6-2017-q2-update) 6.3.1 20170620 (release) [ARM/embedded-6-branch revision 249437]

答案

您可以使用-fno-delete-null-pointer-checks禁用此功能（并验证此答案）

您传递的指针具有与空指针匹配的值，编译器可以从静态分析中看到它，因此它会出错（因为这是定义的行为）。

在第二个示例中，静态分析不识别NULL。