使用 -O2 时的 ARM GCC 硬故障

Question

当使用优化级别为-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]

Answer 1

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

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

在第二个示例中，静态分析未标识 NULL。