Re: [PATCH bpf-next v5 4/5] bpf: verifier: Support eliding map lookup nullness

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

To: Kumar Kartikeya Dwivedi <memxor@xxxxxxxxx>, Daniel Xu <dxu@xxxxxxxxx>
Subject: Re: [PATCH bpf-next v5 4/5] bpf: verifier: Support eliding map lookup nullness
From: Eduard Zingerman <eddyz87@xxxxxxxxx>
Date: Fri, 13 Dec 2024 15:18:59 -0800
Cc: andrii@xxxxxxxxxx, ast@xxxxxxxxxx, shuah@xxxxxxxxxx, daniel@xxxxxxxxxxxxx, john.fastabend@xxxxxxxxx, martin.lau@xxxxxxxxx, song@xxxxxxxxxx, yonghong.song@xxxxxxxxx, kpsingh@xxxxxxxxxx, sdf@xxxxxxxxxxx, haoluo@xxxxxxxxxx, jolsa@xxxxxxxxxx, mykolal@xxxxxx, bpf@xxxxxxxxxxxxxxx, linux-kernel@xxxxxxxxxxxxxxx, linux-kselftest@xxxxxxxxxxxxxxx, netdev@xxxxxxxxxxxxxxx
In-reply-to: <f99a31f62c19262fcad7debf10ede0bb0b970af4.camel@gmail.com>
User-agent: Evolution 3.54.1 (3.54.1-1.fc41)

On Fri, 2024-12-13 at 15:14 -0800, Eduard Zingerman wrote:

[...]

> Great point, I'm sure this does not happen.

I mean, mark_chain_precision() does not happen at the moment.

References:
- [PATCH bpf-next v5 0/5] Support eliding map lookup nullness
  - From: Daniel Xu
- [PATCH bpf-next v5 4/5] bpf: verifier: Support eliding map lookup nullness
  - From: Daniel Xu
- Re: [PATCH bpf-next v5 4/5] bpf: verifier: Support eliding map lookup nullness
  - From: Kumar Kartikeya Dwivedi
- Re: [PATCH bpf-next v5 4/5] bpf: verifier: Support eliding map lookup nullness
  - From: Eduard Zingerman

Prev by Date: Re: [PATCH bpf-next v5 4/5] bpf: verifier: Support eliding map lookup nullness
Next by Date: Re: [PATCH bpf-next v5 4/5] bpf: verifier: Support eliding map lookup nullness
Previous by thread: Re: [PATCH bpf-next v5 4/5] bpf: verifier: Support eliding map lookup nullness
Next by thread: [PATCH bpf-next v5 5/5] bpf: selftests: verifier: Add nullness elision tests
Index(es):
- Date
- Thread

[Index of Archives] [Linux Wireless] [Linux Kernel] [ATH6KL] [Linux Bluetooth] [Linux Netdev] [Kernel Newbies] [Share Photos] [IDE] [Security] [Git] [Netfilter] [Bugtraq] [Yosemite News] [MIPS Linux] [ARM Linux] [Linux Security] [Linux RAID] [Linux ATA RAID] [Samba] [Device Mapper]