cov: annotate known case

diff --git a/lib/device/dev-md.c b/lib/device/dev-md.c
index 05ef0e255829072d1cdfd92157eeff35d8d5e391..f2424c2b8cd1c2a18361d4fc3463e55ec281f4f3 100644 (file)
--- 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;