Reports conditions that are always true or false and expressions whose value is statically proven to be constant.

Example:


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

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