从阵列转换导致某些 MCU 崩溃，但不会导致其他 MCU 崩溃

Question

我有一段代码看起来像这样:

void update_clock(uint8_t *time_array)
{
    time_t time = *((time_t *) &time_array[0]); // <-- hangs
    /* ... more code ... */
}

其中 time_array 是一个 4 字节的数组(即 uint8_t time_array[4])。

我正在使用 arm-none-eabi-gcc 为 STM32L4 处理器编译它。

几个月前编译时，我没有遇到任何错误，代码在我所有的测试 MCU 上运行得非常好。回到这个项目时，我对我的环境 (OpenSTM32) 进行了一些更新，现在这段代码在某些 MCU 上崩溃，而在其他 MCU 上运行良好。

我仍然保留着几个月前的二进制文件，并确认此代码路径在我的所有 MCU 上都能正常工作(我有大约 5 个要测试)，但现在它在其中两个上工作但导致崩溃在其中三个上。

我已经通过像这样重写代码来缓解这个问题:

time_t time = (
        ((uint32_t) time_array[0]) << 0 |
        ((uint32_t) time_array[1]) << 8 |
        ((uint32_t) time_array[2]) << 16 |
        ((uint32_t) time_array[3]) << 24
);

虽然这目前有效，但我认为旧代码看起来更清晰，而且我也担心如果此代码路径挂起，我可能会在其他地方出现类似的错误。

有人知道是什么原因造成的吗？我可以更改我的设置中的任何内容以使编译器再次以旧方式工作吗？

Answer 1

从版本 7-2017-q4-major 开始，arm gcc 附带了用 time_t 定义为 64 位(long long)整数编译的 newlib，导致各种问题使用假定它是 32 位的代码。您的代码正在读取源数组的末尾，将存储在那里的任何内容作为时间值的高阶位，可能导致大爆炸之前或热寂之后的日期宇宙，这可能不是您的代码所期望的。

如果已知源数组包含32位数据，先将其复制到一个32位的int32_t变量，然后可以将其赋值给一个time_t，这样无论 time_t 的大小如何，它都会被正确转换。