diff options
| author | Mark Brown <broonie@kernel.org> | 2014-11-03 10:13:33 -0500 |
|---|---|---|
| committer | Mark Brown <broonie@kernel.org> | 2014-11-03 10:13:33 -0500 |
| commit | ebc01f593b58e1896150fc2e3cbdd0116323c52c (patch) | |
| tree | 23e905a3fdbee3fc8a66ef760b9ed5ef5455e9dd /samples/bpf/test_verifier.c | |
| parent | 3f7256fe5fc64132a2dd19695255c990aa2188cf (diff) | |
| parent | 0df1f2487d2f0d04703f142813d53615d62a1da4 (diff) | |
Merge tag 'v3.18-rc3' into asoc-sgtl5000
Linux 3.18-rc3
Diffstat (limited to 'samples/bpf/test_verifier.c')
| -rw-r--r-- | samples/bpf/test_verifier.c | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/samples/bpf/test_verifier.c b/samples/bpf/test_verifier.c index f44ef11f65a7..eb4bec0ad8af 100644 --- a/samples/bpf/test_verifier.c +++ b/samples/bpf/test_verifier.c | |||
| @@ -209,6 +209,17 @@ static struct bpf_test tests[] = { | |||
| 209 | .result = REJECT, | 209 | .result = REJECT, |
| 210 | }, | 210 | }, |
| 211 | { | 211 | { |
| 212 | "program doesn't init R0 before exit in all branches", | ||
| 213 | .insns = { | ||
| 214 | BPF_JMP_IMM(BPF_JGE, BPF_REG_1, 0, 2), | ||
| 215 | BPF_MOV64_IMM(BPF_REG_0, 1), | ||
| 216 | BPF_ALU64_IMM(BPF_ADD, BPF_REG_0, 2), | ||
| 217 | BPF_EXIT_INSN(), | ||
| 218 | }, | ||
| 219 | .errstr = "R0 !read_ok", | ||
| 220 | .result = REJECT, | ||
| 221 | }, | ||
| 222 | { | ||
| 212 | "stack out of bounds", | 223 | "stack out of bounds", |
| 213 | .insns = { | 224 | .insns = { |
| 214 | BPF_ST_MEM(BPF_DW, BPF_REG_10, 8, 0), | 225 | BPF_ST_MEM(BPF_DW, BPF_REG_10, 8, 0), |