From aa75e1f0bfa7dd42c2dcafb2f1f91b92217e260e Mon Sep 17 00:00:00 2001 From: Zdenek Kabelac Date: Mon, 29 Jul 2024 17:29:08 +0200 Subject: [PATCH] cov: annotate known case --- lib/device/dev-md.c | 1 + 1 file changed, 1 insertion(+) diff --git a/lib/device/dev-md.c b/lib/device/dev-md.c index 05ef0e255..f2424c2b8 100644 --- a/lib/device/dev-md.c +++ b/lib/device/dev-md.c @@ -44,6 +44,7 @@ static int _dev_has_md_magic(struct device *dev, uint64_t sb_offset) return_0; if ((md_magic == MD_SB_MAGIC) || + /* coverity[result_independent_of_operands] */ ((MD_SB_MAGIC != xlate32(MD_SB_MAGIC)) && (md_magic == xlate32(MD_SB_MAGIC)))) return 1;