Unsigned integers are still specified to wrap.

The compiler can make that simplification, but there's no guarantee that every compiler does, so you cannot assume that it will do so; it will sometimes happen to be true in a specific compiler, but it is never true in the standardized language model (which is what programs are written against).

Which would then have the same effect as the title's article, a bug with -O0 but working with -O3