[BoingBoomTschak]

Yep, it's what caused the bug to manifest, but who knows if that UB would have caused -O2 optimizations to mangle the result as well.

EDIT: first one is -funswitch-loops, though

[kllrnohj]

Probably would have. There's no shortage of UB bugs revealed by O2 after all, including major security issues.