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]

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 net-next v4 07/11] net-timestamp: support hwtstamp print for bpf extension
Next by Date: Re: [PATCH v2 01/16] perf tools: Create generic syscall table support
Previous by thread: Re: [PATCH bpf-next v5 4/5] bpf: verifier: Support eliding map lookup nullness
Next by thread: [PATCH bpf-next v5 2/5] bpf: tcp: Mark bpf_load_hdr_opt() arg2 as read-write
Index(es):
- Date
- Thread

[Index of Archives] [Linux Samsung SoC] [Linux Rockchip SoC] [Linux Actions SoC] [Linux for Synopsys ARC Processors] [Linux NFS] [Linux NILFS] [Linux USB Devel] [Video for Linux] [Linux Audio Users] [Yosemite News] [Linux Kernel] [Linux SCSI]