From 1934c65108505d0cd1888a889494467660a330c6 Mon Sep 17 00:00:00 2001
From: Luca Boccassi <luca.boccassi@gmail.com>
Date: Tue, 7 Apr 2026 23:45:30 +0100
Subject: [PATCH] uid-range: add assert to silence coverity

Coverity flags range->n_entries - j - 1 and j-- as potential
underflows. Add an assert that j > 0 before decrementing, since
j starts at i + 1 >= 1 and is never decremented below its
initial value.

CID#1548015

Follow-up for 8dcc66cefc8ab489568c737adcba960756d76a3c
---
 src/basic/uid-range.c | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/basic/uid-range.c b/src/basic/uid-range.c
index 628710a8709..3d8f8445c45 100644
--- a/src/basic/uid-range.c
+++ b/src/basic/uid-range.c
@@ -76,6 +76,9 @@ static void uid_range_coalesce(UIDRange *range) {
                                 memmove(y, y + 1, sizeof(UIDRangeEntry) * (range->n_entries - j - 1));
 
                         range->n_entries--;
+
+                        /* Silence static analyzers, j cannot be 0 here since it starts at i + 1, i.e. >= 1 */
+                        assert(j > 0);
                         j--;
                 }
         }