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

示例:


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

    if (current == State::Stopped) {
        //code
    }
    //code
  }