mongodb/mongo
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

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

Browse Source 
GitOrigin-RevId: a7feae5fdf879bf615c40fd711258fcab86d7fff
This commit is contained in:
Ronald Steinke 2025-10-07 14:21:46 -06:00 committed by MongoDB Bot
parent e70e212e13
commit 138e6a6a1a
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
GLOBAL_INIT_ORDER:
enabled: false
UNCAUGHT_EXCEPT:
enabled: false
# Explicitly enabled checkers
# Add any checker that needs to be explicitly enabled below
REVERSE_OVERRUN: