Re: [PATCH] bpf: Track contents of read-only maps as scalars

On Sat, Aug 21, 2021 at 05:31:08PM -0300, Rafael David Tinoco wrote:

commit a23740ec43ba022dbfd139d0fe3eff193216272b upstream.

Maps that are read-only both from BPF program side and user space side have their contents constant, so verifier can track referenced values precisely and use that knowledge for dead code elimination, branch pruning, etc. This patch teaches BPF verifier how to do this.

[Backport] Already includes further build fix made at commit 2dedd7d21655 ("bpf: Fix cast to pointer from integer of different size warning").

Do not do that, let us queue up the original commits instead please.

thanks,

greg k-h