报告始终为 truefalse 的条件以及值被静态证明为常量的表达式。

示例:


  void process(State current) {
    current = State::Started;

    if (current == State::Stopped) {
        //代码
    }
    //代码
  }