From 7ff1bfdb68ada2c07eafb3683c88810bd86de47e Mon Sep 17 00:00:00 2001 From: Luca Boccassi Date: Sat, 28 Mar 2026 15:37:53 +0000 Subject: [PATCH] dissect: add asserts to appease coverity CID#1645844 CID#1645845 Follow-up for 91578e529395a0299a1e5eaa6da08e73db6eeacd --- src/shared/dissect-image.c | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/shared/dissect-image.c b/src/shared/dissect-image.c index d68ea0bc97..4a8d4a5c0e 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),