Funny enough, this is exactly the kind of situation where other people cry "why did the compiler not warn me about basing optimizations on UB".