程序无法通过编译

程序的行为是良定义的

当 condition 为 true 时程序具有未定义行为

无论 condition 的值如何，程序总具有未定义行为