mirror
/
mongo
mirror of https://github.com/mongodb/mongo
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

SERVER-109493 Disable uncaught exception coverity check. (#40270) 

GitOrigin-RevId: 86d5cb6a43581a52d6451f0e98b066f3147cb905
This commit is contained in:
Ronald Steinke 2025-08-19 15:36:07 -06:00 committed by MongoDB Bot
parent 6d907191b0
commit b70411a4d0
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
etc/coverity.yml
View File

@ -20,6 +20,8 @@ analyze:
enabled: false enabled: false
GLOBAL_INIT_ORDER: GLOBAL_INIT_ORDER:
enabled: false enabled: false
UNCAUGHT_EXCEPT:
enabled: false
# Explicitly enabled checkers # Explicitly enabled checkers
# Add any checker that needs to be explicitly enabled below # Add any checker that needs to be explicitly enabled below
REVERSE_OVERRUN: REVERSE_OVERRUN: