报告已被早期的条件涵盖因而不起任何作用的条件以及在到达时始终为 true(或始终为 false)的变量。