-
Type:
Bug
-
Resolution: Works as Designed
-
Priority:
Major - P3
-
None
-
Affects Version/s: None
-
Component/s: Change streams
-
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.