Coverity Quality Issue 184969: Division or modulo by zero

XMLWordPrintableJSON

    • Query Execution
    • ALL
    • QE 2026-01-19
    • None
    • None
    • None
    • None
    • None
    • None
    • None

      Coverity found a Quality issue: Division or modulo by zero

      Details:

      Coverity Issue ID: 184969
      Issue Description: Division or modulo by zero results in undefined behavior.
      Potential Impact: The program will have undefined behavior, likely a crash.
      Coverity checker: DIVIDE_BY_ZERO
      Branch: master
      File path: /src/mongo/db/change_stream_pre_images_truncate_markers_per_nsUUID.cpp
      Line number: Unknown

      What Coverity Detected (Main Finding)

      In expression "estimatedRecordsPerMarker / static_cast<int64_t>(randomSamplesPerMarker)", division by expression "randomSamplesPerMarker" which may be zero has undefined behavior.

      The issue can be viewed in Coverity here.

      How do I fix this?

      Refer to https://wiki.corp.mongodb.com/spaces/HGTC/pages/385852267/Guidance+on+fixing+Coverity+issues for guidance on fixing Coverity issues.

            Assignee:
            Jan Steemann
            Reporter:
            kondukto-svc@mongodb.com
            Votes:
            0 Vote for this issue
            Watchers:
            2 Start watching this issue

              Created:
              Updated:
              Resolved: