そもそも

8:35 AM

クラッシュするかもしれないし

8:35 AM

aが空ストレージになるかもしれないし

8:35 AM

aのストレージすら消えて一個下のスタックフレームの上部を見るかもしれないし

8:35 AM

もっとアグレッシブに、その先のprint自体削除するかもしれないし

8:35 AM

未定義動作っていうのは何をやってもいいって意味でもあるから。

8:36 AM

その仮定をおけるからこそ、前提条件が常に正しいことを前提に最適化がいろいろ工夫できるのだし。