kernel/tools/testing/selftests/bpf/verifier/atomic_invalid.c, branch linux-6.2.yHosts the 0x221E linux distro kernel.https://universe.0xinfinity.dev/distro/kernel/atom?h=linux-6.2.y2022-03-03T15:54:10Zbpf: Small BPF verifier log improvements2022-03-03T15:54:10ZMykola Lysenkomykolal@fb.com2022-03-01T22:27:45Zurn:sha1:7df5072cc05fd1aab5823bbc465d033cd292fca8
In particular these include:
1) Remove output of inv for scalars in print_verifier_state
2) Replace inv with scalar in verifier error messages
3) Remove _value suffixes for umin/umax/s32_min/etc (except map_value)
4) Remove output of id=0
5) Remove output of ref_obj_id=0
Signed-off-by: Mykola Lysenko <mykolal@fb.com>
Signed-off-by: Daniel Borkmann <daniel@iogearbox.net>
Acked-by: Andrii Nakryiko <andrii@kernel.org>
Link: https://lore.kernel.org/bpf/20220301222745.1667206-1-mykolal@fb.com
selftests/bpf: Some more atomic tests2021-10-21T01:09:08ZBrendan Jackmanjackmanb@google.com2021-10-15T09:33:18Zurn:sha1:7960d02dddccc0676d4a1b58e9964718b47388e1
Some new verifier tests that hit some important gaps in the parameter
space for atomic ops.
There are already exhaustive tests for the JIT part in
lib/test_bpf.c, but these exercise the verifier too.
Signed-off-by: Brendan Jackman <jackmanb@google.com>
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
Link: https://lore.kernel.org/bpf/20211015093318.1273686-1-jackmanb@google.com