Cortex-R52平台GCC -O3优化下未对齐内存访问异常排查

核心原因：-mno-unaligned-access标志的作用 #

你的问题确实直接源于缺失-mno-unaligned-access编译标志，具体细节如下：

• Cortex-R52架构的非对齐内存访问支持是可配置的，你的硬件环境显然开启了对齐检查，对非对齐访问会触发数据中止异常。
• GCC在-O3优化级别下，当指定-mcpu=cortex-r52时，v10.2这类早期版本默认会假设硬件允许非对齐访问。为提升执行效率，编译器会用2字节存储指令strh替代单字节指令strb来完成*++str = '0';的操作——即使目标类型是1字节的char。
• 添加-mno-unaligned-access后，编译器明确知晓硬件不允许非对齐访问，会生成符合char类型宽度的strb指令，自然解决了对齐错误问题。

关于2字节访问的疑问解答 #

1. 字符常量'0'的类型：C语言规定字符常量的默认类型是int（4字节），但赋值给char*指向的内存时，只会取其最低1字节的值（'0'的ASCII码为0x30），这部分行为符合C标准。
2. 为什么生成strh指令：-O3属于激进优化级别，GCC会尝试用更宽的指令替代窄指令以提升执行效率，哪怕操作的是单字节数据。这种优化的前提是编译器认为内存访问可以是非对齐的，但你的目标地址0x2000_0911是奇数地址，2字节访问必然违反对齐要求，触发DFSR = 0x0000_0A21的对齐错误异常。

额外建议 #

• 若确认硬件未开启非对齐访问支持，建议将-mno-unaligned-access加入默认编译选项，避免不同优化级别下的行为不一致。
• 可通过查看Cortex-R52的硬件配置寄存器，确认非对齐访问的开关状态，确保编译器选项与硬件实际能力匹配。

内容的提问来源于stack exchange，提问作者Daniel