On Thu, Jul 03, 2025 at 02:55:01PM -0700, Eduard Zingerman wrote: > On Thu, 2025-07-03 at 23:36 +0200, Paul Chaignon wrote: > > This patch adds a negative test case for the following verifier error. > > > > expected prog array map for tail call > > > > Signed-off-by: Paul Chaignon <paul.chaignon@xxxxxxxxx> > > --- > > Nit: selftests/bpf/verifier binary is considered obsolete, I didn't know that. Too bad, those verifier/ tests were easy to extract and reuse as syzkaller seeds :) I've sent a v2 with the new test format. Thanks for the review! > new tests are mostly added as a part test_progs binary. > E.g. you can add a file progs/verifier_tailcalls.c, > register it in test_progs/verifier.c and define > tests using test_loader framework, e.g. see > progs/verifier_and.c. > > [...]
