[compiler-guy]

The trick here is that the original expression contains undefined behavior. Your example does not.