diff options
| author | Brendan Jackman <[email protected]> | 2021-01-12 12:39:13 +0000 |
|---|---|---|
| committer | Daniel Borkmann <[email protected]> | 2021-01-12 21:41:17 +0100 |
| commit | 28a8add64181059034b7f281491132112cd95bb4 (patch) | |
| tree | 60a8e98dbe84aa1cf8df5dd9123bd725b605ad1f | |
| parent | c6458e72f6fd6ac7e390da0d9abe8446084886e5 (diff) | |
bpf: Fix a verifier message for alloc size helper arg
The error message here is misleading, the argument will be rejected unless
it is a known constant.
Signed-off-by: Brendan Jackman <[email protected]>
Signed-off-by: Daniel Borkmann <[email protected]>
Acked-by: Yonghong Song <[email protected]>
Acked-by: Andrii Nakryiko <[email protected]>
Link: https://lore.kernel.org/bpf/[email protected]
| -rw-r--r-- | kernel/bpf/verifier.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/bpf/verifier.c b/kernel/bpf/verifier.c index 17270b8404f1..5534e667bdb1 100644 --- a/kernel/bpf/verifier.c +++ b/kernel/bpf/verifier.c @@ -4319,7 +4319,7 @@ skip_type_check: err = mark_chain_precision(env, regno); } else if (arg_type_is_alloc_size(arg_type)) { if (!tnum_is_const(reg->var_off)) { - verbose(env, "R%d unbounded size, use 'var &= const' or 'if (var < const)'\n", + verbose(env, "R%d is not a known constant'\n", regno); return -EACCES; } |