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