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),