xref: /linux/tools/testing/selftests/bpf/verifier/basic.c (revision a1c3be890440a1769ed6f822376a3e3ab0d42994) 
1 {
2 	"empty prog",
3 	.insns = {
4 	},
5 	.errstr = "last insn is not an exit or jmp",
6 	.result = REJECT,
7 },
8 {
9 	"only exit insn",
10 	.insns = {
11 	BPF_EXIT_INSN(),
12 	},
13 	.errstr = "R0 !read_ok",
14 	.result = REJECT,
15 },
16 {
17 	"no bpf_exit",
18 	.insns = {
19 	BPF_ALU64_REG(BPF_MOV, BPF_REG_0, BPF_REG_2),
20 	},
21 	.errstr = "not an exit",
22 	.result = REJECT,
23 },
24