tools: imagetool: Remove unnecessary check from toc0_verify_cert_item()
authorSeung-Woo Kim <sw0312.kim@samsung.com>
Thu, 1 Aug 2024 01:01:00 +0000 (10:01 +0900)
committerAndre Przywara <andre.przywara@arm.com>
Mon, 5 Aug 2024 23:19:57 +0000 (00:19 +0100)
C99 introduced the possibility to mark function parameters declared as
arrays with an extra keyword "static":
void foo(uint8_t digest[static SHA256_DIGEST_LENGTH]);
This requires the respective function argument to be at least as large
as specified. Passing in random pointers (like NULL) then becomes
undefined behaviour, and compilers warn about this.
Newer GCC compilers (starting with GCC 14) will also automatically mark
those parameters as "nonnull", and thus warn if a (redundant) NULL check
is done inside the function:
tools/sunxi_toc0.o tools/sunxi_toc0.c
tools/sunxi_toc0.c: In function 'toc0_verify_cert_item':
tools/sunxi_toc0.c:447:12: warning: 'nonnull' argument 'digest' compared to NULL [-Wnonnull-compare]
  447 |         if (digest && memcmp(&extension->digest, digest, SHA256_DIGEST_LENGTH)) {
      |            ^

Remove the unnecessary NULL check from toc0_verify_cert_item(), to avoid
the warning.

Signed-off-by: Seung-Woo Kim <sw0312.kim@samsung.com>
Reviewed-by: Andre Przywara <andre.przywara@arm.com>
[Andre: extend commit message]
Signed-off-by: Andre Przywara <andre.przywara@arm.com>
tools/sunxi_toc0.c

index 292649f..7669364 100644 (file)
@@ -444,7 +444,7 @@ static int toc0_verify_cert_item(const uint8_t *buf, uint32_t len, RSA *fw_key,
 
        /* If a digest was provided, compare it to the embedded digest. */
        extension = &totalSequence->mainSequence.explicit3.extension;
-       if (digest && memcmp(&extension->digest, digest, SHA256_DIGEST_LENGTH)) {
+       if (memcmp(&extension->digest, digest, SHA256_DIGEST_LENGTH)) {
                pr_err("Wrong firmware digest in certificate\n");
                goto err;
        }