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

Coverity analysis defect 115732: Division or modulo by float zero

    XMLWordPrintableJSON

Details

    • Icon: Bug Bug
    • Resolution: Fixed
    • Icon: Major - P3 Major - P3
    • 4.9.0
    • None
    • Storage
    • Fully Compatible
    • ALL
    • Execution Team 2021-01-25

    Description

      Division or modulo by float zero

      This could cause an immediate crash or incorrect computation. An expression which may be zero is used as a divisor in floating-point arithmetic.
      /src/mongo/db/storage/flow_control.cpp:365: DIVIDE_BY_ZERO 115732 Checking "mongo::<unnamed>::getLagMillis(myLastApplied.wallTime, lastCommitted.wallTime) < thresholdLagMillis" implies that "thresholdLagMillis" may be up to 0 on the false branch.

      Attachments

        Activity

          People

            dan.larkin-york@mongodb.com Dan Larkin-York
            xgen-internal-coverity Coverity Collector User
            Votes:
            0 Vote for this issue
            Watchers:
            1 Start watching this issue

            Dates

              Created:
              Updated:
              Resolved: