- 798 名前：デフォルトの名無しさん mailto:sage [2017/11/19(日) 00:41:57.82 ID:p3uF8GIb0.net]
- まあ未定義な動作がどこまで行っても未定義な動作であって（教条主義的には）悪なのは確かだが
>>784のリンク先のを読むと
>ストアによってPの値が変わる可能性を考慮しなくてはいけないからだ。
という理由で最適化できないケースがあるから考慮する代りに未定義動作ということにしますた！
というだけで、ストアによってPの値が変わらないなら特に問題を生じないように思える…
で、ストアによってPの値が変わるケースというのは
int main() {
P = (float*)&P; // このキャストによって zero_array の中で TBAA 違反となる
zero_array();
}
みたいな変態的なケースしかなさげ；
