指针的复杂性：LLVM 优化器中的细微错误

本文探讨了编译器中间表示 (IR) 的精确语义的重要性，特别是对于像 C、C++ 和 Rust 这样的允许不安全指针操作的语言。作者通过三个看似合理的 LLVM 编译器优化步骤，展示了如何导致最终程序行为与初始程序行为不一致的错误。问题的根源在于指针的“出处”（provenance），即指针不仅仅是内存地址，还包含其计算方式的信息。这需要更精确的 LLVM IR 规范，包括未定义行为 (UB) 的精确定义。作者认为，将编译器 IR 视为独立的编程语言，并对其进行严格规范，是解决此类问题的关键。