如何减少 C 语言中的未定义行为

Martin Uecker 在 Kernel Recipes 大会上探讨 C 语言未定义行为的成因、编译器优化争议，以及 C 能否成为内存安全语言。C 标准通过抽象机器语义赋予编译器优化自由，但未定义行为可导致越界优化等问题；C23 已加入“no time travel”限制，制定中的 C2y 草案已移除约 100 项未定义行为中的 45 项。