Coverity analysis defect 115732: Division or modulo by float zero

XMLWordPrintableJSON

    • Fully Compatible
    • ALL
    • Execution Team 2021-01-25
    • None
    • None
    • None
    • None
    • None
    • None
    • None

      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.

            Assignee:
            Dan Larkin-York
            Reporter:
            Coverity Collector User
            Votes:
            0 Vote for this issue
            Watchers:
            1 Start watching this issue

              Created:
              Updated:
              Resolved: