dissect: add asserts to appease coverity

CID#1645844 CID#1645845 Follow-up for 91578e5293
2026-03-28 15:37:58 +00:00
parent 7471dc2994
commit 7ff1bfdb68
1 changed files with 4 additions and 0 deletions
@@ -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),