使用-O2时ARM GCC硬错误

问题描述 投票:0回答:1

当使用具有优化级别-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]
gcc optimization arm
1个回答
1
投票

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

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

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

© www.soinside.com 2019 - 2024. All rights reserved.