编译器优化 1篇

[Android稳定性] 第042篇 [问题篇] 数组越界导致的Unexpected kernel BRK exception at EL1

在reboot压力测试中，一台设备出现死机，死机类型为Unexpected kernel BRK exception at EL1，发生在CPU7上的fg_mac_read_block函数。通过分析内核调用跟踪和源码，发现死机是由于fg_checksum函数中的数组越界引起的。具体来说，t_len没有做范围限制，导致在t_buf[35]大于42时，访问t_buf数组越界。解决方案是在t_len大于42时将其限制为42。此外，分析还发现不能完全相信trace32解析处的变量结果，某些情况下需要根据寄存器值来推导实际值。此外，编译器优化也对代码执行产生了影响，例如在某些情况下直接将结果赋值给寄存器，不再运行时计算。