On Tue, Jul 16, 2019 at 3:12 PM Jakub Kicinski <jakub.kicinski@xxxxxxxxxxxxx> wrote: > > 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! :) Thanks! Indeed.