[<prev] [next>] [<thread-prev] [day] [month] [year] [list]
Message-Id:
<169321502973.13199.8379981419921280271.git-patchwork-notify@kernel.org>
Date: Mon, 28 Aug 2023 09:30:29 +0000
From: patchwork-bot+netdevbpf@...nel.org
To: Mikhail Kobuk <m.kobuk@...ras.ru>
Cc: siva.kallam@...adcom.com, prashant@...adcom.com, mchan@...adcom.com,
davem@...emloft.net, edumazet@...gle.com, kuba@...nel.org, pabeni@...hat.com,
richardcochran@...il.com, jdelvare@...e.com, linux@...ck-us.net,
netdev@...r.kernel.org, linux-kernel@...r.kernel.org,
linux-hwmon@...r.kernel.org, lvc-project@...uxtesting.org,
khoroshilov@...ras.ru
Subject: Re: [PATCH] ethernet: tg3: remove unreachable code
Hello:
This patch was applied to netdev/net.git (main)
by David S. Miller <davem@...emloft.net>:
On Fri, 25 Aug 2023 22:04:41 +0300 you wrote:
> 'tp->irq_max' value is either 1 [L16336] or 5 [L16354], as indicated in
> tg3_get_invariants(). Therefore, 'i' can't exceed 4 in tg3_init_one()
> that makes (i <= 4) always true. Moreover, 'intmbx' value set at the
> last iteration is not used later in it's scope.
>
> Found by Linux Verification Center (linuxtesting.org) with SVACE.
>
> [...]
Here is the summary with links:
- ethernet: tg3: remove unreachable code
https://git.kernel.org/netdev/net/c/ec1b90886f3c
You are awesome, thank you!
--
Deet-doot-dot, I am a bot.
https://korg.docs.kernel.org/patchwork/pwbot.html
Powered by blists - more mailing lists