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

SERVER-123143: Tell Coverity that [umf]assert calls can have side effects (#50896)

Browse Source 
Co-authored-by: Billy Donahue <BillyDonahue@users.noreply.github.com>
GitOrigin-RevId: 0bd0fba3838d0438c1deed6a799a7f9cd9352283
This commit is contained in:
Thomas Goyne 2026-03-31 13:58:54 -07:00 committed by MongoDB Bot
parent 8c7a3f282a
commit 561445aff0
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
etc/coverity.yml
View File

@ -27,6 +27,9 @@ analyze:
REVERSE_OVERRUN:
enabled: true
# Checkers with customized options
ASSERT_SIDE_EFFECT:
enabled: true
macro_name_lacks: ^[fimtu]assert
CHECKED_RETURN:
enabled: true
options: