On Tue, 16 Jul 2019 09:17:03 -0700, Alexei Starovoitov wrote: > I don't think we have a test for such 'dead prog only due to verifier walk' > situation. I wonder what happens :) FWIW we do have verifier and BTF self tests for dead code removal of entire subprogs! :)