什么情况下不开 O2 是对的，开了 O2 后就 RE？

例如：数组越界。

求补充！