Pointers Are Complicated II, or: We need better language specs

The article explores how pointer provenance affects compiler optimizations, demonstrating how three seemingly correct LLVM transformations can lead to incorrect results when combined. The author argues for treating compiler IRs as proper programming languages with precise specifications to prevent optimization conflicts, particularly regarding pointer-integer casts and provenance tracking.