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

From: Eduard Zingerman
Date: Fri Dec 13 2024 - 18:19:25 EST


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.