On Mon, 2024-06-10 at 13:31 -0700, Alexei Starovoitov wrote: [...] > I missed mark_precise_scalar_ids() that needs to match > what find_equal_scalars() is doing. > > What's broken in there? Sorry, missed this question, here is the link: https://lore.kernel.org/bpf/20240222005005.31784-3-eddyz87@xxxxxxxxx/ TLDR: whole function is wrong (only handles a subset of possible situations).