tools/testing/selftests/bpf/verifier/atomic_invalid.c

   1 #define __INVALID_ATOMIC_ACCESS_TEST(op)                                \
   2         {                                                               \
   3                 "atomic " #op " access through non-pointer ",           \
   4                 .insns = {                                              \
   5                         BPF_MOV64_IMM(BPF_REG_0, 1),                    \
   6                         BPF_MOV64_IMM(BPF_REG_1, 0),                    \
   7                         BPF_ATOMIC_OP(BPF_DW, op, BPF_REG_1, BPF_REG_0, -8), \
   8                         BPF_MOV64_IMM(BPF_REG_0, 0),                    \
   9                         BPF_EXIT_INSN(),                                \
  10                 },                                                      \
  11                 .result = REJECT,                                       \
  12                 .errstr = "R1 invalid mem access 'scalar'"              \
  13         }
  14 __INVALID_ATOMIC_ACCESS_TEST(BPF_ADD),
  15 __INVALID_ATOMIC_ACCESS_TEST(BPF_ADD | BPF_FETCH),
  16 __INVALID_ATOMIC_ACCESS_TEST(BPF_ADD),
  17 __INVALID_ATOMIC_ACCESS_TEST(BPF_ADD | BPF_FETCH),
  18 __INVALID_ATOMIC_ACCESS_TEST(BPF_AND),
  19 __INVALID_ATOMIC_ACCESS_TEST(BPF_AND | BPF_FETCH),
  20 __INVALID_ATOMIC_ACCESS_TEST(BPF_OR),
  21 __INVALID_ATOMIC_ACCESS_TEST(BPF_OR | BPF_FETCH),
  22 __INVALID_ATOMIC_ACCESS_TEST(BPF_XOR),
  23 __INVALID_ATOMIC_ACCESS_TEST(BPF_XOR | BPF_FETCH),
  24 __INVALID_ATOMIC_ACCESS_TEST(BPF_XCHG),
  25 __INVALID_ATOMIC_ACCESS_TEST(BPF_CMPXCHG),