Cのポインタ起源メモリモデル

ポインタがバイト表現や整数変換によって『露出（exposed）』すると最適化解析が制限され、『合成（synthesized）』されたポインタは起源再構築のルールが定義される。

隣接するストレージインスタンス間で同一アドレスを指す場合は、ポインタの使用文脈に応じて起源を決定する方式であいまい性を解消する。

通常のCコードではポインタ露出（registerの活用、キャストやバイトアクセス回避、restrictの活用など）を避けることで安全かつ効率的な最適化が得られる。