『[入門] C/C++ 知っておくべきポインタの由来 ISO標準のメモリモデル徹底解説』
＞なぜprovenanceが必要なのか？
＞コンパイラは、異なる由来を持つポインタはエイリアスしないと仮定して最適化を行います。これにより、より効率的なコードを生成できます。

の説明の直後にstrict aliasing rulesに該当しない、エリアスする可能性が普通にあり最適化を行えないコードが掲載されてるのマジ意味わからん。