Messages in this thread | | | Date | Thu, 28 Mar 2024 18:00:58 +0800 | From | Herbert Xu <> | Subject | Re: [PATCH] crypto: algboss: remove NULL check in cryptomgr_schedule_probe() |
| |
On Wed, Mar 06, 2024 at 10:29:08AM +0300, Roman Smirnov wrote: > The variable i will never be zero, so the check can be removed. > > Found by Linux Verification Center (linuxtesting.org) with Svace.
Are you sure about this? It does not seem obvious that i cannot be zero. If the tool is correct you need to provide the reasoning for it.
Cheers, -- Email: Herbert Xu <herbert@gondor.apana.org.au> Home Page: http://gondor.apana.org.au/~herbert/ PGP Key: http://gondor.apana.org.au/~herbert/pubkey.txt
| |