Fun: With O2, GCC sees the UB in this code and then optimizes it away. With O3 it instead vectorizes it aggressively. https://godbolt.org/z/P6cEjhx4M