Uploaded image for project: 'Core Server'
  1. Core Server
  2. SERVER-23895

Coverity analysis defect 98855: Logically dead code

    XMLWordPrintableJSON

Details

    • Icon: Bug Bug
    • Resolution: Done
    • Icon: Major - P3 Major - P3
    • 3.3.6
    • None
    • Internal Code
    • Fully Compatible
    • ALL
    • Integrate+Tuning 14 (05/13/16)

    Description

      Code can never be reached because of a logical contradiction

      Defect 98855 (STATIC_C)
      Checker DEADCODE (subcategory none)
      File: /src/mongo/bson/bson_validate.cpp
      Function mongo::<unnamed>::validateBSONIterative(mongo::<unnamed>::Buffer *)
      /src/mongo/bson/bson_validate.cpp, line: 379
      The switch value "state" cannot be "mongo::<unnamed>::ValidationState::Done".

                      case ValidationState::Done:

      /src/mongo/bson/bson_validate.cpp, line: 379
      Execution cannot reach this statement: "case mongo::<unnamed>::Vali...".

                      case ValidationState::Done:

      Attachments

        Activity

          People

            geert.bosch@mongodb.com Geert Bosch
            xgen-internal-coverity Coverity Collector User
            Votes:
            0 Vote for this issue
            Watchers:
            4 Start watching this issue

            Dates

              Created:
              Updated:
              Resolved: