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

[Eduard Zingerman]

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.