From 561445aff0a764c8389503a23aa29e700e17d333 Mon Sep 17 00:00:00 2001
From: Thomas Goyne <thomas.goyne@mongodb.com>
Date: Tue, 31 Mar 2026 13:58:54 -0700
Subject: [PATCH] SERVER-123143: Tell Coverity that [umf]assert calls can have
 side effects (#50896)

Co-authored-by: Billy Donahue <BillyDonahue@users.noreply.github.com>
GitOrigin-RevId: 0bd0fba3838d0438c1deed6a799a7f9cd9352283
---
 etc/coverity.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/etc/coverity.yml b/etc/coverity.yml
index 5c7f61e7f49..6d922298311 100644
--- a/etc/coverity.yml
+++ b/etc/coverity.yml
@@ -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: