ポインタはただの整数ではない — Rustのprovenanceがコンパイラの最適化を左右する

Pointer Provenance in Rust vs. C++: Pointers Are Not Just Glorified Ints

ポインタの出自（provenance）とは何かを、LLVM IRを覗きながらC++とRustで比較した記事。C++でアドレスをuintptr_tにキャストするとprovenanceが露出し、コンパイラは最適化を諦める。Rustのaddr()やwith_addr()、without_provenance()を使えば意図を明示でき、Miriが不正な使い方を検出してくれる。ただし現状の最適化結果は両者とも同じだったという。