From: Dmitriy Denisov <other_ddn@mail.ru>
Date: Tue, 13 May 2025 08:56:33 +0000 (+0300)
Subject: The condition that is never checked has been removed.
X-Git-Tag: openssl-3.5.1~95
X-Git-Url: http://git.ipfire.org/gitweb/gitweb.cgi?a=commitdiff_plain;h=31fe5dfc3cc3bf064866ff9c7e7d27c9d722031b;p=thirdparty%2Fopenssl.git

The condition that is never checked has been removed.

If criterion == OSSL_STORE_SEARCH_BY_KEY_FINGERPRINT, the criterion !=0 condition will be triggered.

Found by Linux Verification Center (linuxtesting.org) with SVACE.

Reviewed-by: Tom Cosgrove <tom.cosgrove@arm.com>
Reviewed-by: Richard Levitte <levitte@openssl.org>
Reviewed-by: Tomas Mraz <tomas@openssl.org>
(Merged from https://github.com/openssl/openssl/pull/27607)

(cherry picked from commit 00480f1def86aab882f2bd4d15d2d03862009718)
---

diff --git a/apps/storeutl.c b/apps/storeutl.c
index b131278a859..0f6d91241a7 100644
--- a/apps/storeutl.c
+++ b/apps/storeutl.c
@@ -201,9 +201,7 @@ int storeutl_main(int argc, char *argv[])
             }
             break;
         case OPT_CRITERION_FINGERPRINT:
-            if (criterion != 0
-                || (criterion == OSSL_STORE_SEARCH_BY_KEY_FINGERPRINT
-                    && fingerprint != NULL)) {
+            if (criterion != 0) {
                 BIO_printf(bio_err, "%s: criterion already given.\n",
                            prog);
                 goto end;