From: Luca Boccassi <luca.boccassi@gmail.com>
Date: Sat, 28 Mar 2026 15:37:53 +0000 (+0000)
Subject: dissect: add asserts to appease coverity
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=7ff1bfdb68ada2c07eafb3683c88810bd86de47e;p=thirdparty%2Fsystemd.git

dissect: add asserts to appease coverity

CID#1645844
CID#1645845

Follow-up for 91578e529395a0299a1e5eaa6da08e73db6eeacd
---

diff --git a/src/shared/dissect-image.c b/src/shared/dissect-image.c
index d68ea0bc974..4a8d4a5c0e0 100644
--- a/src/shared/dissect-image.c
+++ b/src/shared/dissect-image.c
@@ -1703,6 +1703,10 @@ static int dissect_image(
                 PartitionDesignator dv = partition_verity_hash_of(*dd);
                 PartitionDesignator ds = partition_verity_sig_of(*dd);
 
+                /* Hint to help static analyzers */
+                assert(dv >= 0);
+                assert(ds >= 0);
+
                 if (!m->partitions[*dd].found && (m->partitions[dv].found || m->partitions[ds].found))
                         return log_debug_errno(
                                         SYNTHETIC_ERRNO(EADDRNOTAVAIL),