[<prev] [next>] [<thread-prev] [day] [month] [year] [list]
Message-Id:
<174130444049.1819102.9589894161599106166.git-patchwork-notify@kernel.org>
Date: Thu, 06 Mar 2025 23:40:40 +0000
From: patchwork-bot+netdevbpf@...nel.org
To: Ivan Abramov <i.abramov@...integration.ru>
Cc: richardcochran@...il.com, jonathan.lemon@...il.com,
vadim.fedorenko@...ux.dev, andrew+netdev@...n.ch, davem@...emloft.net,
edumazet@...gle.com, kuba@...nel.org, pabeni@...hat.com,
netdev@...r.kernel.org, linux-kernel@...r.kernel.org,
lvc-project@...uxtesting.org
Subject: Re: [PATCH] ptp: ocp: Remove redundant check in _signal_summary_show
Hello:
This patch was applied to netdev/net-next.git (main)
by Jakub Kicinski <kuba@...nel.org>:
On Wed, 5 Mar 2025 12:25:20 +0300 you wrote:
> In the function _signal_summary_show(), there is a NULL-check for
> &bp->signal[nr], which cannot actually be NULL.
>
> Therefore, this redundant check can be removed.
>
> Found by Linux Verification Center (linuxtesting.org) with SVACE.
>
> [...]
Here is the summary with links:
- ptp: ocp: Remove redundant check in _signal_summary_show
https://git.kernel.org/netdev/net-next/c/cd02ab73664d
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