BPF List
 help / color / mirror / Atom feed
From: patchwork-bot+netdevbpf@kernel.org
To: Anton Protopopov <a.s.protopopov@gmail.com>
Cc: bpf@vger.kernel.org, dan.carpenter@linaro.org
Subject: Re: [PATCH bpf-next] bpf: add a check to make static analysers happy
Date: Sat, 22 Nov 2025 01:10:06 +0000	[thread overview]
Message-ID: <176377380677.2642890.8477166174268108624.git-patchwork-notify@kernel.org> (raw)
In-Reply-To: <20251119112517.1091793-1-a.s.protopopov@gmail.com>

Hello:

This patch was applied to bpf/bpf-next.git (master)
by Alexei Starovoitov <ast@kernel.org>:

On Wed, 19 Nov 2025 11:25:17 +0000 you wrote:
> In [1] Dan Carpenter reported that the following code makes the
> Smatch static analyser unhappy:
> 
>         17904       value = map->ops->map_lookup_elem(map, &i);
>         17905       if (!value)
>         17906               return -EINVAL;
>     --> 17907       items[i - start] = value->xlated_off;
> 
> [...]

Here is the summary with links:
  - [bpf-next] bpf: add a check to make static analysers happy
    https://git.kernel.org/bpf/bpf-next/c/4dd3a48d13a3

You are awesome, thank you!
-- 
Deet-doot-dot, I am a bot.
https://korg.docs.kernel.org/patchwork/pwbot.html



      parent reply	other threads:[~2025-11-22  1:10 UTC|newest]

Thread overview: 3+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2025-11-19 11:25 [PATCH bpf-next] bpf: add a check to make static analysers happy Anton Protopopov
2025-11-19 13:37 ` Dan Carpenter
2025-11-22  1:10 ` patchwork-bot+netdevbpf [this message]

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=176377380677.2642890.8477166174268108624.git-patchwork-notify@kernel.org \
    --to=patchwork-bot+netdevbpf@kernel.org \
    --cc=a.s.protopopov@gmail.com \
    --cc=bpf@vger.kernel.org \
    --cc=dan.carpenter@linaro.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body. 
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox