drivers/net/can/usb/etas_es58x/es58x_fd.c

35

typeof(msg) __msg = (msg); \

drivers/net/can/usb/etas_es58x/es58x_fd.c

38

if (__msg.flags & ES58X_FLAG_FD_DATA) \

drivers/net/can/usb/etas_es58x/es58x_fd.c

39

__msg_len = canfd_sanitize_len(__msg.len); \

drivers/net/can/usb/etas_es58x/es58x_fd.c

41

__msg_len = can_cc_dlc2len(__msg.dlc); \

drivers/net/can/usb/etas_es58x/es58x_fd.c

43

offsetof(typeof(__msg), data[__msg_len]); \

drivers/scsi/bfa/bfa_fcpim.h

378

#define bfa_iocfc_map_msg_to_qid(__msg, __qid) \

drivers/scsi/bfa/bfa_fcpim.h

379

*(__qid) = (u8)((__msg) & (BFI_IOC_MAX_CQS - 1));

include/linux/netlink.h

102

do_trace_netlink_extack(__msg); \

include/linux/netlink.h

105

__extack->_msg = __msg; \

include/linux/netlink.h

153

static const char __msg[] = msg; \

include/linux/netlink.h

156

do_trace_netlink_extack(__msg); \

include/linux/netlink.h

159

__extack->_msg = __msg; \

include/linux/netlink.h

99

static const char __msg[] = msg; \

include/linux/socket.h

181

static inline struct cmsghdr * cmsg_nxthdr (struct msghdr *__msg, struct cmsghdr *__cmsg)

include/linux/socket.h

183

return __cmsg_nxthdr(__msg->msg_control, __msg->msg_controllen, __cmsg);

sound/soc/intel/atom/sst/sst.c

118

struct ipc_post *__msg, *msg;

sound/soc/intel/atom/sst/sst.c

127

list_for_each_entry_safe(msg, __msg, &drv->rx_list, node) {

sound/soc/intel/avs/messages.h

263

union avs_reply_msg __msg = AVS_MSG(hdr); \

sound/soc/intel/avs/messages.h

264

__msg.msg_direction == AVS_MSG_REPLY && \

sound/soc/intel/avs/messages.h

265

__msg.global_msg_type != AVS_GLB_NOTIFICATION; \

tools/perf/trace/beauty/include/linux/socket.h

181

static inline struct cmsghdr * cmsg_nxthdr (struct msghdr *__msg, struct cmsghdr *__cmsg)

tools/perf/trace/beauty/include/linux/socket.h

183

return __cmsg_nxthdr(__msg->msg_control, __msg->msg_controllen, __cmsg);

tools/testing/selftests/bpf/progs/async_stack_depth.c

33

__failure __msg("combined stack size of 2 calls is")

tools/testing/selftests/bpf/progs/async_stack_depth.c

48

__failure __msg("combined stack size of 2 calls is")

tools/testing/selftests/bpf/progs/cgroup_read_xattr.c

76

__failure __msg("kernel func bpf_iter_css_new requires RCU critical section protection")

tools/testing/selftests/bpf/progs/cgrp_kfunc_failure.c

109

__failure __msg("Possibly NULL pointer passed to trusted arg0")

tools/testing/selftests/bpf/progs/cgrp_kfunc_failure.c

123

__failure __msg("Unreleased reference")

tools/testing/selftests/bpf/progs/cgrp_kfunc_failure.c

137

__failure __msg("Unreleased reference")

tools/testing/selftests/bpf/progs/cgrp_kfunc_failure.c

157

__failure __msg("must be referenced or trusted")

tools/testing/selftests/bpf/progs/cgrp_kfunc_failure.c

178

__failure __msg("Possibly NULL pointer passed to trusted arg0")

tools/testing/selftests/bpf/progs/cgrp_kfunc_failure.c

194

__failure __msg("arg#0 pointer type STRUCT cgroup must point")

tools/testing/selftests/bpf/progs/cgrp_kfunc_failure.c

206

__failure __msg("Possibly NULL pointer passed to trusted arg0")

tools/testing/selftests/bpf/progs/cgrp_kfunc_failure.c

240

__failure __msg("release kernel function bpf_cgroup_release expects")

tools/testing/selftests/bpf/progs/cgrp_kfunc_failure.c

32

__failure __msg("Possibly NULL pointer passed to trusted arg0")

tools/testing/selftests/bpf/progs/cgrp_kfunc_failure.c

51

__failure __msg("Possibly NULL pointer passed to trusted arg0")

tools/testing/selftests/bpf/progs/cgrp_kfunc_failure.c

67

__failure __msg("arg#0 pointer type STRUCT cgroup must point")

tools/testing/selftests/bpf/progs/cgrp_kfunc_failure.c

81

__failure __msg("calling kernel function bpf_cgroup_acquire is not allowed")

tools/testing/selftests/bpf/progs/cgrp_kfunc_failure.c

95

__failure __msg("cgrp_kfunc_acquire_trusted_walked")

tools/testing/selftests/bpf/progs/compute_live_registers.c

102

__msg("1: ....4..... (07) r4 += -8")

tools/testing/selftests/bpf/progs/compute_live_registers.c

103

__msg("2: ....4..... (79) r5 = *(u64 *)(r4 +0)")

tools/testing/selftests/bpf/progs/compute_live_registers.c

104

__msg("3: ....45.... (07) r4 += -8")

tools/testing/selftests/bpf/progs/compute_live_registers.c

119

__msg("0: .1........ (61) r2 = *(u32 *)(r1 +0)")

tools/testing/selftests/bpf/progs/compute_live_registers.c

120

__msg("1: ..2....... (d4) r2 = le64 r2")

tools/testing/selftests/bpf/progs/compute_live_registers.c

121

__msg("2: ..2....... (bf) r0 = r2")

tools/testing/selftests/bpf/progs/compute_live_registers.c

134

__msg(" 8: 0......... (b7) r1 = 1")

tools/testing/selftests/bpf/progs/compute_live_registers.c

135

__msg(" 9: 01........ (db) r1 = atomic64_fetch_add((u64 *)(r0 +0), r1)")

tools/testing/selftests/bpf/progs/compute_live_registers.c

136

__msg("10: 01........ (c3) lock *(u32 *)(r0 +0) += r1")

tools/testing/selftests/bpf/progs/compute_live_registers.c

137

__msg("11: 01........ (db) r1 = atomic64_xchg((u64 *)(r0 +0), r1)")

tools/testing/selftests/bpf/progs/compute_live_registers.c

138

__msg("12: 01........ (bf) r2 = r0")

tools/testing/selftests/bpf/progs/compute_live_registers.c

139

__msg("13: .12....... (bf) r0 = r1")

tools/testing/selftests/bpf/progs/compute_live_registers.c

140

__msg("14: 012....... (db) r0 = atomic64_cmpxchg((u64 *)(r2 +0), r0, r1)")

tools/testing/selftests/bpf/progs/compute_live_registers.c

170

__msg("2: .12....... (db) store_release((u64 *)(r2 -8), r1)")

tools/testing/selftests/bpf/progs/compute_live_registers.c

171

__msg("3: .......... (bf) r3 = r10")

tools/testing/selftests/bpf/progs/compute_live_registers.c

172

__msg("4: ...3...... (db) r4 = load_acquire((u64 *)(r3 -8))")

tools/testing/selftests/bpf/progs/compute_live_registers.c

195

__msg("4: .12....7.. (85) call bpf_trace_printk#6")

tools/testing/selftests/bpf/progs/compute_live_registers.c

196

__msg("5: 0......7.. (0f) r0 += r7")

tools/testing/selftests/bpf/progs/compute_live_registers.c

214

__msg("2: 012....... (25) if r1 > 0x7 goto pc+1")

tools/testing/selftests/bpf/progs/compute_live_registers.c

215

__msg("3: ..2....... (bf) r0 = r2")

tools/testing/selftests/bpf/progs/compute_live_registers.c

229

__msg("3: 0123...... (2d) if r1 > r3 goto pc+1")

tools/testing/selftests/bpf/progs/compute_live_registers.c

230

__msg("4: ..2....... (bf) r0 = r2")

tools/testing/selftests/bpf/progs/compute_live_registers.c

24

__msg(" 0: .......... (b7) r0 = 42")

tools/testing/selftests/bpf/progs/compute_live_registers.c

246

__msg("2: 012....... (45) if r1 & 0x7 goto pc+1")

tools/testing/selftests/bpf/progs/compute_live_registers.c

25

__msg(" 1: 0......... (bf) r1 = r0")

tools/testing/selftests/bpf/progs/compute_live_registers.c

26

__msg(" 2: .1........ (bf) r2 = r1")

tools/testing/selftests/bpf/progs/compute_live_registers.c

261

__msg("0: .......... (b7) r1 = 0")

tools/testing/selftests/bpf/progs/compute_live_registers.c

262

__msg("1: .1........ (b7) r2 = 7")

tools/testing/selftests/bpf/progs/compute_live_registers.c

263

__msg("2: .12....... (25) if r1 > 0x7 goto pc+4")

tools/testing/selftests/bpf/progs/compute_live_registers.c

264

__msg("3: .12....... (07) r1 += 1")

tools/testing/selftests/bpf/progs/compute_live_registers.c

265

__msg("4: .12....... (27) r2 *= 2")

tools/testing/selftests/bpf/progs/compute_live_registers.c

266

__msg("5: .12....... (05) goto pc+0")

tools/testing/selftests/bpf/progs/compute_live_registers.c

267

__msg("6: .12....... (05) goto pc-5")

tools/testing/selftests/bpf/progs/compute_live_registers.c

268

__msg("7: .......... (b7) r0 = 0")

tools/testing/selftests/bpf/progs/compute_live_registers.c

269

__msg("8: 0......... (95) exit")

tools/testing/selftests/bpf/progs/compute_live_registers.c

27

__msg(" 3: ..2....... (bf) r3 = r2")

tools/testing/selftests/bpf/progs/compute_live_registers.c

28

__msg(" 4: ...3...... (bf) r4 = r3")

tools/testing/selftests/bpf/progs/compute_live_registers.c

29

__msg(" 5: ....4..... (bf) r5 = r4")

tools/testing/selftests/bpf/progs/compute_live_registers.c

290

__msg("2: .123...... (25) if r1 > 0x7 goto pc+2")

tools/testing/selftests/bpf/progs/compute_live_registers.c

291

__msg("3: ..2....... (bf) r0 = r2")

tools/testing/selftests/bpf/progs/compute_live_registers.c

292

__msg("4: 0......... (06) gotol pc+1")

tools/testing/selftests/bpf/progs/compute_live_registers.c

293

__msg("5: ...3...... (bf) r0 = r3")

tools/testing/selftests/bpf/progs/compute_live_registers.c

294

__msg("6: 0......... (95) exit")

tools/testing/selftests/bpf/progs/compute_live_registers.c

30

__msg(" 6: .....5.... (bf) r6 = r5")

tools/testing/selftests/bpf/progs/compute_live_registers.c

31

__msg(" 7: ......6... (bf) r7 = r6")

tools/testing/selftests/bpf/progs/compute_live_registers.c

313

__msg("0: .......... (b7) r1 = 1")

tools/testing/selftests/bpf/progs/compute_live_registers.c

314

__msg("1: .1........ (e5) may_goto pc+1")

tools/testing/selftests/bpf/progs/compute_live_registers.c

315

__msg("2: .......... (05) goto pc-3")

tools/testing/selftests/bpf/progs/compute_live_registers.c

316

__msg("3: .1........ (bf) r0 = r1")

tools/testing/selftests/bpf/progs/compute_live_registers.c

317

__msg("4: 0......... (95) exit")

tools/testing/selftests/bpf/progs/compute_live_registers.c

32

__msg(" 8: .......7.. (bf) r8 = r7")

tools/testing/selftests/bpf/progs/compute_live_registers.c

33

__msg(" 9: ........8. (bf) r9 = r8")

tools/testing/selftests/bpf/progs/compute_live_registers.c

334

__msg("1: 0......... (18) r2 = 0x7")

tools/testing/selftests/bpf/progs/compute_live_registers.c

335

__msg("3: 0.2....... (0f) r0 += r2")

tools/testing/selftests/bpf/progs/compute_live_registers.c

34

__msg("10: .........9 (bf) r0 = r9")

tools/testing/selftests/bpf/progs/compute_live_registers.c

35

__msg("11: 0......... (95) exit")

tools/testing/selftests/bpf/progs/compute_live_registers.c

350

__msg("2: 0123456789 (30) r0 = *(u8 *)skb[42]")

tools/testing/selftests/bpf/progs/compute_live_registers.c

351

__msg("3: 012.456789 (0f) r7 += r0")

tools/testing/selftests/bpf/progs/compute_live_registers.c

352

__msg("4: 012.456789 (b7) r3 = 42")

tools/testing/selftests/bpf/progs/compute_live_registers.c

353

__msg("5: 0123456789 (50) r0 = *(u8 *)skb[r3 + 0]")

tools/testing/selftests/bpf/progs/compute_live_registers.c

354

__msg("6: 0......7.. (0f) r7 += r0")

tools/testing/selftests/bpf/progs/compute_live_registers.c

376

__msg(" 6: .12345.... (85) call bpf_arena_alloc_pages")

tools/testing/selftests/bpf/progs/compute_live_registers.c

377

__msg(" 7: 0......... (bf) r1 = addr_space_cast(r0, 0, 1)")

tools/testing/selftests/bpf/progs/compute_live_registers.c

378

__msg(" 8: .1........ (b7) r2 = 42")

tools/testing/selftests/bpf/progs/compute_live_registers.c

411

__msg("0: ....45.... (b7) r1 = 1")

tools/testing/selftests/bpf/progs/compute_live_registers.c

412

__msg("1: .1..45.... (b7) r2 = 2")

tools/testing/selftests/bpf/progs/compute_live_registers.c

413

__msg("2: .12.45.... (b7) r3 = 3")

tools/testing/selftests/bpf/progs/compute_live_registers.c

415

__msg("3: .12345.... (85) call pc+2")

tools/testing/selftests/bpf/progs/compute_live_registers.c

416

__msg("4: .......... (b7) r0 = 0")

tools/testing/selftests/bpf/progs/compute_live_registers.c

417

__msg("5: 0......... (95) exit")

tools/testing/selftests/bpf/progs/compute_live_registers.c

418

__msg("6: .12....... (bf) r0 = r1")

tools/testing/selftests/bpf/progs/compute_live_registers.c

419

__msg("7: 0.2....... (0f) r0 += r2")

tools/testing/selftests/bpf/progs/compute_live_registers.c

421

__msg("8: 0......... (95) exit")

tools/testing/selftests/bpf/progs/compute_live_registers.c

438

__msg("2: .1........ (07) r1 += 8")

tools/testing/selftests/bpf/progs/compute_live_registers.c

439

__msg("3: .1........ (79) r2 = *(u64 *)(r1 +0)")

tools/testing/selftests/bpf/progs/compute_live_registers.c

440

__msg("4: ..2....... (b7) r3 = 1")

tools/testing/selftests/bpf/progs/compute_live_registers.c

441

__msg("5: ..23...... (b7) r4 = 2")

tools/testing/selftests/bpf/progs/compute_live_registers.c

442

__msg("6: ..234..... (0d) gotox r2")

tools/testing/selftests/bpf/progs/compute_live_registers.c

443

__msg("7: ...3...... (bf) r0 = r3")

tools/testing/selftests/bpf/progs/compute_live_registers.c

444

__msg("8: 0......... (95) exit")

tools/testing/selftests/bpf/progs/compute_live_registers.c

445

__msg("9: ....4..... (bf) r0 = r4")

tools/testing/selftests/bpf/progs/compute_live_registers.c

446

__msg("10: 0......... (95) exit")

tools/testing/selftests/bpf/progs/compute_live_registers.c

56

__msg("0: .......... (b7) r1 = 7")

tools/testing/selftests/bpf/progs/compute_live_registers.c

57

__msg("1: .1........ (07) r1 += 7")

tools/testing/selftests/bpf/progs/compute_live_registers.c

58

__msg("2: .......... (b7) r2 = 7")

tools/testing/selftests/bpf/progs/compute_live_registers.c

59

__msg("3: ..2....... (b7) r3 = 42")

tools/testing/selftests/bpf/progs/compute_live_registers.c

60

__msg("4: ..23...... (0f) r2 += r3")

tools/testing/selftests/bpf/progs/compute_live_registers.c

61

__msg("5: .......... (b7) r0 = 0")

tools/testing/selftests/bpf/progs/compute_live_registers.c

62

__msg("6: 0......... (95) exit")

tools/testing/selftests/bpf/progs/compute_live_registers.c

79

__msg(" 1: .1........ (07) r1 += -8")

tools/testing/selftests/bpf/progs/compute_live_registers.c

80

__msg(" 2: .1........ (7a) *(u64 *)(r1 +0) = 7")

tools/testing/selftests/bpf/progs/compute_live_registers.c

81

__msg(" 3: .1........ (b7) r2 = 42")

tools/testing/selftests/bpf/progs/compute_live_registers.c

82

__msg(" 4: .12....... (7b) *(u64 *)(r1 +0) = r2")

tools/testing/selftests/bpf/progs/compute_live_registers.c

83

__msg(" 5: .12....... (7b) *(u64 *)(r1 +0) = r2")

tools/testing/selftests/bpf/progs/compute_live_registers.c

84

__msg(" 6: .......... (b7) r0 = 0")

tools/testing/selftests/bpf/progs/cpumask_failure.c

110

__failure __msg("NULL pointer passed to trusted arg0")

tools/testing/selftests/bpf/progs/cpumask_failure.c

120

__failure __msg("R2 must be a rcu pointer")

tools/testing/selftests/bpf/progs/cpumask_failure.c

154

__failure __msg("NULL pointer passed to trusted arg1")

tools/testing/selftests/bpf/progs/cpumask_failure.c

182

__failure __msg("Possibly NULL pointer passed to helper arg2")

tools/testing/selftests/bpf/progs/cpumask_failure.c

207

__failure __msg("has no valid kptr")

tools/testing/selftests/bpf/progs/cpumask_failure.c

227

__failure __msg("type=scalar expected=fp")

tools/testing/selftests/bpf/progs/cpumask_failure.c

242

__failure __msg("leads to invalid memory access")

tools/testing/selftests/bpf/progs/cpumask_failure.c

35

__failure __msg("Unreleased reference")

tools/testing/selftests/bpf/progs/cpumask_failure.c

48

__failure __msg("NULL pointer passed to trusted arg0")

tools/testing/selftests/bpf/progs/cpumask_failure.c

63

__failure __msg("must be referenced")

tools/testing/selftests/bpf/progs/cpumask_failure.c

76

__failure __msg("bpf_cpumask_set_cpu args#1 expected pointer to STRUCT bpf_cpumask")

tools/testing/selftests/bpf/progs/cpumask_failure.c

86

__failure __msg("Unreleased reference")

tools/testing/selftests/bpf/progs/crypto_basic.c

39

__failure __msg("Unreleased reference")

tools/testing/selftests/bpf/progs/dummy_st_ops_fail.c

13

__failure __msg("attach to unsupported member test_2 of struct bpf_dummy_ops")

tools/testing/selftests/bpf/progs/dynptr_fail.c

1006

__failure __msg("R{{[0-9]+}} invalid mem access 'scalar'")

tools/testing/selftests/bpf/progs/dynptr_fail.c

1059

__failure __msg("cannot overwrite referenced dynptr")

tools/testing/selftests/bpf/progs/dynptr_fail.c

1073

__failure __msg("potential write to dynptr at off=-16")

tools/testing/selftests/bpf/progs/dynptr_fail.c

1093

__failure __msg("R{{[0-9]+}} cannot write into rdonly_mem")

tools/testing/selftests/bpf/progs/dynptr_fail.c

1114

__failure __msg("R{{[0-9]+}} cannot write into rdonly_mem")

tools/testing/selftests/bpf/progs/dynptr_fail.c

1134

__failure __msg("invalid mem access 'scalar'")

tools/testing/selftests/bpf/progs/dynptr_fail.c

1160

__failure __msg("invalid mem access 'scalar'")

tools/testing/selftests/bpf/progs/dynptr_fail.c

1186

__failure __msg("invalid mem access 'scalar'")

tools/testing/selftests/bpf/progs/dynptr_fail.c

1212

__failure __msg("invalid mem access 'scalar'")

tools/testing/selftests/bpf/progs/dynptr_fail.c

1237

__failure __msg("invalid mem access 'scalar'")

tools/testing/selftests/bpf/progs/dynptr_fail.c

1260

__failure __msg("invalid mem access 'scalar'")

tools/testing/selftests/bpf/progs/dynptr_fail.c

1283

__failure __msg("invalid mem access 'scalar'")

tools/testing/selftests/bpf/progs/dynptr_fail.c

130

__failure __msg("Unreleased reference id")

tools/testing/selftests/bpf/progs/dynptr_fail.c

1306

__failure __msg("invalid mem access 'scalar'")

tools/testing/selftests/bpf/progs/dynptr_fail.c

1329

__failure __msg("invalid mem access 'scalar'")

tools/testing/selftests/bpf/progs/dynptr_fail.c

1352

__failure __msg("invalid mem access 'scalar'")

tools/testing/selftests/bpf/progs/dynptr_fail.c

1375

__failure __msg("invalid mem access 'scalar'")

tools/testing/selftests/bpf/progs/dynptr_fail.c

139

__failure __msg("arg 1 is an unacquired reference")

tools/testing/selftests/bpf/progs/dynptr_fail.c

1397

__failure __msg("invalid mem access 'scalar'")

tools/testing/selftests/bpf/progs/dynptr_fail.c

1419

__failure __msg("invalid mem access 'scalar'")

tools/testing/selftests/bpf/progs/dynptr_fail.c

1444

__failure __msg("invalid mem access 'scalar'")

tools/testing/selftests/bpf/progs/dynptr_fail.c

1469

__failure __msg("calling kernel function bpf_dynptr_from_skb is not allowed")

tools/testing/selftests/bpf/progs/dynptr_fail.c

1482

__failure __msg("calling kernel function bpf_dynptr_from_skb_meta is not allowed")

tools/testing/selftests/bpf/progs/dynptr_fail.c

1494

__failure __msg("must be referenced or trusted")

tools/testing/selftests/bpf/progs/dynptr_fail.c

1506

__failure __msg("must be referenced or trusted")

tools/testing/selftests/bpf/progs/dynptr_fail.c

1519

__failure __msg("potential write to dynptr at off=-16")

tools/testing/selftests/bpf/progs/dynptr_fail.c

152

__failure __msg("Expected an initialized dynptr as arg #2")

tools/testing/selftests/bpf/progs/dynptr_fail.c

1536

__failure __msg("calling kernel function bpf_dynptr_from_xdp is not allowed")

tools/testing/selftests/bpf/progs/dynptr_fail.c

1550

__failure __msg("unbounded memory access")

tools/testing/selftests/bpf/progs/dynptr_fail.c

1569

__failure __msg("must be a known constant")

tools/testing/selftests/bpf/progs/dynptr_fail.c

1600

__failure __msg("invalid mem access 'scalar'")

tools/testing/selftests/bpf/progs/dynptr_fail.c

1625

__failure __msg("the prog does not allow writes to packet data")

tools/testing/selftests/bpf/progs/dynptr_fail.c

1645

__failure __msg("Expected an initialized dynptr as arg #0")

tools/testing/selftests/bpf/progs/dynptr_fail.c

1658

__failure __msg("Expected an initialized dynptr as arg #0")

tools/testing/selftests/bpf/progs/dynptr_fail.c

1671

__failure __msg("Expected an initialized dynptr as arg #0")

tools/testing/selftests/bpf/progs/dynptr_fail.c

1684

__failure __msg("Expected an initialized dynptr as arg #0")

tools/testing/selftests/bpf/progs/dynptr_fail.c

1697

__failure __msg("Expected an initialized dynptr as arg #0")

tools/testing/selftests/bpf/progs/dynptr_fail.c

1711

__failure __msg("cannot overwrite referenced dynptr")

tools/testing/selftests/bpf/progs/dynptr_fail.c

172

__failure __msg("type=mem expected=ringbuf_mem")

tools/testing/selftests/bpf/progs/dynptr_fail.c

1731

__failure __msg("Expected an initialized dynptr as arg #2")

tools/testing/selftests/bpf/progs/dynptr_fail.c

1752

__failure __msg("Expected an initialized dynptr as arg #2")

tools/testing/selftests/bpf/progs/dynptr_fail.c

1773

__failure __msg("Expected an initialized dynptr as arg #2")

tools/testing/selftests/bpf/progs/dynptr_fail.c

1799

__failure __msg("invalid mem access 'scalar'")

tools/testing/selftests/bpf/progs/dynptr_fail.c

1825

__failure __msg("invalid mem access 'scalar'")

tools/testing/selftests/bpf/progs/dynptr_fail.c

1851

__failure __msg("invalid mem access 'scalar'")

tools/testing/selftests/bpf/progs/dynptr_fail.c

1879

__failure __msg("invalid mem access 'scalar'")

tools/testing/selftests/bpf/progs/dynptr_fail.c

1905

__failure __msg("invalid mem access 'scalar'")

tools/testing/selftests/bpf/progs/dynptr_fail.c

1928

__failure __msg("invalid mem access 'scalar'")

tools/testing/selftests/bpf/progs/dynptr_fail.c

195

__failure __msg("invalid read from stack")

tools/testing/selftests/bpf/progs/dynptr_fail.c

1955

__failure __msg("memory, len pair leads to invalid memory access")

tools/testing/selftests/bpf/progs/dynptr_fail.c

1984

__failure __msg("arg#0 expected pointer to stack or const struct bpf_dynptr")

tools/testing/selftests/bpf/progs/dynptr_fail.c

213

__failure __msg("invalid read from stack")

tools/testing/selftests/bpf/progs/dynptr_fail.c

231

__failure __msg("value is outside of the allowed memory range")

tools/testing/selftests/bpf/progs/dynptr_fail.c

253

__failure __msg("value is outside of the allowed memory range")

tools/testing/selftests/bpf/progs/dynptr_fail.c

274

__failure __msg("value is outside of the allowed memory range")

tools/testing/selftests/bpf/progs/dynptr_fail.c

293

__failure __msg("value is outside of the allowed memory range")

tools/testing/selftests/bpf/progs/dynptr_fail.c

314

__failure __msg("invalid mem access 'scalar'")

tools/testing/selftests/bpf/progs/dynptr_fail.c

346

__failure __msg("invalid mem access 'scalar'")

tools/testing/selftests/bpf/progs/dynptr_fail.c

378

__failure __msg("invalid mem access 'mem_or_null'")

tools/testing/selftests/bpf/progs/dynptr_fail.c

399

__failure __msg("invalid mem access 'mem_or_null'")

tools/testing/selftests/bpf/progs/dynptr_fail.c

421

__failure __msg("invalid read from stack")

tools/testing/selftests/bpf/progs/dynptr_fail.c

436

__failure __msg("cannot pass in dynptr at an offset=-8")

tools/testing/selftests/bpf/progs/dynptr_fail.c

451

__failure __msg("Expected an initialized dynptr as arg #0")

tools/testing/selftests/bpf/progs/dynptr_fail.c

474

__failure __msg("cannot overwrite referenced dynptr")

tools/testing/selftests/bpf/progs/dynptr_fail.c

498

__failure __msg("cannot overwrite referenced dynptr")

tools/testing/selftests/bpf/progs/dynptr_fail.c

530

__failure __msg("cannot overwrite referenced dynptr")

tools/testing/selftests/bpf/progs/dynptr_fail.c

549

__failure __msg("type=map_value expected=fp")

tools/testing/selftests/bpf/progs/dynptr_fail.c

562

__failure __msg("invalid read from stack")

tools/testing/selftests/bpf/progs/dynptr_fail.c

579

__failure __msg("cannot pass in dynptr at an offset")

tools/testing/selftests/bpf/progs/dynptr_fail.c

595

__failure __msg("invalid read from stack")

tools/testing/selftests/bpf/progs/dynptr_fail.c

622

__failure __msg("invalid read from stack")

tools/testing/selftests/bpf/progs/dynptr_fail.c

638

__failure __msg("cannot pass in dynptr at an offset=0")

tools/testing/selftests/bpf/progs/dynptr_fail.c

653

__failure __msg("arg 1 is an unacquired reference")

tools/testing/selftests/bpf/progs/dynptr_fail.c

680

__failure __msg("arg 1 is an unacquired reference")

tools/testing/selftests/bpf/progs/dynptr_fail.c

696

__failure __msg("Unsupported reg type fp for bpf_dynptr_from_mem data")

tools/testing/selftests/bpf/progs/dynptr_fail.c

709

__failure __msg("cannot overwrite referenced dynptr") __log_level(2)

tools/testing/selftests/bpf/progs/dynptr_fail.c

740

__success __msg("12: safe") __log_level(2)

tools/testing/selftests/bpf/progs/dynptr_fail.c

771

__failure __msg("cannot overwrite referenced dynptr") __log_level(2)

tools/testing/selftests/bpf/progs/dynptr_fail.c

81

__failure __msg("Unreleased reference id=2")

tools/testing/selftests/bpf/progs/dynptr_fail.c

843

__failure __msg("dynptr has to be at a constant offset") __log_level(2)

tools/testing/selftests/bpf/progs/dynptr_fail.c

883

__failure __msg("cannot overwrite referenced dynptr") __log_level(2)

tools/testing/selftests/bpf/progs/dynptr_fail.c

94

__failure __msg("Unreleased reference id=4")

tools/testing/selftests/bpf/progs/dynptr_fail.c

967

__failure __msg("invalid mem access 'scalar'")

tools/testing/selftests/bpf/progs/dynptr_fail.c

988

__failure __msg("R{{[0-9]+}} type=scalar expected=percpu_ptr_")

tools/testing/selftests/bpf/progs/exceptions_assert.c

106

__msg(": R1=ctx() R2=4096 R10=fp0")

tools/testing/selftests/bpf/progs/exceptions_assert.c

117

__msg(": R1=pkt(off=64,r=64) R2=pkt_end() R6=pkt(r=64) R10=fp0")

tools/testing/selftests/bpf/progs/exceptions_assert.c

128

__failure __msg("At program exit the register R1 has smin=64 smax=64")

tools/testing/selftests/bpf/progs/exceptions_assert.c

21

__msg("R{{.}}=0xffffffff80000000")

tools/testing/selftests/bpf/progs/exceptions_assert.c

23

__msg("R{{.}}=0x7fffffff")

tools/testing/selftests/bpf/progs/exceptions_assert.c

25

__msg("R{{.}}=0")

tools/testing/selftests/bpf/progs/exceptions_assert.c

27

__msg("R{{.}}=0x8000000000000000")

tools/testing/selftests/bpf/progs/exceptions_assert.c

29

__msg("R{{.}}=0x7fffffffffffffff")

tools/testing/selftests/bpf/progs/exceptions_assert.c

32

__msg("R{{.}}=scalar(id=1,smax=0x7ffffffe)")

tools/testing/selftests/bpf/progs/exceptions_assert.c

34

__msg("R{{.}}=scalar(id=1,smax=-1,umin=0x8000000000000000,var_off=(0x8000000000000000; 0x7fffffffffffffff))")

tools/testing/selftests/bpf/progs/exceptions_assert.c

36

__msg("R{{.}}=scalar(id=1,smax=0xffffffff7fffffff")

tools/testing/selftests/bpf/progs/exceptions_assert.c

39

__msg("R{{.}}=scalar(id=1,smax=0x7fffffff)")

tools/testing/selftests/bpf/progs/exceptions_assert.c

41

__msg("R{{.}}=scalar(id=1,smax=0)")

tools/testing/selftests/bpf/progs/exceptions_assert.c

43

__msg("R{{.}}=scalar(id=1,smax=0xffffffff80000000")

tools/testing/selftests/bpf/progs/exceptions_assert.c

46

__msg("R{{.}}=scalar(id=1,smin=umin=0x80000000,umax=0x7fffffffffffffff,var_off=(0x0; 0x7fffffffffffffff))")

tools/testing/selftests/bpf/progs/exceptions_assert.c

48

__msg("R{{.}}=scalar(id=1,smin=umin=1,umax=0x7fffffffffffffff,var_off=(0x0; 0x7fffffffffffffff))")

tools/testing/selftests/bpf/progs/exceptions_assert.c

50

__msg("R{{.}}=scalar(id=1,smin=0xffffffff80000001")

tools/testing/selftests/bpf/progs/exceptions_assert.c

53

__msg("R{{.}}=scalar(id=1,smin=umin=0x7fffffff,umax=0x7fffffffffffffff,var_off=(0x0; 0x7fffffffffffffff))")

tools/testing/selftests/bpf/progs/exceptions_assert.c

55

__msg("R{{.}}=scalar(id=1,smin=0,umax=0x7fffffffffffffff,var_off=(0x0; 0x7fffffffffffffff))")

tools/testing/selftests/bpf/progs/exceptions_assert.c

57

__msg("R{{.}}=scalar(id=1,smin=0xffffffff80000000")

tools/testing/selftests/bpf/progs/exceptions_assert.c

62

__msg(": R0=0 R1=ctx() R2=scalar(smin=0xffffffff80000002,smax=smax32=0x7ffffffd,smin32=0x80000002) R10=fp0")

tools/testing/selftests/bpf/progs/exceptions_assert.c

78

__msg(": R1=ctx() R2=scalar(smin=umin=smin32=umin32=4096,smax=umax=smax32=umax32=8192,var_off=(0x0; 0x3fff))")

tools/testing/selftests/bpf/progs/exceptions_assert.c

89

__msg(": R0=0 R1=ctx() R2=4096 R10=fp0")

tools/testing/selftests/bpf/progs/exceptions_fail.c

101

__failure __msg("cannot be called from callback subprog")

tools/testing/selftests/bpf/progs/exceptions_fail.c

123

__failure __msg("function calls are not allowed while holding a lock")

tools/testing/selftests/bpf/progs/exceptions_fail.c

132

__failure __msg("function calls are not allowed while holding a lock")

tools/testing/selftests/bpf/progs/exceptions_fail.c

139

__failure __msg("bpf_throw cannot be used inside bpf_rcu_read_lock-ed region")

tools/testing/selftests/bpf/progs/exceptions_fail.c

155

__failure __msg("bpf_throw cannot be used inside bpf_rcu_read_lock-ed region")

tools/testing/selftests/bpf/progs/exceptions_fail.c

171

__failure __msg("function calls are not allowed while holding a lock")

tools/testing/selftests/bpf/progs/exceptions_fail.c

186

__failure __msg("Unreleased reference")

tools/testing/selftests/bpf/progs/exceptions_fail.c

216

__failure __msg("Unreleased reference")

tools/testing/selftests/bpf/progs/exceptions_fail.c

230

__failure __msg("cannot be called from callback")

tools/testing/selftests/bpf/progs/exceptions_fail.c

238

__failure __msg("Unreleased reference")

tools/testing/selftests/bpf/progs/exceptions_fail.c

272

__failure __msg("cannot be called from callback subprog")

tools/testing/selftests/bpf/progs/exceptions_fail.c

280

__failure __msg("cannot call exception cb directly")

tools/testing/selftests/bpf/progs/exceptions_fail.c

288

__failure __msg("cannot call exception cb directly")

tools/testing/selftests/bpf/progs/exceptions_fail.c

297

__failure __msg("multiple exception callback tags for main subprog")

tools/testing/selftests/bpf/progs/exceptions_fail.c

311

__failure __msg("At program exit the register R0 has unknown scalar value should")

tools/testing/selftests/bpf/progs/exceptions_fail.c

318

__failure __msg("At program exit the register R1 has smin=64 smax=64 should")

tools/testing/selftests/bpf/progs/exceptions_fail.c

338

__failure __msg("cannot be called from callback")

tools/testing/selftests/bpf/progs/exceptions_fail.c

346

__failure __msg("cannot be called from callback")

tools/testing/selftests/bpf/progs/exceptions_fail.c

370

__failure __msg("bpf_throw cannot be used inside bpf_rcu_read_lock-ed region")

tools/testing/selftests/bpf/progs/exceptions_fail.c

378

__failure __msg("bpf_throw cannot be used inside bpf_preempt_disable-ed region")

tools/testing/selftests/bpf/progs/exceptions_fail.c

388

__failure __msg("bpf_throw cannot be used inside bpf_local_irq_save-ed region")

tools/testing/selftests/bpf/progs/exceptions_fail.c

59

__failure __msg("Global function exception_cb_bad_ret_type() doesn't return scalar.")

tools/testing/selftests/bpf/progs/exceptions_fail.c

68

__failure __msg("exception cb only supports single integer argument")

tools/testing/selftests/bpf/progs/exceptions_fail.c

77

__failure __msg("exception cb only supports single integer argument")

tools/testing/selftests/bpf/progs/file_reader_fail.c

17

__msg("Unreleased reference id=")

tools/testing/selftests/bpf/progs/file_reader_fail.c

33

__msg("Expected a dynptr of type file as arg #0")

tools/testing/selftests/bpf/progs/file_reader_fail.c

45

__msg("Expected an initialized dynptr as arg #0")

tools/testing/selftests/bpf/progs/irq.c

108

__failure __msg("BPF_EXIT instruction in main prog cannot be used inside bpf_local_irq_save-ed region")

tools/testing/selftests/bpf/progs/irq.c

122

__failure __msg("BPF_EXIT instruction in main prog cannot be used inside bpf_local_irq_save-ed region")

tools/testing/selftests/bpf/progs/irq.c

18

__failure __msg("arg#0 doesn't point to an irq flag on stack")

tools/testing/selftests/bpf/progs/irq.c

196

__failure __msg("sleepable helper bpf_copy_from_user#")

tools/testing/selftests/bpf/progs/irq.c

209

__failure __msg("kernel func bpf_copy_from_user_str is sleepable within IRQ-disabled region")

tools/testing/selftests/bpf/progs/irq.c

240

__failure __msg("cannot restore irq state out of order")

tools/testing/selftests/bpf/progs/irq.c

254

__failure __msg("cannot restore irq state out of order")

tools/testing/selftests/bpf/progs/irq.c

26

__failure __msg("arg#0 doesn't point to an irq flag on stack")

tools/testing/selftests/bpf/progs/irq.c

294

__failure __msg("cannot restore irq state out of order")

tools/testing/selftests/bpf/progs/irq.c

311

__failure __msg("cannot restore irq state out of order")

tools/testing/selftests/bpf/progs/irq.c

327

__failure __msg("expected an initialized")

tools/testing/selftests/bpf/progs/irq.c

339

__failure __msg("expected uninitialized")

tools/testing/selftests/bpf/progs/irq.c

34

__failure __msg("BPF_EXIT instruction in main prog cannot be used inside bpf_local_irq_save-ed region")

tools/testing/selftests/bpf/progs/irq.c

350

__failure __msg("expected an initialized")

tools/testing/selftests/bpf/progs/irq.c

361

__failure __msg("Unreleased reference id=1")

tools/testing/selftests/bpf/progs/irq.c

378

__failure __msg("expected an initialized")

tools/testing/selftests/bpf/progs/irq.c

390

__failure __msg("expected an initialized")

tools/testing/selftests/bpf/progs/irq.c

402

__failure __msg("cannot restore irq state out of order")

tools/testing/selftests/bpf/progs/irq.c

46

__failure __msg("BPF_EXIT instruction in main prog cannot be used inside bpf_local_irq_save-ed region")

tools/testing/selftests/bpf/progs/irq.c

493

__failure __msg("global functions that may sleep are not allowed in non-sleepable context")

tools/testing/selftests/bpf/progs/irq.c

505

__failure __msg("global functions that may sleep are not allowed in non-sleepable context")

tools/testing/selftests/bpf/progs/irq.c

517

__failure __msg("cannot restore irq state out of order")

tools/testing/selftests/bpf/progs/irq.c

535

__failure __msg("function calls are not allowed")

tools/testing/selftests/bpf/progs/irq.c

553

__failure __msg("function calls are not allowed")

tools/testing/selftests/bpf/progs/irq.c

60

__failure __msg("BPF_EXIT instruction in main prog cannot be used inside bpf_local_irq_save-ed region")

tools/testing/selftests/bpf/progs/irq.c

86

__failure __msg("BPF_EXIT instruction in main prog cannot be used inside bpf_local_irq_save-ed region")

tools/testing/selftests/bpf/progs/irq.c

96

__failure __msg("BPF_EXIT instruction in main prog cannot be used inside bpf_local_irq_save-ed region")

tools/testing/selftests/bpf/progs/iters.c

1002

__msg("math between fp pointer and register with unbounded")

tools/testing/selftests/bpf/progs/iters.c

1179

__msg("math between fp pointer and register with unbounded")

tools/testing/selftests/bpf/progs/iters.c

1608

__failure __msg("arg#0 expected pointer to an iterator on stack")

tools/testing/selftests/bpf/progs/iters.c

1616

__failure __msg("arg#0 expected pointer to an iterator on stack")

tools/testing/selftests/bpf/progs/iters.c

1624

__failure __msg("arg#0 expected pointer to an iterator on stack")

tools/testing/selftests/bpf/progs/iters.c

1654

__failure __msg("misaligned stack access off 0+-31+0 size 8")

tools/testing/selftests/bpf/progs/iters.c

1729

__failure __msg("misaligned stack access off 0+-31+0 size 8")

tools/testing/selftests/bpf/progs/iters.c

1805

__failure __msg("misaligned stack access off 0+-31+0 size 8")

tools/testing/selftests/bpf/progs/iters.c

1935

__failure __msg("math between fp pointer and register with unbounded min value is not allowed")

tools/testing/selftests/bpf/progs/iters.c

30

__failure __msg("math between map_value pointer and register with unbounded min value is not allowed")

tools/testing/selftests/bpf/progs/iters.c

50

__failure __msg("unbounded memory access")

tools/testing/selftests/bpf/progs/iters.c

534

__failure __msg("invalid mem access 'scalar'")

tools/testing/selftests/bpf/progs/iters.c

556

__failure __msg("invalid mem access 'map_value_or_null'")

tools/testing/selftests/bpf/progs/iters.c

578

__failure __msg("invalid mem access 'map_value_or_null'")

tools/testing/selftests/bpf/progs/iters.c

727

__msg("R1 type=scalar expected=fp")

tools/testing/selftests/bpf/progs/iters.c

798

__msg("math between fp pointer and register with unbounded")

tools/testing/selftests/bpf/progs/iters.c

877

__msg("math between fp pointer and register with unbounded")

tools/testing/selftests/bpf/progs/iters_looping.c

63

__failure __msg("R0 invalid mem access 'scalar'")

tools/testing/selftests/bpf/progs/iters_looping.c

95

__msg("invalid access to memory, mem_size=4 off=0 size=8")

tools/testing/selftests/bpf/progs/iters_looping.c

96

__msg("R0 min value is outside of the allowed memory range")

tools/testing/selftests/bpf/progs/iters_state_safety.c

121

__failure __msg("Unreleased reference id=1")

tools/testing/selftests/bpf/progs/iters_state_safety.c

146

__failure __msg("expected an initialized iter_num as arg #0")

tools/testing/selftests/bpf/progs/iters_state_safety.c

188

__msg("returning from callee:")

tools/testing/selftests/bpf/progs/iters_state_safety.c

189

__msg("Unreleased reference id=1")

tools/testing/selftests/bpf/progs/iters_state_safety.c

199

__msg("fp-8=iter_num(ref_id=1,state=active,depth=0)")

tools/testing/selftests/bpf/progs/iters_state_safety.c

233

__failure __msg("expected uninitialized iter_num as arg #0")

tools/testing/selftests/bpf/progs/iters_state_safety.c

261

__failure __msg("expected an initialized iter_num as arg #0")

tools/testing/selftests/bpf/progs/iters_state_safety.c

287

__failure __msg("expected an initialized iter_num as arg #0")

tools/testing/selftests/bpf/progs/iters_state_safety.c

308

__failure __msg("expected an initialized iter_num as arg #0")

tools/testing/selftests/bpf/progs/iters_state_safety.c

33

__msg("fp-8=iter_num(ref_id=1,state=active,depth=0)")

tools/testing/selftests/bpf/progs/iters_state_safety.c

334

__failure __msg("invalid read from stack")

tools/testing/selftests/bpf/progs/iters_state_safety.c

372

__msg("Unreleased reference")

tools/testing/selftests/bpf/progs/iters_state_safety.c

56

__failure __msg("Unreleased reference id=1")

tools/testing/selftests/bpf/progs/iters_state_safety.c

76

__failure __msg("expected an initialized iter_num as arg #0")

tools/testing/selftests/bpf/progs/iters_state_safety.c

94

__failure __msg("expected an initialized iter_num as arg #0")

tools/testing/selftests/bpf/progs/iters_task_failure.c

18

__failure __msg("kernel func bpf_iter_task_new requires RCU critical section protection")

tools/testing/selftests/bpf/progs/iters_task_failure.c

30

__failure __msg("kernel func bpf_iter_css_new requires RCU critical section protection")

tools/testing/selftests/bpf/progs/iters_task_failure.c

49

__failure __msg("expected an RCU CS when using bpf_iter_task_next")

tools/testing/selftests/bpf/progs/iters_task_failure.c

65

__failure __msg("expected an RCU CS when using bpf_iter_css_next")

tools/testing/selftests/bpf/progs/iters_task_failure.c

88

__failure __msg("css_task_iter is only allowed in bpf_lsm, bpf_iter and sleepable progs")

tools/testing/selftests/bpf/progs/iters_testmod.c

108

__failure __msg("R1 cannot write into rdonly_mem")

tools/testing/selftests/bpf/progs/iters_testmod.c

128

__failure __msg("kernel func bpf_kfunc_ret_rcu_test requires RCU critical section protection")

tools/testing/selftests/bpf/progs/iters_testmod.c

138

__failure __msg("R1 type=rcu_ptr_or_null_ expected=")

tools/testing/selftests/bpf/progs/iters_testmod.c

151

__failure __msg("kernel func bpf_kfunc_ret_rcu_test_nostruct requires RCU critical section protection")

tools/testing/selftests/bpf/progs/iters_testmod.c

161

__failure __msg("R1 type=rdonly_rcu_mem_or_null expected=")

tools/testing/selftests/bpf/progs/iters_testmod.c

32

__failure __msg("Possibly NULL pointer passed to trusted arg0")

tools/testing/selftests/bpf/progs/iters_testmod.c

70

__failure __msg("Possibly NULL pointer passed to trusted arg0")

tools/testing/selftests/bpf/progs/iters_testmod.c

88

__failure __msg("R1 must be referenced or trusted")

tools/testing/selftests/bpf/progs/iters_testmod_seq.c

23

__msg("fp-16=iter_testmod_seq(ref_id=1,state=active,depth=0)")

tools/testing/selftests/bpf/progs/iters_testmod_seq.c

24

__msg("fp-16=iter_testmod_seq(ref_id=1,state=drained,depth=0)")

tools/testing/selftests/bpf/progs/iters_testmod_seq.c

25

__msg("call bpf_iter_testmod_seq_destroy")

tools/testing/selftests/bpf/progs/iters_testmod_seq.c

41

__msg("fp-16=iter_testmod_seq(ref_id=1,state=active,depth=0)")

tools/testing/selftests/bpf/progs/iters_testmod_seq.c

42

__msg("fp-16=iter_testmod_seq(ref_id=1,state=drained,depth=0)")

tools/testing/selftests/bpf/progs/iters_testmod_seq.c

43

__msg("call bpf_iter_testmod_seq_destroy")

tools/testing/selftests/bpf/progs/iters_testmod_seq.c

61

__msg("fp-16=iter_testmod_seq(ref_id=1,state=active,depth=0)")

tools/testing/selftests/bpf/progs/iters_testmod_seq.c

62

__msg("fp-16=iter_testmod_seq(ref_id=1,state=drained,depth=0)")

tools/testing/selftests/bpf/progs/iters_testmod_seq.c

63

__msg("call bpf_iter_testmod_seq_destroy")

tools/testing/selftests/bpf/progs/iters_testmod_seq.c

82

__msg("expected an initialized iter_testmod_seq as arg #1")

tools/testing/selftests/bpf/progs/iters_testmod_seq.c

92

__msg("expected an initialized iter_testmod_seq as arg #1")

tools/testing/selftests/bpf/progs/jeq_infer_not_null_fail.c

21

__failure __msg("R8 invalid mem access 'map_value_or_null")

tools/testing/selftests/bpf/progs/kfunc_implicit_args.c

23

__failure __msg("cannot find address for kernel function bpf_kfunc_implicit_arg_impl")

tools/testing/selftests/bpf/progs/kprobe_multi_verifier.c

27

__msg("At program exit the register R0 has smin=2 smax=2 should have been in [0, 1]")

tools/testing/selftests/bpf/progs/linked_list_peek.c

86

__failure __msg(MSG) \

tools/testing/selftests/bpf/progs/local_kptr_stash_fail.c

43

__failure __msg("invalid kptr access, R2 type=ptr_node_data2 expected=ptr_node_data")

tools/testing/selftests/bpf/progs/local_kptr_stash_fail.c

66

__failure __msg("R1 must have zero offset when passed to release func")

tools/testing/selftests/bpf/progs/map_kptr_fail.c

107

__failure __msg("variable untrusted_ptr_ access var_off=(0x0; 0x1e0)")

tools/testing/selftests/bpf/progs/map_kptr_fail.c

131

__failure __msg("invalid kptr access, R1 type=untrusted_ptr_prog_test_ref_kfunc")

tools/testing/selftests/bpf/progs/map_kptr_fail.c

152

__failure __msg("R1 type=untrusted_ptr_or_null_ expected=percpu_ptr_")

tools/testing/selftests/bpf/progs/map_kptr_fail.c

167

__failure __msg("access beyond struct prog_test_ref_kfunc at off 32 size 4")

tools/testing/selftests/bpf/progs/map_kptr_fail.c

185

__failure __msg("R1 type=untrusted_ptr_ expected=percpu_ptr_")

tools/testing/selftests/bpf/progs/map_kptr_fail.c

205

__failure __msg("off=8 kptr isn't referenced kptr")

tools/testing/selftests/bpf/progs/map_kptr_fail.c

220

__failure __msg("R1 type=rcu_ptr_or_null_ expected=percpu_ptr_")

tools/testing/selftests/bpf/progs/map_kptr_fail.c

235

__failure __msg("store to referenced kptr disallowed")

tools/testing/selftests/bpf/progs/map_kptr_fail.c

24

__failure __msg("kptr access size must be BPF_DW")

tools/testing/selftests/bpf/progs/map_kptr_fail.c

255

__failure __msg("R2 must be referenced")

tools/testing/selftests/bpf/progs/map_kptr_fail.c

275

__msg("invalid kptr access, R2 type=trusted_ptr_prog_test_ref_kfunc expected=ptr_prog_test_member")

tools/testing/selftests/bpf/progs/map_kptr_fail.c

294

__failure __msg("invalid kptr access, R2 type=trusted_ptr_prog_test_ref_kfunc")

tools/testing/selftests/bpf/progs/map_kptr_fail.c

313

__failure __msg("kptr cannot be accessed indirectly by helper")

tools/testing/selftests/bpf/progs/map_kptr_fail.c

334

__failure __msg("kptr cannot be accessed indirectly by helper")

tools/testing/selftests/bpf/progs/map_kptr_fail.c

348

__failure __msg("Unreleased reference id=4 alloc_insn=")

tools/testing/selftests/bpf/progs/map_kptr_fail.c

367

__failure __msg("Possibly NULL pointer passed to helper arg2")

tools/testing/selftests/bpf/progs/map_kptr_fail.c

39

__failure __msg("kptr access cannot have variable offset")

tools/testing/selftests/bpf/progs/map_kptr_fail.c

58

__failure __msg("R1 doesn't have constant offset. kptr has to be")

tools/testing/selftests/bpf/progs/map_kptr_fail.c

77

__failure __msg("kptr access misaligned expected=8 off=7")

tools/testing/selftests/bpf/progs/map_kptr_fail.c

93

__failure __msg("kptr access misaligned expected=8 off=1")

tools/testing/selftests/bpf/progs/mem_rdonly_untrusted.c

108

__msg("cannot write into rdonly_untrusted_mem")

tools/testing/selftests/bpf/progs/mem_rdonly_untrusted.c

11

__msg("r8 = *(u64 *)(r7 +0) ; R7=ptr_nameidata(off={{[0-9]+}}) R8=rdonly_untrusted_mem(sz=0)")

tools/testing/selftests/bpf/progs/mem_rdonly_untrusted.c

12

__msg("r9 = *(u8 *)(r8 +0) ; R8=rdonly_untrusted_mem(sz=0) R9=scalar")

tools/testing/selftests/bpf/progs/mem_rdonly_untrusted.c

120

__msg("invalid access to memory, mem_size=0 off=0 size=4")

tools/testing/selftests/bpf/progs/mem_rdonly_untrusted.c

121

__msg("R1 min value is outside of the allowed memory range")

tools/testing/selftests/bpf/progs/mem_rdonly_untrusted.c

133

__msg("R1 type=rdonly_untrusted_mem expected=")

tools/testing/selftests/bpf/progs/mem_rdonly_untrusted.c

82

__msg("cannot write into rdonly_untrusted_mem")

tools/testing/selftests/bpf/progs/mem_rdonly_untrusted.c

95

__msg("cannot write into rdonly_untrusted_mem")

tools/testing/selftests/bpf/progs/nested_trust_failure.c

27

__failure __msg("R2 must be")

tools/testing/selftests/bpf/progs/nested_trust_failure.c

36

__failure __msg("R2 type=untrusted_ptr_ expected=ptr_, trusted_ptr_, rcu_ptr_")

tools/testing/selftests/bpf/progs/percpu_alloc_fail.c

113

__failure __msg("arg#0 expected for bpf_percpu_obj_drop_impl()")

tools/testing/selftests/bpf/progs/percpu_alloc_fail.c

127

__failure __msg("arg#0 expected for bpf_obj_drop_impl()")

tools/testing/selftests/bpf/progs/percpu_alloc_fail.c

141

__failure __msg("bpf_percpu_obj_new type ID argument must be of a struct of scalars")

tools/testing/selftests/bpf/progs/percpu_alloc_fail.c

155

__failure __msg("bpf_percpu_obj_new type ID argument must not contain special fields")

tools/testing/selftests/bpf/progs/percpu_alloc_fail.c

169

__failure __msg("bpf_percpu_obj_new type size (600) is greater than 512")

tools/testing/selftests/bpf/progs/percpu_alloc_fail.c

39

__failure __msg("store to referenced kptr disallowed")

tools/testing/selftests/bpf/progs/percpu_alloc_fail.c

63

__failure __msg("invalid kptr access, R2 type=percpu_ptr_val2_t expected=ptr_val_t")

tools/testing/selftests/bpf/progs/percpu_alloc_fail.c

87

__failure __msg("R1 type=scalar expected=percpu_ptr_, percpu_rcu_ptr_, percpu_trusted_ptr_")

tools/testing/selftests/bpf/progs/preempt_lock.c

107

__failure __msg("sleepable helper bpf_copy_from_user#")

tools/testing/selftests/bpf/progs/preempt_lock.c

11

__failure __msg("BPF_EXIT instruction in main prog cannot be used inside bpf_preempt_disable-ed region")

tools/testing/selftests/bpf/progs/preempt_lock.c

119

__failure __msg("kernel func bpf_copy_from_user_str is sleepable within non-preemptible region")

tools/testing/selftests/bpf/progs/preempt_lock.c

180

__failure __msg("global functions that may sleep are not allowed in non-sleepable context")

tools/testing/selftests/bpf/progs/preempt_lock.c

19

__failure __msg("BPF_EXIT instruction in main prog cannot be used inside bpf_preempt_disable-ed region")

tools/testing/selftests/bpf/progs/preempt_lock.c

191

__failure __msg("global functions that may sleep are not allowed in non-sleepable context")

tools/testing/selftests/bpf/progs/preempt_lock.c

202

__failure __msg("global functions that may sleep are not allowed in non-sleepable context")

tools/testing/selftests/bpf/progs/preempt_lock.c

28

__failure __msg("BPF_EXIT instruction in main prog cannot be used inside bpf_preempt_disable-ed region")

tools/testing/selftests/bpf/progs/preempt_lock.c

38

__failure __msg("BPF_EXIT instruction in main prog cannot be used inside bpf_preempt_disable-ed region")

tools/testing/selftests/bpf/progs/preempt_lock.c

60

__failure __msg("BPF_EXIT instruction in main prog cannot be used inside bpf_preempt_disable-ed region")

tools/testing/selftests/bpf/progs/preempt_lock.c

68

__failure __msg("BPF_EXIT instruction in main prog cannot be used inside bpf_preempt_disable-ed region")

tools/testing/selftests/bpf/progs/preempt_lock.c

77

__failure __msg("BPF_EXIT instruction in main prog cannot be used inside bpf_preempt_disable-ed region")

tools/testing/selftests/bpf/progs/raw_tp_null_fail.c

12

__failure __msg("R1 invalid mem access 'trusted_ptr_or_null_'")

tools/testing/selftests/bpf/progs/raw_tp_null_fail.c

20

__failure __msg("R1 invalid mem access 'trusted_ptr_or_null_'")

tools/testing/selftests/bpf/progs/rbtree_fail.c

109

__failure __msg("Unreleased reference id=3 alloc_insn={{[0-9]+}}")

tools/testing/selftests/bpf/progs/rbtree_fail.c

137

__failure __msg("arg#1 expected pointer to allocated object")

tools/testing/selftests/bpf/progs/rbtree_fail.c

156

__failure __msg("Possibly NULL pointer passed to trusted arg1")

tools/testing/selftests/bpf/progs/rbtree_fail.c

182

__failure __msg("bpf_rbtree_remove can only take non-owning or refcounted bpf_rb_node pointer")

tools/testing/selftests/bpf/progs/rbtree_fail.c

206

__failure __msg("bpf_rbtree_remove can only take non-owning or refcounted bpf_rb_node pointer")

tools/testing/selftests/bpf/progs/rbtree_fail.c

284

__failure __msg("arg#1 expected pointer to allocated object")

tools/testing/selftests/bpf/progs/rbtree_fail.c

291

__failure __msg("rbtree_remove not allowed in rbtree cb")

tools/testing/selftests/bpf/progs/rbtree_fail.c

298

__failure __msg("can't spin_{lock,unlock} in rbtree cb")

tools/testing/selftests/bpf/progs/rbtree_fail.c

32

__failure __msg("bpf_spin_lock at off=16 must be held for bpf_rb_root")

tools/testing/selftests/bpf/progs/rbtree_fail.c

46

__failure __msg("bpf_spin_lock at off=16 must be held for bpf_rb_root")

tools/testing/selftests/bpf/progs/rbtree_fail.c

64

__failure __msg("bpf_spin_lock at off=16 must be held for bpf_rb_root")

tools/testing/selftests/bpf/progs/rbtree_search.c

136

__failure __msg(MSG) \

tools/testing/selftests/bpf/progs/rbtree_search.c

155

__failure __msg(MSG) \

tools/testing/selftests/bpf/progs/refcounted_kptr_fail.c

35

__failure __msg("Unreleased reference id=4 alloc_insn={{[0-9]+}}")

tools/testing/selftests/bpf/progs/refcounted_kptr_fail.c

57

__failure __msg("Possibly NULL pointer passed to trusted arg0")

tools/testing/selftests/bpf/progs/refcounted_kptr_fail.c

76

__failure __msg("Unreleased reference id=3 alloc_insn={{[0-9]+}}")

tools/testing/selftests/bpf/progs/refcounted_kptr_fail.c

97

__failure __msg("function calls are not allowed while holding a lock")

tools/testing/selftests/bpf/progs/res_spin_lock_fail.c

100

__failure __msg("unlock of different lock")

tools/testing/selftests/bpf/progs/res_spin_lock_fail.c

117

__failure __msg("unlock of different lock")

tools/testing/selftests/bpf/progs/res_spin_lock_fail.c

178

__failure __msg("bpf_res_spin_unlock cannot be out of order")

tools/testing/selftests/bpf/progs/res_spin_lock_fail.c

193

__failure __msg("off 1 doesn't point to 'struct bpf_res_spin_lock' that is at 0")

tools/testing/selftests/bpf/progs/res_spin_lock_fail.c

206

__failure __msg("R1 doesn't have constant offset. bpf_res_spin_lock has to be at the constant offset")

tools/testing/selftests/bpf/progs/res_spin_lock_fail.c

225

__failure __msg("map 'res_spin.bss' has no valid bpf_res_spin_lock")

tools/testing/selftests/bpf/progs/res_spin_lock_fail.c

233

__failure __msg("local 'kptr' has no valid bpf_res_spin_lock")

tools/testing/selftests/bpf/progs/res_spin_lock_fail.c

27

__failure __msg("point to map value or allocated object")

tools/testing/selftests/bpf/progs/res_spin_lock_fail.c

41

__failure __msg("AA deadlock detected")

tools/testing/selftests/bpf/progs/res_spin_lock_fail.c

55

__failure __msg("AA deadlock detected")

tools/testing/selftests/bpf/progs/res_spin_lock_fail.c

70

__failure __msg("unlock of different lock")

tools/testing/selftests/bpf/progs/res_spin_lock_fail.c

85

__failure __msg("unlock of different lock")

tools/testing/selftests/bpf/progs/sock_destroy_prog_fail.c

14

__failure __msg("calling kernel function bpf_sock_destroy is not allowed")

tools/testing/selftests/bpf/progs/stream_fail.c

10

__failure __msg("Possibly NULL pointer passed")

tools/testing/selftests/bpf/progs/stream_fail.c

18

__failure __msg("R3 type=scalar expected=")

tools/testing/selftests/bpf/progs/stream_fail.c

26

__failure __msg("arg#1 doesn't point to a const string")

tools/testing/selftests/bpf/progs/struct_ops_kptr_return_fail__invalid_scalar.c

15

__failure __msg("At program exit the register R0 has smin=1 smax=1 should have been in [0, 0]")

tools/testing/selftests/bpf/progs/struct_ops_kptr_return_fail__local_kptr.c

16

__failure __msg("At program exit the register R0 is not a known value (ptr_or_null_)")

tools/testing/selftests/bpf/progs/struct_ops_kptr_return_fail__nonzero_offset.c

15

__failure __msg("dereference of modified trusted_ptr_ ptr R0 off={{[0-9]+}} disallowed")

tools/testing/selftests/bpf/progs/struct_ops_kptr_return_fail__wrong_type.c

15

__failure __msg("At program exit the register R0 is not a known value (trusted_ptr_or_null_)")

tools/testing/selftests/bpf/progs/struct_ops_refcounted_fail__global_subprog.c

25

__msg("Validating subprog_release() func#1...")

tools/testing/selftests/bpf/progs/struct_ops_refcounted_fail__global_subprog.c

26

__msg("invalid bpf_context access off=8. Reference may already be released")

tools/testing/selftests/bpf/progs/struct_ops_refcounted_fail__ref_leak.c

12

__failure __msg("Unreleased reference id=1 alloc_insn=0")

tools/testing/selftests/bpf/progs/struct_ops_refcounted_fail__tail_call.c

21

__failure __msg("program with __ref argument cannot tail call")

tools/testing/selftests/bpf/progs/tailcall_fail.c

26

__failure __msg("function calls are not allowed while holding a lock")

tools/testing/selftests/bpf/progs/tailcall_fail.c

35

__failure __msg("tail_call cannot be used inside bpf_rcu_read_lock-ed region")

tools/testing/selftests/bpf/progs/tailcall_fail.c

45

__failure __msg("tail_call cannot be used inside bpf_preempt_disable-ed region")

tools/testing/selftests/bpf/progs/tailcall_fail.c

54

__failure __msg("tail_call would lead to reference leak")

tools/testing/selftests/bpf/progs/task_kfunc_failure.c

103

__failure __msg("Possibly NULL pointer passed to trusted arg0")

tools/testing/selftests/bpf/progs/task_kfunc_failure.c

118

__failure __msg("Unreleased reference")

tools/testing/selftests/bpf/progs/task_kfunc_failure.c

132

__failure __msg("Unreleased reference")

tools/testing/selftests/bpf/progs/task_kfunc_failure.c

152

__failure __msg("Possibly NULL pointer passed to trusted arg0")

tools/testing/selftests/bpf/progs/task_kfunc_failure.c

165

__failure __msg("Possibly NULL pointer passed to trusted arg0")

tools/testing/selftests/bpf/progs/task_kfunc_failure.c

181

__failure __msg("arg#0 pointer type STRUCT task_struct must point")

tools/testing/selftests/bpf/progs/task_kfunc_failure.c

193

__failure __msg("Possibly NULL pointer passed to trusted arg0")

tools/testing/selftests/bpf/progs/task_kfunc_failure.c

227

__failure __msg("release kernel function bpf_task_release expects")

tools/testing/selftests/bpf/progs/task_kfunc_failure.c

237

__failure __msg("Possibly NULL pointer passed to trusted arg0")

tools/testing/selftests/bpf/progs/task_kfunc_failure.c

251

__failure __msg("Possibly NULL pointer passed to trusted arg0")

tools/testing/selftests/bpf/progs/task_kfunc_failure.c

265

__failure __msg("R1 must be a rcu pointer")

tools/testing/selftests/bpf/progs/task_kfunc_failure.c

280

__failure __msg("access beyond the end of member comm")

tools/testing/selftests/bpf/progs/task_kfunc_failure.c

288

__failure __msg("access beyond the end of member comm")

tools/testing/selftests/bpf/progs/task_kfunc_failure.c

296

__failure __msg("write into memory")

tools/testing/selftests/bpf/progs/task_kfunc_failure.c

304

__failure __msg("R1 type=ptr_ expected")

tools/testing/selftests/bpf/progs/task_kfunc_failure.c

31

__failure __msg("Possibly NULL pointer passed to trusted arg0")

tools/testing/selftests/bpf/progs/task_kfunc_failure.c

316

__failure __msg("R1 must be referenced or trusted")

tools/testing/selftests/bpf/progs/task_kfunc_failure.c

52

__failure __msg("arg#0 pointer type STRUCT task_struct must point")

tools/testing/selftests/bpf/progs/task_kfunc_failure.c

68

__failure __msg("calling kernel function bpf_task_acquire is not allowed")

tools/testing/selftests/bpf/progs/task_kfunc_failure.c

83

__failure __msg("calling kernel function bpf_task_acquire is not allowed")

tools/testing/selftests/bpf/progs/task_work_fail.c

46

__failure __msg("doesn't match map pointer in R3")

tools/testing/selftests/bpf/progs/task_work_fail.c

61

__failure __msg("arg#1 doesn't point to a map value")

tools/testing/selftests/bpf/progs/task_work_fail.c

73

__failure __msg("Possibly NULL pointer passed to trusted arg1")

tools/testing/selftests/bpf/progs/task_work_fail.c

84

__failure __msg("Possibly NULL pointer passed to trusted arg2")

tools/testing/selftests/bpf/progs/test_bpf_nf_fail.c

155

__failure __msg("Possibly NULL pointer passed to trusted arg1")

tools/testing/selftests/bpf/progs/test_bpf_nf_fail.c

168

__failure __msg("Possibly NULL pointer passed to trusted arg3")

tools/testing/selftests/bpf/progs/test_bpf_nf_fail.c

181

__failure __msg("Possibly NULL pointer passed to trusted arg1")

tools/testing/selftests/bpf/progs/test_bpf_nf_fail.c

194

__failure __msg("Possibly NULL pointer passed to trusted arg3")

tools/testing/selftests/bpf/progs/test_global_func1.c

51

__failure __msg("combined stack size of 3 calls is")

tools/testing/selftests/bpf/progs/test_global_func10.c

29

__failure __msg("invalid read from stack")

tools/testing/selftests/bpf/progs/test_global_func11.c

17

__failure __msg("Caller passes invalid args into func#1")

tools/testing/selftests/bpf/progs/test_global_func12.c

17

__failure __msg("invalid mem access 'mem_or_null'")

tools/testing/selftests/bpf/progs/test_global_func13.c

20

__failure __msg("Caller passes invalid args into func#1")

tools/testing/selftests/bpf/progs/test_global_func14.c

18

__failure __msg("reference type('FWD S') size cannot be determined")

tools/testing/selftests/bpf/progs/test_global_func15.c

16

__failure __msg("At program exit the register R0 has ")

tools/testing/selftests/bpf/progs/test_global_func15.c

30

__msg("mark_precise: frame0: regs=r0 stack= before 2: (b7) r0 = 1")

tools/testing/selftests/bpf/progs/test_global_func15.c

32

__msg("mark_precise: frame0: regs=r0 stack= before 0: (85) call bpf_get_prandom_u32#7")

tools/testing/selftests/bpf/progs/test_global_func15.c

33

__msg("At program exit the register R0 has ")

tools/testing/selftests/bpf/progs/test_global_func17.c

15

__failure __msg("Caller passes invalid args into func#1")

tools/testing/selftests/bpf/progs/test_global_func3.c

57

__failure __msg("the call stack of 8 frames")

tools/testing/selftests/bpf/progs/test_global_func5.c

29

__failure __msg("expects pointer to ctx")

tools/testing/selftests/bpf/progs/test_global_func6.c

29

__failure __msg("modified ctx ptr R2")

tools/testing/selftests/bpf/progs/test_global_func7.c

15

__failure __msg("foo() doesn't return scalar")

tools/testing/selftests/bpf/progs/test_kfunc_dynptr_param.c

38

__failure __msg("cannot pass in dynptr at an offset=-8")

tools/testing/selftests/bpf/progs/test_kfunc_dynptr_param.c

48

__failure __msg("arg#0 expected pointer to stack or const struct bpf_dynptr")

tools/testing/selftests/bpf/progs/test_kfunc_param_nullable.c

32

__failure __msg("Possibly NULL pointer passed to trusted arg0")

tools/testing/selftests/bpf/progs/test_tp_btf_nullable.c

10

__failure __msg("R1 invalid mem access 'trusted_ptr_or_null_'")

tools/testing/selftests/bpf/progs/timer_failure.c

50

__msg("mark_precise: frame0: regs=r0 stack= before")

tools/testing/selftests/bpf/progs/timer_failure.c

51

__msg(": (85) call bpf_get_prandom_u32#7") /* anchor message */

tools/testing/selftests/bpf/progs/timer_failure.c

53

__msg("mark_precise: frame0: regs=r0 stack= before ") __msg(": (85) call bpf_get_prandom_u32#7")

tools/testing/selftests/bpf/progs/timer_failure.c

54

__msg("should have been in [0, 0]")

tools/testing/selftests/bpf/progs/uninit_stack.c

64

__log_level(7) __msg("fp-104=mmmmmmmm")

tools/testing/selftests/bpf/progs/unsupported_ops.c

13

__msg("attach to unsupported member unsupported_ops of struct bpf_testmod_ops")

tools/testing/selftests/bpf/progs/uprobe_multi_verifier.c

27

__msg("At program exit the register R0 has smin=2 smax=2 should have been in [0, 1]")

tools/testing/selftests/bpf/progs/uptr_failure.c

18

__failure __msg("store to uptr disallowed")

tools/testing/selftests/bpf/progs/uptr_failure.c

35

__failure __msg("store to uptr disallowed")

tools/testing/selftests/bpf/progs/uptr_failure.c

52

__failure __msg("R1 invalid mem access 'mem_or_null'")

tools/testing/selftests/bpf/progs/uptr_failure.c

70

__failure __msg("doesn't point to kptr")

tools/testing/selftests/bpf/progs/uptr_failure.c

88

__failure __msg("invalid mem access 'scalar'")

tools/testing/selftests/bpf/progs/user_ringbuf_fail.c

107

__failure __msg("invalid mem access 'scalar'")

tools/testing/selftests/bpf/progs/user_ringbuf_fail.c

129

__failure __msg("invalid mem access 'scalar'")

tools/testing/selftests/bpf/progs/user_ringbuf_fail.c

149

__failure __msg("cannot release unowned const bpf_dynptr")

tools/testing/selftests/bpf/progs/user_ringbuf_fail.c

169

__failure __msg("cannot release unowned const bpf_dynptr")

tools/testing/selftests/bpf/progs/user_ringbuf_fail.c

187

__failure __msg("At callback return the register R0 has ")

tools/testing/selftests/bpf/progs/user_ringbuf_fail.c

210

__failure __msg("Dynptr has to be an uninitialized dynptr")

tools/testing/selftests/bpf/progs/user_ringbuf_fail.c

218

__failure __msg("Dynptr has to be an uninitialized dynptr")

tools/testing/selftests/bpf/progs/user_ringbuf_fail.c

239

__failure __msg("dereference of modified dynptr_ptr ptr R1 off=16384 disallowed")

tools/testing/selftests/bpf/progs/user_ringbuf_fail.c

44

__failure __msg("negative offset dynptr_ptr ptr")

tools/testing/selftests/bpf/progs/user_ringbuf_fail.c

67

__failure __msg("dereference of modified dynptr_ptr ptr")

tools/testing/selftests/bpf/progs/user_ringbuf_fail.c

87

__failure __msg("invalid mem access 'dynptr_ptr'")

tools/testing/selftests/bpf/progs/verifier_and.c

24

__failure __msg("R0 max value is outside of the allowed memory range")

tools/testing/selftests/bpf/progs/verifier_and.c

53

__failure __msg("R0 max value is outside of the allowed memory range")

tools/testing/selftests/bpf/progs/verifier_arena.c

423

__failure __msg("expected pointer to STRUCT bpf_map")

tools/testing/selftests/bpf/progs/verifier_arena.c

433

__failure __msg("untrusted_ptr_bpf_map")

tools/testing/selftests/bpf/progs/verifier_array_access.c

167

__failure __msg("invalid access to map value, value_size=48 off=48 size=8")

tools/testing/selftests/bpf/progs/verifier_array_access.c

192

__failure __msg("R0 min value is outside of the allowed memory range")

tools/testing/selftests/bpf/progs/verifier_array_access.c

222

__msg("R0 unbounded memory access, make sure to bounds check any such access")

tools/testing/selftests/bpf/progs/verifier_array_access.c

250

__failure __msg("R0 unbounded memory access")

tools/testing/selftests/bpf/progs/verifier_array_access.c

282

__failure __msg("invalid access to map value, value_size=48 off=44 size=8")

tools/testing/selftests/bpf/progs/verifier_array_access.c

314

__failure __msg("R0 pointer += pointer")

tools/testing/selftests/bpf/progs/verifier_array_access.c

395

__failure __msg("write into map forbidden")

tools/testing/selftests/bpf/progs/verifier_array_access.c

418

__failure __msg("write into map forbidden")

tools/testing/selftests/bpf/progs/verifier_array_access.c

495

__failure __msg("read from map forbidden")

tools/testing/selftests/bpf/progs/verifier_array_access.c

517

__failure __msg("read from map forbidden")

tools/testing/selftests/bpf/progs/verifier_array_access.c

545

__msg("mark_precise: frame0: regs= stack=-8 before {{[0-9]}}: ({{[a-f0-9]+}}) *(u32 *)(r10 -8) = {{(1|r[0-9])}}")

tools/testing/selftests/bpf/progs/verifier_array_access.c

561

__msg("mark_precise: frame0: regs= stack=-8 before {{[0-9]}}: ({{[a-f0-9]+}}) *(u32 *)(r10 -16) = {{(0|r[0-9])}}")

tools/testing/selftests/bpf/progs/verifier_array_access.c

562

__msg("mark_precise: frame0: regs= stack=-8 before {{[0-9]}}: ({{[a-f0-9]+}}) *(u32 *)(r10 -8) = {{(1|r[0-9])}}")

tools/testing/selftests/bpf/progs/verifier_array_access.c

599

__msg("mark_precise: frame0: regs= stack=-8 before {{[0-9]}}: ({{[a-f0-9]+}}) *(u32 *)(r10 -8) = {{(1|r[0-9])}}")

tools/testing/selftests/bpf/progs/verifier_array_access.c

613

__failure __msg("R0 invalid mem access 'map_value_or_null'")

tools/testing/selftests/bpf/progs/verifier_array_access.c

628

__failure __msg("R0 invalid mem access 'map_value_or_null'")

tools/testing/selftests/bpf/progs/verifier_array_access.c

651

__failure __msg("R0 invalid mem access 'map_value_or_null'")

tools/testing/selftests/bpf/progs/verifier_array_access.c

669

__failure __msg("R0 invalid mem access 'map_value_or_null'")

tools/testing/selftests/bpf/progs/verifier_array_access.c

684

__failure __msg("invalid read from stack R2 off=4096 size=4")

tools/testing/selftests/bpf/progs/verifier_array_access.c

704

__failure __msg("R0 invalid mem access 'map_value_or_null'")

tools/testing/selftests/bpf/progs/verifier_async_cb_context.c

34

__failure __msg("helper call might sleep in a non-sleepable prog")

tools/testing/selftests/bpf/progs/verifier_async_cb_context.c

50

__failure __msg("helper call might sleep in a non-sleepable prog")

tools/testing/selftests/bpf/progs/verifier_basic_stack.c

17

__failure __msg("invalid write to stack")

tools/testing/selftests/bpf/progs/verifier_basic_stack.c

30

__success __log_level(4) __msg("stack depth 8")

tools/testing/selftests/bpf/progs/verifier_basic_stack.c

48

__success __log_level(4) __msg("stack depth 8")

tools/testing/selftests/bpf/progs/verifier_basic_stack.c

61

__failure __msg("R1 subtraction from stack pointer")

tools/testing/selftests/bpf/progs/verifier_basic_stack.c

89

__failure __msg("misaligned stack access")

tools/testing/selftests/bpf/progs/verifier_bits_iter.c

22

__failure __msg("Unreleased reference")

tools/testing/selftests/bpf/progs/verifier_bits_iter.c

35

__failure __msg("expected an initialized iter_bits as arg #0")

tools/testing/selftests/bpf/progs/verifier_bits_iter.c

46

__failure __msg("expected an initialized iter_bits as arg #0")

tools/testing/selftests/bpf/progs/verifier_bounds.c

1244

__msg("r6 *= r7 {{.*}}; R6=scalar(smin=umin=0x1bc16d5cd4927ee1,smax=umax=0x1bc16d674ec80000,smax32=0x7ffffeff,umax32=0xfffffeff,var_off=(0x1bc16d4000000000; 0x3ffffffeff))")

tools/testing/selftests/bpf/progs/verifier_bounds.c

1267

__msg("r6 *= r7 {{.*}}; R6=scalar(smin=smin32=-100,smax=smax32=200)")

tools/testing/selftests/bpf/progs/verifier_bounds.c

1290

__msg("r6 *= r7 {{.*}}; R6=scalar(smin=umin=smin32=umin32=0x3ff280b0,smax=umax=smax32=umax32=0x3fff0001,var_off=(0x3ff00000; 0xf81ff))")

tools/testing/selftests/bpf/progs/verifier_bounds.c

1314

__msg("r8 *= r6 {{.*}}; R6=scalar(smin=smin32=0,smax=umax=smax32=umax32=11,var_off=(0x0; 0xb)) R8=scalar(smin=0,smax=umax=0x7b96bb0a94a3a7cd,var_off=(0x0; 0x7fffffffffffffff))")

tools/testing/selftests/bpf/progs/verifier_bounds.c

1334

__msg("r6 *= r7 {{.*}}; R6=scalar()")

tools/testing/selftests/bpf/progs/verifier_bounds.c

1356

__msg("r6 *= r7 {{.*}}; R6=scalar()")

tools/testing/selftests/bpf/progs/verifier_bounds.c

1379

__msg("5: (0f) r3 += r3 {{.*}} R3=scalar(umin=0x4000000000000000,umax=0xfffffffffffffffe)")

tools/testing/selftests/bpf/progs/verifier_bounds.c

1399

__msg("4: (0f) r3 += r3 {{.*}} R3=scalar()")

tools/testing/selftests/bpf/progs/verifier_bounds.c

1419

__msg("4: (0c) w3 += w3 {{.*}} R3=scalar(smin=umin=umin32=0x40000000,smax=umax=umax32=0xfffffffe,var_off=(0x0; 0xffffffff))")

tools/testing/selftests/bpf/progs/verifier_bounds.c

143

__failure __msg("map_value pointer and 4294967295")

tools/testing/selftests/bpf/progs/verifier_bounds.c

1439

__msg("4: (0c) w3 += w3 {{.*}} R3=scalar(smin=0,smax=umax=0xffffffff,var_off=(0x0; 0xffffffff))")

tools/testing/selftests/bpf/progs/verifier_bounds.c

1459

__msg("6: (1f) r3 -= r1 {{.*}} R3=scalar(umin=1,umax=0x8000000000000000)")

tools/testing/selftests/bpf/progs/verifier_bounds.c

1480

__msg("3: (1f) r3 -= r2 {{.*}} R3=scalar(id=1-1)")

tools/testing/selftests/bpf/progs/verifier_bounds.c

1499

__msg("5: (1c) w3 -= w1 {{.*}} R3=scalar(smin=umin=umin32=1,smax=umax=umax32=0x80000000,var_off=(0x0; 0xffffffff))")

tools/testing/selftests/bpf/progs/verifier_bounds.c

1520

__msg("3: (1c) w3 -= w2 {{.*}} R3=scalar(smin=0,smax=umax=0xffffffff,var_off=(0x0; 0xffffffff))")

tools/testing/selftests/bpf/progs/verifier_bounds.c

1576

__msg("7: (1f) r0 -= r6 {{.*}} R0=scalar(smin=smin32=-655,smax=smax32=-146,umin=0xfffffffffffffd71,umax=0xffffffffffffff6e,umin32=0xfffffd71,umax32=0xffffff6e,var_off=(0xfffffffffffffc00; 0x3ff))")

tools/testing/selftests/bpf/progs/verifier_bounds.c

1620

__msg("3: (2d) if r0 > r1 {{.*}} R0=scalar(smin=smin32=0,smax=umax=smax32=umax32=127,var_off=(0x0; 0x7f))")

tools/testing/selftests/bpf/progs/verifier_bounds.c

1653

__msg("3: (2d) if r0 > r1 {{.*}} R0=scalar(smin=smin32=-128,smax=smax32=127,umax=0xffffffffffffff80)")

tools/testing/selftests/bpf/progs/verifier_bounds.c

1654

__msg("frame pointer is read only")

tools/testing/selftests/bpf/progs/verifier_bounds.c

174

__failure __msg("R0 min value is outside of the allowed memory range")

tools/testing/selftests/bpf/progs/verifier_bounds.c

18

__failure __msg("R0 max value is outside of the allowed memory range")

tools/testing/selftests/bpf/progs/verifier_bounds.c

1800

__msg("3: (b7) r0 = 0 {{.*}} R0=0")

tools/testing/selftests/bpf/progs/verifier_bounds.c

1801

__msg("5: (b7) r0 = 1 {{.*}} R0=1")

tools/testing/selftests/bpf/progs/verifier_bounds.c

1822

__msg("4: (b7) r0 = 0 {{.*}} R0=0")

tools/testing/selftests/bpf/progs/verifier_bounds.c

1823

__msg("6: (b7) r0 = 1 {{.*}} R0=1")

tools/testing/selftests/bpf/progs/verifier_bounds.c

1845

__msg("4: (b7) r0 = 0 {{.*}} R0=0")

tools/testing/selftests/bpf/progs/verifier_bounds.c

1846

__msg("6: (b7) r0 = 1 {{.*}} R0=1")

tools/testing/selftests/bpf/progs/verifier_bounds.c

1878

__msg("3: (15) if r0 == 0xe0 {{.*}} R0=240")

tools/testing/selftests/bpf/progs/verifier_bounds.c

1908

__msg("3: (15) if r0 == 0xf0 {{.*}} R0=224")

tools/testing/selftests/bpf/progs/verifier_bounds.c

1942

__msg("3: (a5) if r0 < 0x7cf {{.*}} R0=2000")

tools/testing/selftests/bpf/progs/verifier_bounds.c

1965

__msg("2: (25) if r0 > 0x1 {{.*}} R0=scalar(smin=smin32=0,smax=umax=smax32=umax32=1,var_off=(0x0; 0x1))")

tools/testing/selftests/bpf/progs/verifier_bounds.c

1987

__msg("2: (25) if r0 > 0x10 {{.*}} R0=scalar(smin=umin=smin32=umin32=15,smax=umax=smax32=umax32=16,var_off=(0x0; 0x1f))")

tools/testing/selftests/bpf/progs/verifier_bounds.c

2042

__failure __msg("invalid access to map value")

tools/testing/selftests/bpf/progs/verifier_bounds.c

205

__failure __msg("value_size=8 off=1073741825")

tools/testing/selftests/bpf/progs/verifier_bounds.c

234

__failure __msg("value 1073741823")

tools/testing/selftests/bpf/progs/verifier_bounds.c

305

__msg("value -4294967168 makes map_value pointer be out of bounds")

tools/testing/selftests/bpf/progs/verifier_bounds.c

345

__failure __msg("value -4294967168 makes map_value pointer be out of bounds")

tools/testing/selftests/bpf/progs/verifier_bounds.c

419

__failure __msg("R0 max value is outside of the allowed memory range")

tools/testing/selftests/bpf/progs/verifier_bounds.c

452

__failure __msg("R0 unbounded memory access")

tools/testing/selftests/bpf/progs/verifier_bounds.c

487

__failure __msg("math between map_value pointer and 4294967294 is not allowed")

tools/testing/selftests/bpf/progs/verifier_bounds.c

50

__msg("R0 min value is negative, either use unsigned index or do a if (index >=0) check.")

tools/testing/selftests/bpf/progs/verifier_bounds.c

519

__failure __msg("map_value pointer and 2147483646")

tools/testing/selftests/bpf/progs/verifier_bounds.c

544

__failure __msg("pointer offset 1073741822")

tools/testing/selftests/bpf/progs/verifier_bounds.c

571

__failure __msg("pointer offset -1073741822")

tools/testing/selftests/bpf/progs/verifier_bounds.c

597

__failure __msg("map_value pointer and 1000000000000")

tools/testing/selftests/bpf/progs/verifier_bounds.c

806

__failure __msg("invalid access to map value")

tools/testing/selftests/bpf/progs/verifier_bounds.c

833

__failure __msg("invalid access to map value")

tools/testing/selftests/bpf/progs/verifier_bounds.c

929

__msg("5: (af) r0 ^= r6 ; R0=scalar(smin=smin32=0,smax=umax=smax32=umax32=431,var_off=(0x0; 0x1af))")

tools/testing/selftests/bpf/progs/verifier_bounds.c

950

__msg("5: (4f) r0 |= r6 ; R0=scalar(smin=smin32=0,smax=umax=smax32=umax32=431,var_off=(0x0; 0x1af))")

tools/testing/selftests/bpf/progs/verifier_bounds.c

971

__msg("5: (2f) r0 *= r6 ; R0=scalar(smin=smin32=0,smax=umax=smax32=umax32=3825,var_off=(0x0; 0xfff))")

tools/testing/selftests/bpf/progs/verifier_bounds_deduction.c

10

__failure __msg("R0 tried to subtract pointer from scalar")

tools/testing/selftests/bpf/progs/verifier_bounds_deduction.c

104

__failure __msg("dereference of modified ctx ptr")

tools/testing/selftests/bpf/progs/verifier_bounds_deduction.c

123

__failure __msg("negative offset ctx ptr R1 off=-1 disallowed")

tools/testing/selftests/bpf/progs/verifier_bounds_deduction.c

142

__failure __msg("R0 tried to subtract pointer from scalar")

tools/testing/selftests/bpf/progs/verifier_bounds_deduction.c

157

__msg("math between ctx pointer and register with unbounded min value is not allowed")

tools/testing/selftests/bpf/progs/verifier_bounds_deduction.c

42

__failure __msg("R0 tried to subtract pointer from scalar")

tools/testing/selftests/bpf/progs/verifier_bounds_deduction.c

75

__failure __msg("R0 tried to subtract pointer from scalar")

tools/testing/selftests/bpf/progs/verifier_bounds_deduction.c

89

__failure __msg("R0 tried to subtract pointer from scalar")

tools/testing/selftests/bpf/progs/verifier_bounds_mix_sign_unsign.c

115

__failure __msg("unbounded min value")

tools/testing/selftests/bpf/progs/verifier_bounds_mix_sign_unsign.c

17

__failure __msg("unbounded min value")

tools/testing/selftests/bpf/progs/verifier_bounds_mix_sign_unsign.c

179

__failure __msg("unbounded min value")

tools/testing/selftests/bpf/progs/verifier_bounds_mix_sign_unsign.c

212

__failure __msg("R4 min value is negative, either use unsigned")

tools/testing/selftests/bpf/progs/verifier_bounds_mix_sign_unsign.c

275

__failure __msg("unbounded min value")

tools/testing/selftests/bpf/progs/verifier_bounds_mix_sign_unsign.c

342

__failure __msg("unbounded min value")

tools/testing/selftests/bpf/progs/verifier_bounds_mix_sign_unsign.c

376

__failure __msg("unbounded min value")

tools/testing/selftests/bpf/progs/verifier_bounds_mix_sign_unsign.c

411

__failure __msg("unbounded min value")

tools/testing/selftests/bpf/progs/verifier_bounds_mix_sign_unsign.c

445

__failure __msg("unbounded min value")

tools/testing/selftests/bpf/progs/verifier_bounds_mix_sign_unsign.c

482

__failure __msg("unbounded min value")

tools/testing/selftests/bpf/progs/verifier_bounds_mix_sign_unsign.c

49

__failure __msg("unbounded min value")

tools/testing/selftests/bpf/progs/verifier_bounds_mix_sign_unsign.c

520

__failure __msg("unbounded min value")

tools/testing/selftests/bpf/progs/verifier_bounds_mix_sign_unsign.c

81

__failure __msg("unbounded min value")

tools/testing/selftests/bpf/progs/verifier_bpf_fastcall.c

13

__log_level(4) __msg("stack depth 8")

tools/testing/selftests/bpf/progs/verifier_bpf_fastcall.c

601

__log_level(4) __msg("stack depth 8")

tools/testing/selftests/bpf/progs/verifier_bpf_fastcall.c

623

__log_level(4) __msg("stack depth 24")

tools/testing/selftests/bpf/progs/verifier_bpf_fastcall.c

663

__log_level(4) __msg("stack depth 24")

tools/testing/selftests/bpf/progs/verifier_bpf_fastcall.c

710

__log_level(4) __msg("stack depth 32+0")

tools/testing/selftests/bpf/progs/verifier_bpf_fastcall.c

758

__log_level(4) __msg("stack depth 40+0")

tools/testing/selftests/bpf/progs/verifier_bpf_fastcall.c

803

__msg("stack depth 512+0")

tools/testing/selftests/bpf/progs/verifier_bpf_fastcall.c

99

__log_level(4) __msg("stack depth 16")

tools/testing/selftests/bpf/progs/verifier_bpf_trap.c

10

__failure __msg("unexpected __bpf_trap() due to uninitialized variable?")

tools/testing/selftests/bpf/progs/verifier_bpf_trap.c

19

__failure __msg("unexpected __bpf_trap() due to uninitialized variable?")

tools/testing/selftests/bpf/progs/verifier_bpf_trap.c

27

__failure __msg("unexpected __bpf_trap() due to uninitialized variable?")

tools/testing/selftests/bpf/progs/verifier_bpf_trap.c

57

__failure __msg("unexpected __bpf_trap() due to uninitialized variable?")

tools/testing/selftests/bpf/progs/verifier_bswap.c

54

__msg("r0 &= {{.*}}; R0=scalar({{.*}},var_off=(0x0; " #in_value "))") \

tools/testing/selftests/bpf/progs/verifier_bswap.c

55

__msg("r0 = " op " r0 {{.*}}; R0=scalar({{.*}},var_off=(0x0; " #out_value "))") \

tools/testing/selftests/bpf/progs/verifier_bswap.c

96

__failure __msg("math between fp pointer and register with unbounded min value is not allowed")

tools/testing/selftests/bpf/progs/verifier_btf_ctx_access.c

34

__failure __msg("size 4 must be 8")

tools/testing/selftests/bpf/progs/verifier_btf_ctx_access.c

46

__failure __msg("size 2 must be 8")

tools/testing/selftests/bpf/progs/verifier_btf_ctx_access.c

58

__failure __msg("size 1 must be 8")

tools/testing/selftests/bpf/progs/verifier_cfg.c

10

__failure __msg("unreachable")

tools/testing/selftests/bpf/progs/verifier_cfg.c

124

__failure __msg("infinite loop detected")

tools/testing/selftests/bpf/progs/verifier_cfg.c

150

__failure __msg("infinite loop detected")

tools/testing/selftests/bpf/progs/verifier_cfg.c

22

__failure __msg("unreachable")

tools/testing/selftests/bpf/progs/verifier_cfg.c

35

__failure __msg("jump out of range")

tools/testing/selftests/bpf/progs/verifier_cfg.c

48

__failure __msg("jump out of range")

tools/testing/selftests/bpf/progs/verifier_cfg.c

60

__failure __msg("unreachable insn 1")

tools/testing/selftests/bpf/progs/verifier_cfg.c

72

__failure __msg("unreachable insn 4")

tools/testing/selftests/bpf/progs/verifier_cfg.c

87

__failure __msg("infinite loop detected")

tools/testing/selftests/bpf/progs/verifier_cgroup_inv_retcode.c

10

__failure __msg("smin=0 smax=4294967295 should have been in [0, 1]")

tools/testing/selftests/bpf/progs/verifier_cgroup_inv_retcode.c

33

__failure __msg("smin=0 smax=3 should have been in [0, 1]")

tools/testing/selftests/bpf/progs/verifier_cgroup_inv_retcode.c

56

__failure __msg("smin=2 smax=2 should have been in [0, 1]")

tools/testing/selftests/bpf/progs/verifier_cgroup_inv_retcode.c

67

__failure __msg("R0 is not a known value (ctx)")

tools/testing/selftests/bpf/progs/verifier_cgroup_inv_retcode.c

78

__failure __msg("R0 has unknown scalar value should have been in [0, 1]")

tools/testing/selftests/bpf/progs/verifier_cgroup_skb.c

137

__failure __msg("invalid bpf_context access")

tools/testing/selftests/bpf/progs/verifier_cgroup_skb.c

152

__failure __msg("invalid bpf_context access")

tools/testing/selftests/bpf/progs/verifier_cgroup_skb.c

167

__failure __msg("invalid bpf_context access")

tools/testing/selftests/bpf/progs/verifier_cgroup_skb.c

182

__failure __msg("invalid bpf_context access")

tools/testing/selftests/bpf/progs/verifier_cgroup_storage.c

110

__failure __msg("invalid access to map value, value_size=64 off=-2 size=4")

tools/testing/selftests/bpf/progs/verifier_cgroup_storage.c

131

__failure __msg("get_local_storage() doesn't support non-zero flags")

tools/testing/selftests/bpf/progs/verifier_cgroup_storage.c

151

__failure __msg("get_local_storage() doesn't support non-zero flags")

tools/testing/selftests/bpf/progs/verifier_cgroup_storage.c

190

__failure __msg("cannot pass map_type 1 into func bpf_get_local_storage")

tools/testing/selftests/bpf/progs/verifier_cgroup_storage.c

210

__failure __msg("fd 1 is not pointing to valid bpf_map")

tools/testing/selftests/bpf/progs/verifier_cgroup_storage.c

229

__failure __msg("invalid access to map value, value_size=64 off=256 size=4")

tools/testing/selftests/bpf/progs/verifier_cgroup_storage.c

249

__failure __msg("invalid access to map value, value_size=64 off=-2 size=4")

tools/testing/selftests/bpf/progs/verifier_cgroup_storage.c

270

__failure __msg("get_local_storage() doesn't support non-zero flags")

tools/testing/selftests/bpf/progs/verifier_cgroup_storage.c

290

__failure __msg("get_local_storage() doesn't support non-zero flags")

tools/testing/selftests/bpf/progs/verifier_cgroup_storage.c

51

__failure __msg("cannot pass map_type 1 into func bpf_get_local_storage")

tools/testing/selftests/bpf/progs/verifier_cgroup_storage.c

71

__failure __msg("fd 1 is not pointing to valid bpf_map")

tools/testing/selftests/bpf/progs/verifier_cgroup_storage.c

90

__failure __msg("invalid access to map value, value_size=64 off=256 size=4")

tools/testing/selftests/bpf/progs/verifier_const.c

15

__failure __msg("write into map forbidden")

tools/testing/selftests/bpf/progs/verifier_const.c

45

__failure __msg("write into map forbidden")

tools/testing/selftests/bpf/progs/verifier_const.c

82

__failure __msg("write into map forbidden")

tools/testing/selftests/bpf/progs/verifier_const.c

91

__failure __msg("write into map forbidden")

tools/testing/selftests/bpf/progs/verifier_const_or.c

28

__failure __msg("invalid write to stack R1 off=-48 size=58")

tools/testing/selftests/bpf/progs/verifier_const_or.c

65

__failure __msg("invalid write to stack R1 off=-48 size=58")

tools/testing/selftests/bpf/progs/verifier_ctx.c

10

__failure __msg("BPF_ATOMIC stores into R1 ctx is not allowed")

tools/testing/selftests/bpf/progs/verifier_ctx.c

134

__failure __msg("R1 type=scalar expected=ctx")

tools/testing/selftests/bpf/progs/verifier_ctx.c

149

__failure __msg("negative offset ctx ptr R1 off=-612 disallowed")

tools/testing/selftests/bpf/progs/verifier_ctx.c

208

__failure __msg("R1 type=scalar expected=ctx")

tools/testing/selftests/bpf/progs/verifier_ctx.c

224

__failure __msg("invalid bpf_context access") \

tools/testing/selftests/bpf/progs/verifier_ctx.c

24

__failure __msg("dereference of modified ctx ptr")

tools/testing/selftests/bpf/progs/verifier_ctx.c

249

__failure __msg("invalid bpf_context access") \

tools/testing/selftests/bpf/progs/verifier_ctx.c

280

__failure __msg("invalid bpf_context access")

tools/testing/selftests/bpf/progs/verifier_ctx.c

286

__failure __msg("invalid bpf_context access")

tools/testing/selftests/bpf/progs/verifier_ctx.c

289

__failure __msg("invalid bpf_context access")

tools/testing/selftests/bpf/progs/verifier_ctx.c

292

__failure __msg("invalid bpf_context access")

tools/testing/selftests/bpf/progs/verifier_ctx.c

55

__failure __msg("negative offset ctx ptr R1 off=-612 disallowed")

tools/testing/selftests/bpf/progs/verifier_ctx.c

71

__failure __msg("negative offset ctx ptr R1 off=-612 disallowed")

tools/testing/selftests/bpf/progs/verifier_ctx.c

87

__failure __msg("variable ctx access var_off=(0x0; 0x4)")

tools/testing/selftests/bpf/progs/verifier_ctx_sk_msg.c

126

__failure __msg("invalid bpf_context access")

tools/testing/selftests/bpf/progs/verifier_ctx_sk_msg.c

140

__failure __msg("invalid bpf_context access")

tools/testing/selftests/bpf/progs/verifier_ctx_sk_msg.c

153

__failure __msg("invalid bpf_context access")

tools/testing/selftests/bpf/progs/verifier_d_path.c

30

__failure __msg("helper call is not allowed in probe")

tools/testing/selftests/bpf/progs/verifier_direct_packet_access.c

139

__failure __msg("invalid access to packet")

tools/testing/selftests/bpf/progs/verifier_direct_packet_access.c

161

__failure __msg("invalid access to packet")

tools/testing/selftests/bpf/progs/verifier_direct_packet_access.c

232

__failure __msg("invalid access to packet")

tools/testing/selftests/bpf/progs/verifier_direct_packet_access.c

367

__failure __msg("R2 invalid mem access 'scalar'")

tools/testing/selftests/bpf/progs/verifier_direct_packet_access.c

394

__failure __msg("R3 pointer arithmetic on pkt_end")

tools/testing/selftests/bpf/progs/verifier_direct_packet_access.c

415

__failure __msg("misaligned packet access off 2+0+15+-4 size 4")

tools/testing/selftests/bpf/progs/verifier_direct_packet_access.c

572

__failure __msg("invalid access to packet, off=0 size=8, R5(id=3,off=0,r=0)")

tools/testing/selftests/bpf/progs/verifier_direct_packet_access.c

653

__failure __msg("invalid access to packet")

tools/testing/selftests/bpf/progs/verifier_direct_packet_access.c

694

__failure __msg("invalid access to packet")

tools/testing/selftests/bpf/progs/verifier_direct_packet_access.c

747

__failure __msg("invalid access to packet, off=0 size=1, R2")

tools/testing/selftests/bpf/progs/verifier_direct_packet_access.c

82

__failure __msg("invalid bpf_context access off=76")

tools/testing/selftests/bpf/progs/verifier_direct_stack_access_wraparound.c

10

__failure __msg("fp pointer and 2147483647")

tools/testing/selftests/bpf/progs/verifier_direct_stack_access_wraparound.c

26

__failure __msg("fp pointer and 1073741823")

tools/testing/selftests/bpf/progs/verifier_direct_stack_access_wraparound.c

42

__failure __msg("fp pointer offset 1073741822")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

1018

__msg("r1 s%= -3 {{.*}}; R1=scalar(smin=smin32=-2,smax=smax32=0)")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

1041

__msg("r1 s%= -3 {{.*}}; R1=scalar(smin=smin32=-2,smax=smax32=2)")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

1064

__msg("r1 s%= -11 {{.*}}; R1=scalar(smin=smin32=-8,smax=smax32=10)")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

107

__msg("w1 s/= 3 {{.*}}; R1=scalar(smin=umin=smin32=umin32=2,smax=umax=smax32=umax32=3,var_off=(0x2; 0x1))")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

1087

__msg("r1 s%= r2 {{.*}}; R1=scalar(smin=smin32=-8,smax=smax32=10) R2=0")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

1111

__msg("r1 s%= -1 {{.*}}; R1=0")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

1135

__msg("r1 s%= -1 {{.*}}; R1=0")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

130

__msg("w1 s/= 3 {{.*}}; R1=scalar(smin=umin=umin32=0xfffffffd,smax=umax=umax32=0xfffffffe,smin32=-3,smax32=-2,var_off=(0xfffffffc; 0x3))")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

153

__msg("w1 s/= 3 {{.*}}; R1=scalar(smin=0,smax=umax=0xffffffff,smin32=-2,smax32=3,var_off=(0x0; 0xffffffff))")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

17

__msg("w1 /= 3 {{.*}}; R1=scalar(smin=smin32=0,smax=umax=smax32=umax32=3,var_off=(0x0; 0x3))")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

176

__msg("w1 s/= -3 {{.*}}; R1=scalar(smin=umin=umin32=0xfffffffd,smax=umax=umax32=0xfffffffe,smin32=-3,smax32=-2,var_off=(0xfffffffc; 0x3))")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

199

__msg("w1 s/= -3 {{.*}}; R1=scalar(smin=umin=smin32=umin32=2,smax=umax=smax32=umax32=3,var_off=(0x2; 0x1))")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

222

__msg("w1 s/= -3 {{.*}}; R1=scalar(smin=0,smax=umax=0xffffffff,smin32=-3,smax32=2,var_off=(0x0; 0xffffffff))")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

245

__msg("w1 s/= w2 {{.*}}; R1=0 R2=0")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

268

__msg("w1 s/= -1 {{.*}}; R1=scalar(smin=0,smax=umax=0xffffffff,var_off=(0x0; 0xffffffff))")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

289

__msg("w1 s/= -1 {{.*}}; R1=0x80000000")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

308

__msg("r1 s/= 3 {{.*}}; R1=scalar(smin=umin=smin32=umin32=2,smax=umax=smax32=umax32=3,var_off=(0x2; 0x1))")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

331

__msg("r1 s/= 3 {{.*}}; R1=scalar(smin=smin32=-3,smax=smax32=-2,umin=0xfffffffffffffffd,umax=0xfffffffffffffffe,umin32=0xfffffffd,umax32=0xfffffffe,var_off=(0xfffffffffffffffc; 0x3))")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

354

__msg("r1 s/= 3 {{.*}}; R1=scalar(smin=smin32=-2,smax=smax32=3)")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

377

__msg("r1 s/= -3 {{.*}}; R1=scalar(smin=smin32=-3,smax=smax32=-2,umin=0xfffffffffffffffd,umax=0xfffffffffffffffe,umin32=0xfffffffd,umax32=0xfffffffe,var_off=(0xfffffffffffffffc; 0x3))")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

39

__msg("w1 /= w2 {{.*}}; R1=0 R2=0")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

400

__msg("r1 s/= -3 {{.*}}; R1=scalar(smin=umin=smin32=umin32=2,smax=umax=smax32=umax32=3,var_off=(0x2; 0x1))")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

423

__msg("r1 s/= -3 {{.*}}; R1=scalar(smin=smin32=-3,smax=smax32=2)")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

446

__msg("r1 s/= r2 {{.*}}; R1=0 R2=0")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

469

__msg("r1 s/= -1 {{.*}}; R1=scalar()")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

490

__msg("r1 s/= -1 {{.*}}; R1=0x8000000000000000")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

510

__msg("w1 %= 3 {{.*}}; R1=scalar(smin=smin32=0,smax=umax=smax32=umax32=2,var_off=(0x0; 0x3))")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

532

__msg("w1 %= 10 {{.*}}; R1=scalar(smin=umin=smin32=umin32=1,smax=umax=smax32=umax32=9,var_off=(0x1; 0x8))")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

556

__msg("w1 %= w2 {{.*}}; R1=scalar(smin=umin=smin32=umin32=1,smax=umax=smax32=umax32=9,var_off=(0x1; 0x8)) R2=0")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

581

__msg("r1 %= 3 {{.*}}; R1=scalar(smin=smin32=0,smax=umax=smax32=umax32=2,var_off=(0x0; 0x3))")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

603

__msg("r1 %= 10 {{.*}}; R1=scalar(smin=umin=smin32=umin32=1,smax=umax=smax32=umax32=9,var_off=(0x1; 0x8))")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

62

__msg("r1 /= 3 {{.*}}; R1=scalar(smin=smin32=0,smax=umax=smax32=umax32=3,var_off=(0x0; 0x3))")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

627

__msg("r1 %= r2 {{.*}}; R1=scalar(smin=umin=smin32=umin32=1,smax=umax=smax32=umax32=9,var_off=(0x1; 0x8)) R2=0")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

652

__msg("w1 s%= 3 {{.*}}; R1=scalar(smin=smin32=0,smax=umax=smax32=umax32=2,var_off=(0x0; 0x3))")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

675

__msg("w1 s%= 3 {{.*}}; R1=scalar(smin=0,smax=umax=0xffffffff,smin32=-2,smax32=0,var_off=(0x0; 0xffffffff))")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

698

__msg("w1 s%= 3 {{.*}}; R1=scalar(smin=0,smax=umax=0xffffffff,smin32=-2,smax32=2,var_off=(0x0; 0xffffffff))")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

721

__msg("w1 s%= 11 {{.*}}; R1=scalar(smin=0,smax=umax=0xffffffff,smin32=-8,smax32=10,var_off=(0x0; 0xffffffff))")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

744

__msg("w1 s%= -3 {{.*}}; R1=scalar(smin=smin32=0,smax=umax=smax32=umax32=2,var_off=(0x0; 0x3))")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

767

__msg("w1 s%= -3 {{.*}}; R1=scalar(smin=0,smax=umax=0xffffffff,smin32=-2,smax32=0,var_off=(0x0; 0xffffffff))")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

790

__msg("w1 s%= -3 {{.*}}; R1=scalar(smin=0,smax=umax=0xffffffff,smin32=-2,smax32=2,var_off=(0x0; 0xffffffff))")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

813

__msg("w1 s%= -11 {{.*}}; R1=scalar(smin=0,smax=umax=0xffffffff,smin32=-8,smax32=10,var_off=(0x0; 0xffffffff))")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

836

__msg("w1 s%= w2 {{.*}}; R1=scalar(smin=0,smax=umax=0xffffffff,smin32=-8,smax32=10,var_off=(0x0; 0xffffffff)) R2=0")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

84

__msg("r1 /= r2 {{.*}}; R1=0 R2=0")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

860

__msg("w1 s%= -1 {{.*}}; R1=0")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

884

__msg("w1 s%= -1 {{.*}}; R1=0")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

903

__msg("r1 s%= 3 {{.*}}; R1=scalar(smin=smin32=0,smax=umax=smax32=umax32=2,var_off=(0x0; 0x3))")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

926

__msg("r1 s%= 3 {{.*}}; R1=scalar(smin=smin32=-2,smax=smax32=0)")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

949

__msg("r1 s%= 3 {{.*}}; R1=scalar(smin=smin32=-2,smax=smax32=2)")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

972

__msg("r1 s%= 11 {{.*}}; R1=scalar(smin=smin32=-8,smax=smax32=10)")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

995

__msg("r1 s%= -3 {{.*}}; R1=scalar(smin=smin32=0,smax=umax=smax32=umax32=2,var_off=(0x0; 0x3))")

tools/testing/selftests/bpf/progs/verifier_global_ptr_args.c

120

__msg("Validating subprog_nullable_task_flavor() func#1...")

tools/testing/selftests/bpf/progs/verifier_global_ptr_args.c

121

__msg(": R1=trusted_ptr_or_null_task_struct(")

tools/testing/selftests/bpf/progs/verifier_global_ptr_args.c

138

__msg("Validating subprog_nonnull_task_flavor() func#1...")

tools/testing/selftests/bpf/progs/verifier_global_ptr_args.c

139

__msg(": R1=trusted_ptr_task_struct(")

tools/testing/selftests/bpf/progs/verifier_global_ptr_args.c

156

__msg("release kernel function bpf_task_release expects refcounted PTR_TO_BTF_ID")

tools/testing/selftests/bpf/progs/verifier_global_ptr_args.c

189

__msg("arg#0 untrusted cannot be combined with any other tags")

tools/testing/selftests/bpf/progs/verifier_global_ptr_args.c

204

__msg("arg#0 reference type('STRUCT local_type_wont_be_accepted') has no matches")

tools/testing/selftests/bpf/progs/verifier_global_ptr_args.c

218

__msg("r1 = {{.*}}; {{.*}}R1=trusted_ptr_task_struct()")

tools/testing/selftests/bpf/progs/verifier_global_ptr_args.c

219

__msg("Func#1 ('subprog_untrusted') is global and assumed valid.")

tools/testing/selftests/bpf/progs/verifier_global_ptr_args.c

220

__msg("Validating subprog_untrusted() func#1...")

tools/testing/selftests/bpf/progs/verifier_global_ptr_args.c

221

__msg(": R1=untrusted_ptr_task_struct")

tools/testing/selftests/bpf/progs/verifier_global_ptr_args.c

256

__msg("R1 type=untrusted_ptr_ expected=ptr_, trusted_ptr_, rcu_ptr_")

tools/testing/selftests/bpf/progs/verifier_global_ptr_args.c

257

__msg("Caller passes invalid args into func#{{.*}} ('subprog_trusted_task_nullable')")

tools/testing/selftests/bpf/progs/verifier_global_ptr_args.c

281

__msg("r1 = {{.*}}; {{.*}}R1=trusted_ptr_task_struct()")

tools/testing/selftests/bpf/progs/verifier_global_ptr_args.c

282

__msg("Func#1 ('subprog_void_untrusted') is global and assumed valid.")

tools/testing/selftests/bpf/progs/verifier_global_ptr_args.c

283

__msg("Validating subprog_void_untrusted() func#1...")

tools/testing/selftests/bpf/progs/verifier_global_ptr_args.c

284

__msg(": R1=rdonly_untrusted_mem(sz=0)")

tools/testing/selftests/bpf/progs/verifier_global_ptr_args.c

29

__msg("Validating subprog_trusted_task_nullable() func#1...")

tools/testing/selftests/bpf/progs/verifier_global_ptr_args.c

30

__msg(": R1=trusted_ptr_or_null_task_struct(")

tools/testing/selftests/bpf/progs/verifier_global_ptr_args.c

66

__msg("R1 type=scalar expected=ptr_, trusted_ptr_, rcu_ptr_")

tools/testing/selftests/bpf/progs/verifier_global_ptr_args.c

67

__msg("Caller passes invalid args into func#1 ('subprog_trusted_task_nonnull')")

tools/testing/selftests/bpf/progs/verifier_global_ptr_args.c

75

__msg("R1 type=trusted_ptr_or_null_ expected=ptr_, trusted_ptr_, rcu_ptr_")

tools/testing/selftests/bpf/progs/verifier_global_ptr_args.c

76

__msg("Caller passes invalid args into func#1 ('subprog_trusted_task_nonnull')")

tools/testing/selftests/bpf/progs/verifier_global_ptr_args.c

96

__msg("Validating subprog_trusted_task_nonnull() func#1...")

tools/testing/selftests/bpf/progs/verifier_global_ptr_args.c

97

__msg(": R1=trusted_ptr_task_struct(")

tools/testing/selftests/bpf/progs/verifier_global_subprogs.c

100

__msg("Validating global_unsupp() func#1...")

tools/testing/selftests/bpf/progs/verifier_global_subprogs.c

101

__msg("value is outside of the allowed memory range")

tools/testing/selftests/bpf/progs/verifier_global_subprogs.c

118

__msg("invalid mem access 'mem_or_null'")

tools/testing/selftests/bpf/progs/verifier_global_subprogs.c

137

__msg("invalid bpf_context access")

tools/testing/selftests/bpf/progs/verifier_global_subprogs.c

138

__msg("Caller passes invalid args into func#1 ('subprog_user_anon_mem')")

tools/testing/selftests/bpf/progs/verifier_global_subprogs.c

147

__msg("Func#1 ('subprog_user_anon_mem') is safe for any args that match its prototype")

tools/testing/selftests/bpf/progs/verifier_global_subprogs.c

51

__msg("('global_calls_good_only') is global and assumed valid.")

tools/testing/selftests/bpf/progs/verifier_global_subprogs.c

53

__msg("Validating global_good() func")

tools/testing/selftests/bpf/progs/verifier_global_subprogs.c

54

__msg("('global_good') is safe for any args that match its prototype")

tools/testing/selftests/bpf/progs/verifier_global_subprogs.c

67

__msg("('global_calls_bad') is global and assumed valid.")

tools/testing/selftests/bpf/progs/verifier_global_subprogs.c

69

__msg("Validating global_bad() func")

tools/testing/selftests/bpf/progs/verifier_global_subprogs.c

70

__msg("math between map_value pointer and register") /* BOOM */

tools/testing/selftests/bpf/progs/verifier_global_subprogs.c

99

__msg("Func#1 ('global_unsupp') is global and assumed valid.")

tools/testing/selftests/bpf/progs/verifier_gotox.c

129

DEFINE_INVALID_SIZE_PROG(u32, __failure __msg("Invalid read of 4 bytes from insn_array"))

tools/testing/selftests/bpf/progs/verifier_gotox.c

130

DEFINE_INVALID_SIZE_PROG(u16, __failure __msg("Invalid read of 2 bytes from insn_array"))

tools/testing/selftests/bpf/progs/verifier_gotox.c

131

DEFINE_INVALID_SIZE_PROG(u8, __failure __msg("Invalid read of 1 bytes from insn_array"))

tools/testing/selftests/bpf/progs/verifier_gotox.c

134

__failure __msg("misaligned value access off 0+1+0 size 8")

tools/testing/selftests/bpf/progs/verifier_gotox.c

162

__failure __msg("invalid access to map value, value_size=16 off=24 size=8")

tools/testing/selftests/bpf/progs/verifier_gotox.c

190

__failure __msg("invalid access to map value, value_size=16 off=-24 size=8")

tools/testing/selftests/bpf/progs/verifier_gotox.c

247

__failure __msg("write into map forbidden, value_size=16 off=8 size=8")

tools/testing/selftests/bpf/progs/verifier_gotox.c

321

__failure __msg("jump table for insn 4 points outside of the subprog [0,10]")

tools/testing/selftests/bpf/progs/verifier_gotox.c

46

DEFINE_SIMPLE_JUMP_TABLE_PROG(reserved_field_src_reg, BPF_REG_1, 0, 0, __failure __msg("BPF_JA|BPF_X uses reserved fields"))

tools/testing/selftests/bpf/progs/verifier_gotox.c

47

DEFINE_SIMPLE_JUMP_TABLE_PROG(reserved_field_non_zero_off, BPF_REG_0, 1, 0, __failure __msg("BPF_JA|BPF_X uses reserved fields"))

tools/testing/selftests/bpf/progs/verifier_gotox.c

48

DEFINE_SIMPLE_JUMP_TABLE_PROG(reserved_field_non_zero_imm, BPF_REG_0, 0, 1, __failure __msg("BPF_JA|BPF_X uses reserved fields"))

tools/testing/selftests/bpf/progs/verifier_gotox.c

55

__failure __msg("no jump tables found for subprog starting at 0")

tools/testing/selftests/bpf/progs/verifier_gotox.c

71

__failure __msg("R1 has type scalar, expected PTR_TO_INSN")

tools/testing/selftests/bpf/progs/verifier_helper_access_var_len.c

103

__failure __msg("invalid write to stack R1 off=-64 size=65")

tools/testing/selftests/bpf/progs/verifier_helper_access_var_len.c

190

__failure __msg("invalid write to stack R1 off=-64 size=65")

tools/testing/selftests/bpf/progs/verifier_helper_access_var_len.c

214

__failure __msg("invalid write to stack R1 off=-64 size=65")

tools/testing/selftests/bpf/progs/verifier_helper_access_var_len.c

239

__msg("R2 min value is negative, either use unsigned or 'var &= const'")

tools/testing/selftests/bpf/progs/verifier_helper_access_var_len.c

297

__failure __msg("R2 min value is negative")

tools/testing/selftests/bpf/progs/verifier_helper_access_var_len.c

350

__failure __msg("invalid access to map value, value_size=48 off=0 size=49")

tools/testing/selftests/bpf/progs/verifier_helper_access_var_len.c

417

__failure __msg("R1 min value is outside of the allowed memory range")

tools/testing/selftests/bpf/progs/verifier_helper_access_var_len.c

469

__failure __msg("R1 type=scalar expected=fp")

tools/testing/selftests/bpf/progs/verifier_helper_access_var_len.c

624

__failure __msg("R1 type=scalar expected=fp")

tools/testing/selftests/bpf/progs/verifier_helper_access_var_len.c

640

__failure __msg("R1 type=scalar expected=fp")

tools/testing/selftests/bpf/progs/verifier_helper_packet_access.c

115

__failure __msg("invalid access to packet")

tools/testing/selftests/bpf/progs/verifier_helper_packet_access.c

164

__failure __msg("invalid access to packet")

tools/testing/selftests/bpf/progs/verifier_helper_packet_access.c

212

__failure __msg("invalid access to packet")

tools/testing/selftests/bpf/progs/verifier_helper_packet_access.c

237

__failure __msg("invalid access to packet")

tools/testing/selftests/bpf/progs/verifier_helper_packet_access.c

261

__failure __msg("helper access to the packet")

tools/testing/selftests/bpf/progs/verifier_helper_packet_access.c

286

__failure __msg("helper access to the packet")

tools/testing/selftests/bpf/progs/verifier_helper_packet_access.c

363

__failure __msg("invalid access to packet")

tools/testing/selftests/bpf/progs/verifier_helper_packet_access.c

390

__failure __msg("invalid access to packet")

tools/testing/selftests/bpf/progs/verifier_helper_packet_access.c

417

__failure __msg("R2 min value is negative")

tools/testing/selftests/bpf/progs/verifier_helper_packet_access.c

42

__failure __msg("invalid access to packet")

tools/testing/selftests/bpf/progs/verifier_helper_packet_access.c

444

__failure __msg("R2 min value is negative")

tools/testing/selftests/bpf/progs/verifier_helper_packet_access.c

499

__failure __msg("R1 type=pkt_end expected=fp")

tools/testing/selftests/bpf/progs/verifier_helper_packet_access.c

526

__failure __msg("invalid access to packet")

tools/testing/selftests/bpf/progs/verifier_helper_packet_access.c

90

__failure __msg("invalid access to packet")

tools/testing/selftests/bpf/progs/verifier_helper_restricted.c

101

__failure __msg("tracing progs cannot use bpf_spin_lock yet")

tools/testing/selftests/bpf/progs/verifier_helper_restricted.c

124

__failure __msg("tracing progs cannot use bpf_spin_lock yet")

tools/testing/selftests/bpf/progs/verifier_helper_restricted.c

147

__failure __msg("tracing progs cannot use bpf_spin_lock yet")

tools/testing/selftests/bpf/progs/verifier_helper_restricted.c

22

__failure __msg("program of this type cannot use helper bpf_ktime_get_coarse_ns")

tools/testing/selftests/bpf/progs/verifier_helper_restricted.c

36

__failure __msg("program of this type cannot use helper bpf_ktime_get_coarse_ns")

tools/testing/selftests/bpf/progs/verifier_helper_restricted.c

50

__failure __msg("program of this type cannot use helper bpf_ktime_get_coarse_ns")

tools/testing/selftests/bpf/progs/verifier_helper_restricted.c

64

__failure __msg("program of this type cannot use helper bpf_ktime_get_coarse_ns")

tools/testing/selftests/bpf/progs/verifier_helper_restricted.c

78

__failure __msg("tracing progs cannot use bpf_spin_lock yet")

tools/testing/selftests/bpf/progs/verifier_helper_value_access.c

1026

__failure __msg("invalid access to map value, value_size=8 off=0 size=16")

tools/testing/selftests/bpf/progs/verifier_helper_value_access.c

1078

__failure __msg("invalid access to map value, value_size=16 off=12 size=8")

tools/testing/selftests/bpf/progs/verifier_helper_value_access.c

1103

__failure __msg("invalid access to map value, value_size=16 off=-4 size=8")

tools/testing/selftests/bpf/progs/verifier_helper_value_access.c

1153

__failure __msg("invalid access to map value, value_size=16 off=12 size=8")

tools/testing/selftests/bpf/progs/verifier_helper_value_access.c

1179

__failure __msg("invalid access to map value, value_size=16 off=-4 size=8")

tools/testing/selftests/bpf/progs/verifier_helper_value_access.c

1232

__msg("R2 unbounded memory access, make sure to bounds check any such access")

tools/testing/selftests/bpf/progs/verifier_helper_value_access.c

1257

__failure __msg("invalid access to map value, value_size=16 off=9 size=8")

tools/testing/selftests/bpf/progs/verifier_helper_value_access.c

126

__failure __msg("R2 invalid zero-sized read: u64=[0,4]")

tools/testing/selftests/bpf/progs/verifier_helper_value_access.c

155

__failure __msg("invalid access to map value, value_size=48 off=0 size=56")

tools/testing/selftests/bpf/progs/verifier_helper_value_access.c

181

__failure __msg("R2 min value is negative")

tools/testing/selftests/bpf/progs/verifier_helper_value_access.c

261

__failure __msg("R2 invalid zero-sized read")

tools/testing/selftests/bpf/progs/verifier_helper_value_access.c

287

__failure __msg("invalid access to map value, value_size=48 off=4 size=52")

tools/testing/selftests/bpf/progs/verifier_helper_value_access.c

315

__failure __msg("R2 min value is negative")

tools/testing/selftests/bpf/progs/verifier_helper_value_access.c

342

__failure __msg("R2 min value is negative")

tools/testing/selftests/bpf/progs/verifier_helper_value_access.c

426

__failure __msg("R2 invalid zero-sized read")

tools/testing/selftests/bpf/progs/verifier_helper_value_access.c

452

__failure __msg("invalid access to map value, value_size=48 off=4 size=52")

tools/testing/selftests/bpf/progs/verifier_helper_value_access.c

481

__failure __msg("R2 min value is negative")

tools/testing/selftests/bpf/progs/verifier_helper_value_access.c

509

__failure __msg("R2 min value is negative")

tools/testing/selftests/bpf/progs/verifier_helper_value_access.c

596

__failure __msg("R2 invalid zero-sized read")

tools/testing/selftests/bpf/progs/verifier_helper_value_access.c

624

__failure __msg("R1 unbounded memory access")

tools/testing/selftests/bpf/progs/verifier_helper_value_access.c

651

__failure __msg("invalid access to map value, value_size=48 off=4 size=45")

tools/testing/selftests/bpf/progs/verifier_helper_value_access.c

710

__failure __msg("R1 unbounded memory access")

tools/testing/selftests/bpf/progs/verifier_helper_value_access.c

768

__failure __msg("R1 unbounded memory access")

tools/testing/selftests/bpf/progs/verifier_helper_value_access.c

857

__failure __msg("R1 min value is negative")

tools/testing/selftests/bpf/progs/verifier_helper_value_access.c

947

__failure __msg("R1 min value is negative")

tools/testing/selftests/bpf/progs/verifier_helper_value_access.c

99

__failure __msg("R2 invalid zero-sized read: u64=[0,0]")

tools/testing/selftests/bpf/progs/verifier_int_ptr.c

68

__failure __msg("misaligned stack access off 0+-20+0 size 8")

tools/testing/selftests/bpf/progs/verifier_int_ptr.c

99

__failure __msg("invalid write to stack R4 off=-4 size=8")

tools/testing/selftests/bpf/progs/verifier_iterating_callbacks.c

125

__failure __msg("invalid access to map value, value_size=2 off=32 size=1")

tools/testing/selftests/bpf/progs/verifier_iterating_callbacks.c

140

__failure __msg("invalid access to map value, value_size=2 off=32 size=1")

tools/testing/selftests/bpf/progs/verifier_iterating_callbacks.c

155

__failure __msg("invalid access to map value, value_size=2 off=32 size=1")

tools/testing/selftests/bpf/progs/verifier_iterating_callbacks.c

182

__failure __msg("invalid access to map value, value_size=2 off=2 size=1")

tools/testing/selftests/bpf/progs/verifier_iterating_callbacks.c

279

__failure __msg("infinite loop detected at insn 2")

tools/testing/selftests/bpf/progs/verifier_iterating_callbacks.c

296

__failure __msg("infinite loop detected at insn 1")

tools/testing/selftests/bpf/progs/verifier_iterating_callbacks.c

45

__failure __msg("R1 type=scalar expected=fp")

tools/testing/selftests/bpf/progs/verifier_iterating_callbacks.c

62

__failure __msg("invalid access to map value, value_size=2 off=32 size=1")

tools/testing/selftests/bpf/progs/verifier_iterating_callbacks.c

703

__msg("*(u8 *)(r7 +0) = r0")

tools/testing/selftests/bpf/progs/verifier_iterating_callbacks.c

704

__msg("invalid access to map value, value_size=10 off=10 size=1")

tools/testing/selftests/bpf/progs/verifier_iterating_callbacks.c

729

__msg("*(u8 *)(r8 -1) = r0")

tools/testing/selftests/bpf/progs/verifier_iterating_callbacks.c

730

__msg("invalid access to map value, value_size=10 off=10 size=1")

tools/testing/selftests/bpf/progs/verifier_iterating_callbacks.c

97

__failure __msg("infinite loop detected")

tools/testing/selftests/bpf/progs/verifier_jeq_infer_not_null.c

140

__failure __msg("R7 invalid mem access 'sock_or_null'")

tools/testing/selftests/bpf/progs/verifier_jeq_infer_not_null.c

66

__failure __msg("R7 invalid mem access 'sock_or_null'")

tools/testing/selftests/bpf/progs/verifier_ld_ind.c

11

__failure __msg("R1 !read_ok")

tools/testing/selftests/bpf/progs/verifier_ld_ind.c

28

__failure __msg("R2 !read_ok")

tools/testing/selftests/bpf/progs/verifier_ld_ind.c

45

__failure __msg("R3 !read_ok")

tools/testing/selftests/bpf/progs/verifier_ld_ind.c

62

__failure __msg("R4 !read_ok")

tools/testing/selftests/bpf/progs/verifier_ld_ind.c

79

__failure __msg("R5 !read_ok")

tools/testing/selftests/bpf/progs/verifier_ldsx.c

156

__failure __msg("invalid bpf_context access")

tools/testing/selftests/bpf/progs/verifier_ldsx.c

170

__failure __msg("invalid bpf_context access")

tools/testing/selftests/bpf/progs/verifier_ldsx.c

184

__failure __msg("invalid bpf_context access")

tools/testing/selftests/bpf/progs/verifier_ldsx.c

198

__failure __msg("invalid bpf_context access")

tools/testing/selftests/bpf/progs/verifier_ldsx.c

212

__failure __msg("invalid bpf_context access")

tools/testing/selftests/bpf/progs/verifier_ldsx.c

226

__failure __msg("invalid bpf_context access")

tools/testing/selftests/bpf/progs/verifier_ldsx.c

240

__failure __msg("invalid bpf_context access")

tools/testing/selftests/bpf/progs/verifier_ldsx.c

254

__failure __msg("invalid bpf_context access")

tools/testing/selftests/bpf/progs/verifier_ldsx.c

75

__msg("R1=scalar(smin=smin32=-128,smax=smax32=127)")

tools/testing/selftests/bpf/progs/verifier_leak_ptr.c

17

__failure __msg("BPF_ATOMIC stores into R1 ctx is not allowed")

tools/testing/selftests/bpf/progs/verifier_leak_ptr.c

35

__failure __msg("BPF_ATOMIC stores into R1 ctx is not allowed")

tools/testing/selftests/bpf/progs/verifier_linked_scalars.c

11

__msg("math between fp pointer and 2147483647 is not allowed")

tools/testing/selftests/bpf/progs/verifier_linked_scalars.c

196

__msg("div by zero")

tools/testing/selftests/bpf/progs/verifier_linked_scalars.c

297

__msg("div by zero")

tools/testing/selftests/bpf/progs/verifier_linked_scalars.c

388

__failure __msg("div by zero")

tools/testing/selftests/bpf/progs/verifier_linked_scalars.c

422

__failure __msg("div by zero")

tools/testing/selftests/bpf/progs/verifier_live_stack.c

113

__msg("(2,4) frame 0 insn 4 +written -8")

tools/testing/selftests/bpf/progs/verifier_live_stack.c

114

__msg("(2,4) live stack update done in 2 iterations")

tools/testing/selftests/bpf/progs/verifier_live_stack.c

115

__msg("(0) frame 0 insn 2 +written -8")

tools/testing/selftests/bpf/progs/verifier_live_stack.c

116

__msg("(0) live stack update done in 2 iterations")

tools/testing/selftests/bpf/progs/verifier_live_stack.c

139

__msg("2: .12345.... (85) call pc+4")

tools/testing/selftests/bpf/progs/verifier_live_stack.c

140

__msg("5: .12345.... (85) call pc+1")

tools/testing/selftests/bpf/progs/verifier_live_stack.c

141

__msg("6: 0......... (95) exit")

tools/testing/selftests/bpf/progs/verifier_live_stack.c

143

__msg("7: .1........ (79) r0 = *(u64 *)(r1 +0)")

tools/testing/selftests/bpf/progs/verifier_live_stack.c

144

__msg("8: 0......... (95) exit")

tools/testing/selftests/bpf/progs/verifier_live_stack.c

146

__msg("(2,7) frame 0 insn 7 +live -8")

tools/testing/selftests/bpf/progs/verifier_live_stack.c

147

__msg("(2,7) live stack update done in 2 iterations")

tools/testing/selftests/bpf/progs/verifier_live_stack.c

148

__msg("(0) frame 0 insn 2 +live -8")

tools/testing/selftests/bpf/progs/verifier_live_stack.c

149

__msg("(0) live stack update done in 2 iterations")

tools/testing/selftests/bpf/progs/verifier_live_stack.c

151

__msg("(5,7) frame 0 insn 7 +live -16")

tools/testing/selftests/bpf/progs/verifier_live_stack.c

152

__msg("(5,7) live stack update done in 2 iterations")

tools/testing/selftests/bpf/progs/verifier_live_stack.c

153

__msg("(0) frame 0 insn 5 +live -16")

tools/testing/selftests/bpf/progs/verifier_live_stack.c

154

__msg("(0) live stack update done in 2 iterations")

tools/testing/selftests/bpf/progs/verifier_live_stack.c

17

__msg("(0) frame 0 insn 2 +written -8")

tools/testing/selftests/bpf/progs/verifier_live_stack.c

18

__msg("(0) frame 0 insn 1 +live -24")

tools/testing/selftests/bpf/progs/verifier_live_stack.c

180

__msg(" 9: .1........ (79) r0 = *(u64 *)(r1 +0)")

tools/testing/selftests/bpf/progs/verifier_live_stack.c

181

__msg("10: .......... (b7) r0 = 0")

tools/testing/selftests/bpf/progs/verifier_live_stack.c

182

__msg("11: 0......... (05) goto pc+0")

tools/testing/selftests/bpf/progs/verifier_live_stack.c

183

__msg("12: 0......... (95) exit")

tools/testing/selftests/bpf/progs/verifier_live_stack.c

189

__msg("12: safe")

tools/testing/selftests/bpf/progs/verifier_live_stack.c

19

__msg("(0) frame 0 insn 1 +written -8")

tools/testing/selftests/bpf/progs/verifier_live_stack.c

190

__msg("processed 20 insns")

tools/testing/selftests/bpf/progs/verifier_live_stack.c

20

__msg("(0) frame 0 insn 0 +live -8,-24")

tools/testing/selftests/bpf/progs/verifier_live_stack.c

21

__msg("(0) frame 0 insn 0 +written -8")

tools/testing/selftests/bpf/progs/verifier_live_stack.c

22

__msg("(0) live stack update done in 2 iterations")

tools/testing/selftests/bpf/progs/verifier_live_stack.c

230

__msg("R1 type=scalar expected=map_ptr")

tools/testing/selftests/bpf/progs/verifier_live_stack.c

304

__failure __msg("invalid read from stack R2 off=-1024 size=8")

tools/testing/selftests/bpf/progs/verifier_live_stack.c

36

__msg("(0) frame 0 insn 1 +live -8")

tools/testing/selftests/bpf/progs/verifier_live_stack.c

38

__msg("(0) live stack update done in 2 iterations")

tools/testing/selftests/bpf/progs/verifier_live_stack.c

39

__msg("(0) frame 0 insn 1 +live -16")

tools/testing/selftests/bpf/progs/verifier_live_stack.c

40

__msg("(0) frame 0 insn 1 +written -32")

tools/testing/selftests/bpf/progs/verifier_live_stack.c

41

__msg("(0) live stack update done in 2 iterations")

tools/testing/selftests/bpf/progs/verifier_live_stack.c

61

__msg("2: (25) if r0 > 0x2a goto pc+1")

tools/testing/selftests/bpf/progs/verifier_live_stack.c

62

__msg("7: (95) exit")

tools/testing/selftests/bpf/progs/verifier_live_stack.c

63

__msg("(0) frame 0 insn 2 +written -16")

tools/testing/selftests/bpf/progs/verifier_live_stack.c

64

__msg("(0) live stack update done in 2 iterations")

tools/testing/selftests/bpf/progs/verifier_live_stack.c

65

__msg("7: (95) exit")

tools/testing/selftests/bpf/progs/verifier_live_stack.c

67

__msg("(0) live stack update done in 1 iterations")

tools/testing/selftests/bpf/progs/verifier_live_stack.c

86

__msg("(0) frame 0 insn 0 +written -8,-16")

tools/testing/selftests/bpf/progs/verifier_live_stack.c

87

__msg("(0) live stack update done in 2 iterations")

tools/testing/selftests/bpf/progs/verifier_live_stack.c

88

__msg("(0) frame 0 insn 0 +written -8")

tools/testing/selftests/bpf/progs/verifier_live_stack.c

89

__msg("(0) live stack update done in 2 iterations")

tools/testing/selftests/bpf/progs/verifier_load_acquire.c

107

__failure __failure_unpriv __msg("R1 invalid mem access 'scalar'")

tools/testing/selftests/bpf/progs/verifier_load_acquire.c

122

__failure __failure_unpriv __msg("misaligned stack access off")

tools/testing/selftests/bpf/progs/verifier_load_acquire.c

139

__failure __failure_unpriv __msg("BPF_ATOMIC loads from R1 ctx is not allowed")

tools/testing/selftests/bpf/progs/verifier_load_acquire.c

153

__failure __msg("BPF_ATOMIC loads from R2 pkt is not allowed")

tools/testing/selftests/bpf/progs/verifier_load_acquire.c

175

__failure __msg("BPF_ATOMIC loads from R2 flow_keys is not allowed")

tools/testing/selftests/bpf/progs/verifier_load_acquire.c

192

__failure __msg("BPF_ATOMIC loads from R2 sock is not allowed")

tools/testing/selftests/bpf/progs/verifier_load_acquire.c

210

__failure __failure_unpriv __msg("R15 is invalid")

tools/testing/selftests/bpf/progs/verifier_load_acquire.c

93

__failure __failure_unpriv __msg("R2 !read_ok")

tools/testing/selftests/bpf/progs/verifier_loops1.c

126

__failure __msg("program is too large")

tools/testing/selftests/bpf/progs/verifier_loops1.c

142

__msg("the call stack of 8 frames is too deep !")

tools/testing/selftests/bpf/progs/verifier_loops1.c

167

__failure __msg("loop detected")

tools/testing/selftests/bpf/progs/verifier_loops1.c

180

__failure __msg("loop detected")

tools/testing/selftests/bpf/progs/verifier_lsm.c

132

__failure __msg("points to disabled hook")

tools/testing/selftests/bpf/progs/verifier_lsm.c

143

__failure __msg("points to disabled hook")

tools/testing/selftests/bpf/progs/verifier_lsm.c

154

__failure __msg("points to disabled hook")

tools/testing/selftests/bpf/progs/verifier_lsm.c

165

__failure __msg("R1 invalid mem access 'trusted_ptr_or_null_'")

tools/testing/selftests/bpf/progs/verifier_lsm.c

32

__failure __msg("R0 has smin=-4096 smax=-4096 should have been in [-4095, 0]")

tools/testing/selftests/bpf/progs/verifier_lsm.c

43

__failure __msg("R0 has smin=4096 smax=4096 should have been in [-4095, 0]")

tools/testing/selftests/bpf/progs/verifier_lsm.c

54

__failure __msg("R0 has smin=1 smax=1 should have been in [-4095, 0]")

tools/testing/selftests/bpf/progs/verifier_lsm.c

88

__failure __msg("R0 has smin=-1 smax=-1 should have been in [0, 1]")

tools/testing/selftests/bpf/progs/verifier_lsm.c

99

__failure __msg("R0 has smin=2 smax=2 should have been in [0, 1]")

tools/testing/selftests/bpf/progs/verifier_lwt.c

10

__failure __msg("cannot write into packet")

tools/testing/selftests/bpf/progs/verifier_lwt.c

175

__failure __msg("invalid bpf_context access")

tools/testing/selftests/bpf/progs/verifier_lwt.c

189

__failure __msg("invalid bpf_context access")

tools/testing/selftests/bpf/progs/verifier_lwt.c

203

__failure __msg("invalid bpf_context access")

tools/testing/selftests/bpf/progs/verifier_lwt.c

217

__failure __msg("invalid bpf_context access")

tools/testing/selftests/bpf/progs/verifier_lwt.c

30

__failure __msg("cannot write into packet")

tools/testing/selftests/bpf/progs/verifier_map_in_map.c

117

__failure __msg("R1 type=map_value_or_null expected=map_ptr")

tools/testing/selftests/bpf/progs/verifier_map_in_map.c

50

__success __msg("processed 15 insns")

tools/testing/selftests/bpf/progs/verifier_map_in_map.c

88

__failure __msg("R1 pointer arithmetic on map_ptr prohibited")

tools/testing/selftests/bpf/progs/verifier_map_ptr.c

36

__failure __msg("R1 is bpf_array invalid negative access: off=-8")

tools/testing/selftests/bpf/progs/verifier_map_ptr.c

54

__failure __msg("only read from bpf_array is supported")

tools/testing/selftests/bpf/progs/verifier_map_ptr.c

79

__msg("cannot access ptr member ops with moff 32 in struct bpf_map with off 33 size 4")

tools/testing/selftests/bpf/progs/verifier_map_ptr_mixing.c

171

__failure __msg("only read from bpf_array is supported")

tools/testing/selftests/bpf/progs/verifier_map_ret_val.c

18

__failure __msg("fd 0 is not pointing to valid bpf_map")

tools/testing/selftests/bpf/progs/verifier_map_ret_val.c

39

__failure __msg("R0 invalid mem access 'map_value_or_null'")

tools/testing/selftests/bpf/progs/verifier_map_ret_val.c

61

__failure __msg("misaligned value access")

tools/testing/selftests/bpf/progs/verifier_map_ret_val.c

85

__failure __msg("R0 invalid mem access")

tools/testing/selftests/bpf/progs/verifier_meta_access.c

117

__failure __msg("invalid access to packet")

tools/testing/selftests/bpf/progs/verifier_meta_access.c

181

__failure __msg("invalid access to packet")

tools/testing/selftests/bpf/progs/verifier_meta_access.c

202

__failure __msg("invalid access to packet")

tools/testing/selftests/bpf/progs/verifier_meta_access.c

30

__failure __msg("invalid access to packet, off=-8")

tools/testing/selftests/bpf/progs/verifier_meta_access.c

52

__failure __msg("invalid access to packet")

tools/testing/selftests/bpf/progs/verifier_meta_access.c

72

__failure __msg("invalid access to packet")

tools/testing/selftests/bpf/progs/verifier_meta_access.c

94

__failure __msg("R3 !read_ok")

tools/testing/selftests/bpf/progs/verifier_movsx.c

207

__failure __msg("R1 type=scalar expected=fp, pkt, pkt_meta, map_key, map_value, mem, ringbuf_mem, buf, trusted_ptr_")

tools/testing/selftests/bpf/progs/verifier_movsx.c

229

__failure __msg("infinite loop detected")

tools/testing/selftests/bpf/progs/verifier_netfilter_ctx.c

13

__failure __msg("invalid bpf_context access")

tools/testing/selftests/bpf/progs/verifier_netfilter_ctx.c

27

__failure __msg("invalid bpf_context access")

tools/testing/selftests/bpf/progs/verifier_netfilter_ctx.c

41

__failure __msg("invalid bpf_context access")

tools/testing/selftests/bpf/progs/verifier_netfilter_ctx.c

55

__failure __msg("invalid bpf_context access")

tools/testing/selftests/bpf/progs/verifier_netfilter_ctx.c

73

__failure __msg("only read is supported")

tools/testing/selftests/bpf/progs/verifier_netfilter_retcode.c

42

__failure __msg("R0 has smin=2 smax=2 should have been in [0, 1]")

tools/testing/selftests/bpf/progs/verifier_netfilter_retcode.c

9

__failure __msg("R0 is not a known value")

tools/testing/selftests/bpf/progs/verifier_or_jmp32_k.c

10

__msg("R0 invalid mem access 'scalar'")

tools/testing/selftests/bpf/progs/verifier_precision.c

105

__msg("mark_precise: frame0: regs=r2 stack= before 3: (bf) r3 = r10")

tools/testing/selftests/bpf/progs/verifier_precision.c

106

__msg("mark_precise: frame0: regs=r2 stack= before 2: (db) r2 = load_acquire((u64 *)(r10 -8))")

tools/testing/selftests/bpf/progs/verifier_precision.c

107

__msg("mark_precise: frame0: regs= stack=-8 before 1: (7b) *(u64 *)(r10 -8) = r1")

tools/testing/selftests/bpf/progs/verifier_precision.c

108

__msg("mark_precise: frame0: regs=r1 stack= before 0: (b7) r1 = 8")

tools/testing/selftests/bpf/progs/verifier_precision.c

127

__msg("mark_precise: frame0: regs=r1 stack= before 3: (bf) r2 = r10")

tools/testing/selftests/bpf/progs/verifier_precision.c

128

__msg("mark_precise: frame0: regs=r1 stack= before 2: (79) r1 = *(u64 *)(r10 -8)")

tools/testing/selftests/bpf/progs/verifier_precision.c

129

__msg("mark_precise: frame0: regs= stack=-8 before 1: (db) store_release((u64 *)(r10 -8), r1)")

tools/testing/selftests/bpf/progs/verifier_precision.c

130

__msg("mark_precise: frame0: regs=r1 stack= before 0: (b7) r1 = 8")

tools/testing/selftests/bpf/progs/verifier_precision.c

160

__msg("2: (07) r0 += 1 ; R0=6")

tools/testing/selftests/bpf/progs/verifier_precision.c

161

__msg("3: (35) if r0 >= 0xa goto pc+1")

tools/testing/selftests/bpf/progs/verifier_precision.c

162

__msg("mark_precise: frame0: last_idx 3 first_idx 3 subseq_idx -1")

tools/testing/selftests/bpf/progs/verifier_precision.c

163

__msg("mark_precise: frame0: regs=r0 stack= before 2: (07) r0 += 1")

tools/testing/selftests/bpf/progs/verifier_precision.c

164

__msg("mark_precise: frame0: regs=r0 stack= before 1: (07) r0 += 1")

tools/testing/selftests/bpf/progs/verifier_precision.c

165

__msg("mark_precise: frame0: regs=r0 stack= before 4: (05) goto pc-4")

tools/testing/selftests/bpf/progs/verifier_precision.c

166

__msg("mark_precise: frame0: regs=r0 stack= before 3: (35) if r0 >= 0xa goto pc+1")

tools/testing/selftests/bpf/progs/verifier_precision.c

167

__msg("mark_precise: frame0: parent state regs= stack=: R0=P4")

tools/testing/selftests/bpf/progs/verifier_precision.c

168

__msg("3: R0=6")

tools/testing/selftests/bpf/progs/verifier_precision.c

17

__msg("mark_precise: frame0: regs=r2 stack= before 3: (bf) r1 = r10")

tools/testing/selftests/bpf/progs/verifier_precision.c

18

__msg("mark_precise: frame0: regs=r2 stack= before 2: (55) if r2 != 0xfffffff8 goto pc+2")

tools/testing/selftests/bpf/progs/verifier_precision.c

19

__msg("mark_precise: frame0: regs=r2 stack= before 1: (87) r2 = -r2")

tools/testing/selftests/bpf/progs/verifier_precision.c

20

__msg("mark_precise: frame0: regs=r2 stack= before 0: (b7) r2 = 8")

tools/testing/selftests/bpf/progs/verifier_precision.c

203

__msg("8: (bd) if r2 <= r10 goto pc+3")

tools/testing/selftests/bpf/progs/verifier_precision.c

204

__msg("9: (35) if r1 >= 0xffe3fff8 goto pc+0")

tools/testing/selftests/bpf/progs/verifier_precision.c

205

__msg("10: (b5) if r2 <= 0x8 goto pc+0")

tools/testing/selftests/bpf/progs/verifier_precision.c

206

__msg("mark_precise: frame1: last_idx 10 first_idx 0 subseq_idx -1")

tools/testing/selftests/bpf/progs/verifier_precision.c

207

__msg("mark_precise: frame1: regs=r2 stack= before 9: (35) if r1 >= 0xffe3fff8 goto pc+0")

tools/testing/selftests/bpf/progs/verifier_precision.c

208

__msg("mark_precise: frame1: regs=r2 stack= before 8: (bd) if r2 <= r10 goto pc+3")

tools/testing/selftests/bpf/progs/verifier_precision.c

209

__msg("mark_precise: frame1: regs=r2 stack= before 7: (05) goto pc+0")

tools/testing/selftests/bpf/progs/verifier_precision.c

222

__msg("3: (bf) r3 = r10")

tools/testing/selftests/bpf/progs/verifier_precision.c

223

__msg("4: (bd) if r3 <= r2 goto pc+1")

tools/testing/selftests/bpf/progs/verifier_precision.c

224

__msg("5: (b5) if r2 <= 0x8 goto pc+2")

tools/testing/selftests/bpf/progs/verifier_precision.c

225

__msg("mark_precise: frame0: last_idx 5 first_idx 0 subseq_idx -1")

tools/testing/selftests/bpf/progs/verifier_precision.c

226

__msg("mark_precise: frame0: regs=r2 stack= before 4: (bd) if r3 <= r2 goto pc+1")

tools/testing/selftests/bpf/progs/verifier_precision.c

227

__msg("mark_precise: frame0: regs=r2 stack= before 3: (bf) r3 = r10")

tools/testing/selftests/bpf/progs/verifier_precision.c

243

__msg("0: (b7) r0 = 1 ; R0=1")

tools/testing/selftests/bpf/progs/verifier_precision.c

244

__msg("1: (84) w0 = -w0 ; R0=0xffffffff")

tools/testing/selftests/bpf/progs/verifier_precision.c

245

__msg("mark_precise: frame0: last_idx 2 first_idx 0 subseq_idx -1")

tools/testing/selftests/bpf/progs/verifier_precision.c

246

__msg("mark_precise: frame0: regs=r0 stack= before 1: (84) w0 = -w0")

tools/testing/selftests/bpf/progs/verifier_precision.c

247

__msg("mark_precise: frame0: regs=r0 stack= before 0: (b7) r0 = 1")

tools/testing/selftests/bpf/progs/verifier_precision.c

262

__failure __msg("At program exit the register R0 has")

tools/testing/selftests/bpf/progs/verifier_precision.c

278

__msg("0: (b7) r0 = 1 ; R0=1")

tools/testing/selftests/bpf/progs/verifier_precision.c

279

__msg("1: (87) r0 = -r0 ; R0=-1")

tools/testing/selftests/bpf/progs/verifier_precision.c

280

__msg("mark_precise: frame0: last_idx 2 first_idx 0 subseq_idx -1")

tools/testing/selftests/bpf/progs/verifier_precision.c

281

__msg("mark_precise: frame0: regs=r0 stack= before 1: (87) r0 = -r0")

tools/testing/selftests/bpf/progs/verifier_precision.c

282

__msg("mark_precise: frame0: regs=r0 stack= before 0: (b7) r0 = 1")

tools/testing/selftests/bpf/progs/verifier_precision.c

297

__failure __msg("At program exit the register R0 has")

tools/testing/selftests/bpf/progs/verifier_precision.c

313

__msg("mark_precise: frame0: regs=r2 stack= before 4: (bf) r3 = r10")

tools/testing/selftests/bpf/progs/verifier_precision.c

314

__msg("mark_precise: frame0: regs=r2 stack= before 3: (db) r2 = atomic64_fetch_add((u64 *)(r10 -8), r2)")

tools/testing/selftests/bpf/progs/verifier_precision.c

315

__msg("mark_precise: frame0: regs= stack=-8 before 2: (b7) r2 = 0")

tools/testing/selftests/bpf/progs/verifier_precision.c

316

__msg("mark_precise: frame0: regs= stack=-8 before 1: (7b) *(u64 *)(r10 -8) = r1")

tools/testing/selftests/bpf/progs/verifier_precision.c

317

__msg("mark_precise: frame0: regs=r1 stack= before 0: (b7) r1 = 8")

tools/testing/selftests/bpf/progs/verifier_precision.c

337

__msg("mark_precise: frame0: regs=r2 stack= before 4: (bf) r3 = r10")

tools/testing/selftests/bpf/progs/verifier_precision.c

338

__msg("mark_precise: frame0: regs=r2 stack= before 3: (db) r2 = atomic64_xchg((u64 *)(r10 -8), r2)")

tools/testing/selftests/bpf/progs/verifier_precision.c

339

__msg("mark_precise: frame0: regs= stack=-8 before 2: (b7) r2 = 0")

tools/testing/selftests/bpf/progs/verifier_precision.c

340

__msg("mark_precise: frame0: regs= stack=-8 before 1: (7b) *(u64 *)(r10 -8) = r1")

tools/testing/selftests/bpf/progs/verifier_precision.c

341

__msg("mark_precise: frame0: regs=r1 stack= before 0: (b7) r1 = 8")

tools/testing/selftests/bpf/progs/verifier_precision.c

361

__msg("mark_precise: frame0: regs=r2 stack= before 4: (bf) r3 = r10")

tools/testing/selftests/bpf/progs/verifier_precision.c

362

__msg("mark_precise: frame0: regs=r2 stack= before 3: (db) r2 = atomic64_fetch_or((u64 *)(r10 -8), r2)")

tools/testing/selftests/bpf/progs/verifier_precision.c

363

__msg("mark_precise: frame0: regs= stack=-8 before 2: (b7) r2 = 0")

tools/testing/selftests/bpf/progs/verifier_precision.c

364

__msg("mark_precise: frame0: regs= stack=-8 before 1: (7b) *(u64 *)(r10 -8) = r1")

tools/testing/selftests/bpf/progs/verifier_precision.c

365

__msg("mark_precise: frame0: regs=r1 stack= before 0: (b7) r1 = 8")

tools/testing/selftests/bpf/progs/verifier_precision.c

37

__msg("mark_precise: frame0: regs=r2 stack= before 3: (bf) r1 = r10")

tools/testing/selftests/bpf/progs/verifier_precision.c

38

__msg("mark_precise: frame0: regs=r2 stack= before 2: (55) if r2 != 0x0 goto pc+2")

tools/testing/selftests/bpf/progs/verifier_precision.c

385

__msg("mark_precise: frame0: regs=r2 stack= before 4: (bf) r3 = r10")

tools/testing/selftests/bpf/progs/verifier_precision.c

386

__msg("mark_precise: frame0: regs=r2 stack= before 3: (db) r2 = atomic64_fetch_and((u64 *)(r10 -8), r2)")

tools/testing/selftests/bpf/progs/verifier_precision.c

387

__msg("mark_precise: frame0: regs= stack=-8 before 2: (b7) r2 = 0")

tools/testing/selftests/bpf/progs/verifier_precision.c

388

__msg("mark_precise: frame0: regs= stack=-8 before 1: (7b) *(u64 *)(r10 -8) = r1")

tools/testing/selftests/bpf/progs/verifier_precision.c

389

__msg("mark_precise: frame0: regs=r1 stack= before 0: (b7) r1 = 8")

tools/testing/selftests/bpf/progs/verifier_precision.c

39

__msg("mark_precise: frame0: regs=r2 stack= before 1: (d4) r2 = le16 r2")

tools/testing/selftests/bpf/progs/verifier_precision.c

40

__msg("mark_precise: frame0: regs=r2 stack= before 0: (b7) r2 = 0")

tools/testing/selftests/bpf/progs/verifier_precision.c

409

__msg("mark_precise: frame0: regs=r2 stack= before 4: (bf) r3 = r10")

tools/testing/selftests/bpf/progs/verifier_precision.c

410

__msg("mark_precise: frame0: regs=r2 stack= before 3: (db) r2 = atomic64_fetch_xor((u64 *)(r10 -8), r2)")

tools/testing/selftests/bpf/progs/verifier_precision.c

411

__msg("mark_precise: frame0: regs= stack=-8 before 2: (b7) r2 = 0")

tools/testing/selftests/bpf/progs/verifier_precision.c

412

__msg("mark_precise: frame0: regs= stack=-8 before 1: (7b) *(u64 *)(r10 -8) = r1")

tools/testing/selftests/bpf/progs/verifier_precision.c

413

__msg("mark_precise: frame0: regs=r1 stack= before 0: (b7) r1 = 8")

tools/testing/selftests/bpf/progs/verifier_precision.c

433

__msg("mark_precise: frame0: regs=r0 stack= before 5: (bf) r3 = r10")

tools/testing/selftests/bpf/progs/verifier_precision.c

434

__msg("mark_precise: frame0: regs=r0 stack= before 4: (db) r0 = atomic64_cmpxchg((u64 *)(r10 -8), r0, r2)")

tools/testing/selftests/bpf/progs/verifier_precision.c

435

__msg("mark_precise: frame0: regs= stack=-8 before 3: (b7) r2 = 0")

tools/testing/selftests/bpf/progs/verifier_precision.c

436

__msg("mark_precise: frame0: regs= stack=-8 before 2: (b7) r0 = 0")

tools/testing/selftests/bpf/progs/verifier_precision.c

437

__msg("mark_precise: frame0: regs= stack=-8 before 1: (7b) *(u64 *)(r10 -8) = r1")

tools/testing/selftests/bpf/progs/verifier_precision.c

438

__msg("mark_precise: frame0: regs=r1 stack= before 0: (b7) r1 = 8")

tools/testing/selftests/bpf/progs/verifier_precision.c

465

__msg("mark_precise: frame0: regs=r2,r3 stack= before 4: (79) r3 = *(u64 *)(r10 -8)")

tools/testing/selftests/bpf/progs/verifier_precision.c

466

__msg("mark_precise: frame0: regs=r2 stack= before 3: (db) r2 = atomic64_fetch_add((u64 *)(r10 -8), r2)")

tools/testing/selftests/bpf/progs/verifier_precision.c

467

__msg("mark_precise: frame0: regs= stack=-8 before 2: (b7) r2 = 0")

tools/testing/selftests/bpf/progs/verifier_precision.c

468

__msg("mark_precise: frame0: regs= stack=-8 before 1: (7b) *(u64 *)(r10 -8) = r1")

tools/testing/selftests/bpf/progs/verifier_precision.c

469

__msg("mark_precise: frame0: regs=r1 stack= before 0: (b7) r1 = 8")

tools/testing/selftests/bpf/progs/verifier_precision.c

493

__msg("mark_precise: frame0: regs=r0,r3 stack= before 5: (79) r3 = *(u64 *)(r10 -8)")

tools/testing/selftests/bpf/progs/verifier_precision.c

494

__msg("mark_precise: frame0: regs=r0 stack= before 4: (db) r0 = atomic64_cmpxchg((u64 *)(r10 -8), r0, r2)")

tools/testing/selftests/bpf/progs/verifier_precision.c

495

__msg("mark_precise: frame0: regs= stack=-8 before 3: (b7) r2 = 0")

tools/testing/selftests/bpf/progs/verifier_precision.c

496

__msg("mark_precise: frame0: regs= stack=-8 before 2: (b7) r0 = 8")

tools/testing/selftests/bpf/progs/verifier_precision.c

497

__msg("mark_precise: frame0: regs= stack=-8 before 1: (7b) *(u64 *)(r10 -8) = r1")

tools/testing/selftests/bpf/progs/verifier_precision.c

498

__msg("mark_precise: frame0: regs=r1 stack= before 0: (b7) r1 = 8")

tools/testing/selftests/bpf/progs/verifier_precision.c

523

__msg("mark_precise: frame0: regs=r1 stack= before 10: (57) r1 &= 7")

tools/testing/selftests/bpf/progs/verifier_precision.c

524

__msg("mark_precise: frame0: regs=r1 stack= before 9: (db) r1 = atomic64_fetch_add((u64 *)(r0 +0), r1)")

tools/testing/selftests/bpf/progs/verifier_precision.c

553

__msg("mark_precise: frame0: regs=r0 stack= before 12: (57) r0 &= 7")

tools/testing/selftests/bpf/progs/verifier_precision.c

554

__msg("mark_precise: frame0: regs=r0 stack= before 11: (db) r0 = atomic64_cmpxchg((u64 *)(r6 +0), r0, r1)")

tools/testing/selftests/bpf/progs/verifier_precision.c

58

__msg("mark_precise: frame0: regs=r2 stack= before 3: (bf) r1 = r10")

tools/testing/selftests/bpf/progs/verifier_precision.c

585

__msg("mark_precise: frame0: regs=r1 stack= before 10: (57) r1 &= 7")

tools/testing/selftests/bpf/progs/verifier_precision.c

586

__msg("mark_precise: frame0: regs=r1 stack= before 9: (c3) r1 = atomic_fetch_add((u32 *)(r0 +0), r1)")

tools/testing/selftests/bpf/progs/verifier_precision.c

59

__msg("mark_precise: frame0: regs=r2 stack= before 2: (55) if r2 != 0x0 goto pc+2")

tools/testing/selftests/bpf/progs/verifier_precision.c

60

__msg("mark_precise: frame0: regs=r2 stack= before 1: (dc) r2 = be16 r2")

tools/testing/selftests/bpf/progs/verifier_precision.c

61

__msg("mark_precise: frame0: regs=r2 stack= before 0: (b7) r2 = 0")

tools/testing/selftests/bpf/progs/verifier_precision.c

615

__msg("mark_precise: frame0: regs=r0 stack= before 12: (57) r0 &= 7")

tools/testing/selftests/bpf/progs/verifier_precision.c

616

__msg("mark_precise: frame0: regs=r0 stack= before 11: (c3) r0 = atomic_cmpxchg((u32 *)(r6 +0), r0, r1)")

tools/testing/selftests/bpf/progs/verifier_precision.c

83

__msg("mark_precise: frame0: regs=r2 stack= before 3: (bf) r1 = r10")

tools/testing/selftests/bpf/progs/verifier_precision.c

84

__msg("mark_precise: frame0: regs=r2 stack= before 2: (55) if r2 != 0x0 goto pc+2")

tools/testing/selftests/bpf/progs/verifier_precision.c

85

__msg("mark_precise: frame0: regs=r2 stack= before 1: (d7) r2 = bswap16 r2")

tools/testing/selftests/bpf/progs/verifier_precision.c

86

__msg("mark_precise: frame0: regs=r2 stack= before 0: (b7) r2 = 0")

tools/testing/selftests/bpf/progs/verifier_prevent_map_lookup.c

24

__failure __msg("cannot pass map_type 7 into func bpf_map_lookup_elem")

tools/testing/selftests/bpf/progs/verifier_prevent_map_lookup.c

43

__failure __msg("cannot pass map_type 3 into func bpf_map_lookup_elem")

tools/testing/selftests/bpf/progs/verifier_raw_stack.c

153

__failure __msg("R0 invalid mem access 'scalar'")

tools/testing/selftests/bpf/progs/verifier_raw_stack.c

176

__failure __msg("R3 invalid mem access 'scalar'")

tools/testing/selftests/bpf/progs/verifier_raw_stack.c

239

__failure __msg("invalid write to stack R3 off=-513 size=8")

tools/testing/selftests/bpf/progs/verifier_raw_stack.c

258

__failure __msg("invalid write to stack R3 off=-1 size=8")

tools/testing/selftests/bpf/progs/verifier_raw_stack.c

277

__failure __msg("R4 min value is negative")

tools/testing/selftests/bpf/progs/verifier_raw_stack.c

28

__failure __msg("R4 min value is negative")

tools/testing/selftests/bpf/progs/verifier_raw_stack.c

297

__msg("R4 unbounded memory access, use 'var &= const' or 'if (var < const)'")

tools/testing/selftests/bpf/progs/verifier_raw_stack.c

317

__msg("R4 unbounded memory access, use 'var &= const' or 'if (var < const)'")

tools/testing/selftests/bpf/progs/verifier_raw_stack.c

336

__failure __msg("invalid zero-sized read")

tools/testing/selftests/bpf/progs/verifier_raw_stack.c

47

__failure __msg("R4 min value is negative")

tools/testing/selftests/bpf/progs/verifier_raw_stack.c

67

__failure __msg("R4 invalid zero-sized read: u64=[0,0]")

tools/testing/selftests/bpf/progs/verifier_raw_tp_writable.c

18

__msg("R6 invalid variable buffer offset: off=0, var_off=(0x0; 0xffffffff)")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

1038

__failure __msg("cannot write into sock")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

1062

__failure __msg("invalid sock access off=0 size=8")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

1082

__failure __msg("!read_ok")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

112

__failure __msg("Unreleased reference")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

1133

__failure __msg("invalid mem access")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

1164

__failure __msg("invalid mem access")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

1195

__failure __msg("invalid mem access")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

1231

__failure __msg("invalid mem access")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

127

__failure __msg("Unreleased reference")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

1291

__failure __msg("R1 must be referenced when passed to release function")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

1323

__failure __msg("invalid mem access")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

1379

__failure __msg("Unreleased reference")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

142

__failure __msg("Unreleased reference")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

1429

__failure __msg("invalid mem access")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

160

__failure __msg("Unreleased reference")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

180

__failure __msg("Unreleased reference")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

195

__failure __msg("Unreleased reference")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

210

__failure __msg("Unreleased reference")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

266

__failure __msg("Possibly NULL pointer passed to trusted arg0")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

285

__failure __msg("Possibly NULL pointer passed to trusted arg0")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

303

__failure __msg("Possibly NULL pointer passed to trusted arg0")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

318

__failure __msg("Unreleased reference")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

333

__failure __msg("Unreleased reference")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

347

__failure __msg("type=sock_or_null expected=sock")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

366

__failure __msg("type=sock_common_or_null expected=sock")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

440

__failure __msg("type=scalar expected=sock")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

461

__failure __msg("type=scalar expected=sock")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

482

__failure __msg("Unreleased reference")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

580

__failure __msg("type=scalar expected=sock")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

614

__failure __msg("Unreleased reference")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

676

__failure __msg("Unreleased reference")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

794

__failure __msg("BPF_LD_[ABS|IND] would lead to reference leak")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

839

__failure __msg("BPF_LD_[ABS|IND] would lead to reference leak")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

920

__failure __msg("tail_call would lead to reference leak")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

950

__failure __msg("tail_call would lead to reference leak")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

980

__failure __msg("R1 pointer arithmetic on sock_or_null prohibited")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

999

__failure __msg("R1 pointer arithmetic on sock prohibited")

tools/testing/selftests/bpf/progs/verifier_reg_equal.c

35

__failure __msg("R1 !read_ok")

tools/testing/selftests/bpf/progs/verifier_regalloc.c

115

__failure __msg("invalid access to map value, value_size=48 off=44 size=8")

tools/testing/selftests/bpf/progs/verifier_regalloc.c

182

__failure __msg("invalid access to map value, value_size=48 off=48 size=8")

tools/testing/selftests/bpf/progs/verifier_regalloc.c

54

__failure __msg("invalid access to map value, value_size=48 off=48 size=1")

tools/testing/selftests/bpf/progs/verifier_ringbuf.c

15

__failure __msg("R1 must have zero offset when passed to release func")

tools/testing/selftests/bpf/progs/verifier_ringbuf.c

55

__failure __msg("R7 min value is outside of the allowed memory range")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

131

__msg("7: (0f) r3 += r0")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

132

__msg("frame0: regs=r0 stack= before 6: (bf) r3 = r10")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

133

__msg("frame0: parent state regs=r0 stack=:")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

134

__msg("frame0: regs=r0 stack= before 5: (25) if r0 > 0x7 goto pc+0")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

135

__msg("frame0: parent state regs=r0,r2 stack=:")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

16

__msg("6: (0f) r3 += r0")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

17

__msg("frame0: regs=r0 stack= before 4: (25) if r1 > 0x7 goto pc+0")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

172

__msg("17: (0f) r2 += r1")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

174

__msg("frame2: last_idx 17 first_idx 14 subseq_idx -1 ")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

175

__msg("frame2: regs=r1 stack= before 16: (bf) r2 = r10")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

176

__msg("frame2: parent state regs=r1 stack=")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

177

__msg("frame1: parent state regs= stack=")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

178

__msg("frame0: parent state regs= stack=")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

18

__msg("frame0: parent state regs=r0,r1,r2 stack=:")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

180

__msg("frame2: last_idx 13 first_idx 13 subseq_idx 14 ")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

181

__msg("frame2: regs=r1 stack= before 13: (25) if r1 > 0x7 goto pc+0")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

182

__msg("frame2: parent state regs=r1 stack=")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

186

__msg("frame1: parent state regs=r6,r7 stack=")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

187

__msg("frame0: parent state regs=r6 stack=")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

189

__msg("frame2: last_idx 9 first_idx 9 subseq_idx 13")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

19

__msg("frame0: regs=r0,r1,r2 stack= before 3: (bf) r2 = r0")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

190

__msg("frame2: regs=r1 stack= before 9: (85) call pc+3")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

192

__msg("frame1: parent state regs=r1,r6,r7 stack=")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

193

__msg("frame0: parent state regs=r6 stack=")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

195

__msg("frame1: last_idx 8 first_idx 7 subseq_idx 9")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

196

__msg("frame1: regs=r1,r6,r7 stack= before 8: (bf) r7 = r1")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

197

__msg("frame1: regs=r1,r6 stack= before 7: (bf) r6 = r1")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

198

__msg("frame1: parent state regs=r1 stack=")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

199

__msg("frame0: parent state regs=r6 stack=")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

201

__msg("frame1: last_idx 4 first_idx 4 subseq_idx 7")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

202

__msg("frame1: regs=r1 stack= before 4: (85) call pc+2")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

203

__msg("frame0: parent state regs=r1,r6 stack=")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

205

__msg("frame0: last_idx 3 first_idx 1 subseq_idx 4")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

206

__msg("frame0: regs=r1,r6 stack= before 3: (bf) r6 = r0")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

207

__msg("frame0: regs=r0,r1 stack= before 2: (bf) r1 = r0")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

208

__msg("frame0: regs=r0 stack= before 1: (57) r0 &= 255")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

21

__msg("from 4 to 5: ")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

22

__msg("6: (0f) r3 += r0")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

23

__msg("frame0: regs=r0 stack= before 5: (bf) r3 = r10")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

24

__msg("frame0: regs=r0 stack= before 4: (25) if r1 > 0x7 goto pc+0")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

26

__msg("frame0: parent state regs= stack=:")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

267

__msg("11: (0f) r2 += r1")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

269

__msg("frame1: regs=r1 stack= before 10: (bf) r2 = r10")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

270

__msg("frame1: regs=r1 stack= before 9: (25) if r1 > 0x7 goto pc+0")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

271

__msg("frame1: regs=r1 stack=-8,-16 before 8: (7b) *(u64 *)(r10 -16) = r1")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

272

__msg("frame1: regs=r1 stack=-8 before 7: (7b) *(u64 *)(r10 -8) = r1")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

273

__msg("frame1: regs=r1 stack= before 4: (85) call pc+2")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

275

__msg("frame0: regs=r1 stack=-8 before 3: (7b) *(u64 *)(r10 -8) = r1")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

276

__msg("frame0: regs=r1 stack= before 2: (bf) r1 = r0")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

277

__msg("frame0: regs=r0 stack= before 1: (57) r0 &= 255")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

322

__msg("12: (0f) r3 += r7")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

323

__msg("frame0: regs=r7 stack= before 11: (bf) r3 = r10")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

324

__msg("frame0: regs=r7 stack= before 9: (25) if r7 > 0x7 goto pc+0")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

326

__msg("frame0: regs=r6,r7 stack= before 3: (bf) r7 = r0")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

327

__msg("frame0: regs=r0,r6 stack= before 2: (bf) r6 = r0")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

329

__msg("13: (0f) r3 += r9")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

330

__msg("frame0: regs=r9 stack= before 12: (0f) r3 += r7")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

332

__msg("frame0: regs=r9 stack= before 10: (25) if r9 > 0x7 goto pc+0")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

333

__msg("frame0: regs=r8,r9 stack= before 7: (bf) r9 = r0")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

334

__msg("frame0: regs=r0,r8 stack= before 6: (bf) r8 = r0")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

375

__msg("8: (25) if r0 > 0x7 goto pc+0 ; R0=scalar(id=1")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

376

__msg("14: (bf) r6 = r6 ; R6=scalar(id=2")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

378

__msg("frame0: regs=r0 stack= before 8: (25) if r0 > 0x7 goto pc+0")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

379

__msg("frame0: parent state regs=r0,r1,r2,r3,r4,r5 stack=:")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

418

__msg("regs=r7 stack= before 5: (3d) if r8 >= r0")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

419

__msg("parent state regs=r0,r7,r8")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

420

__msg("regs=r0,r7,r8 stack= before 4: (25) if r0 > 0x1")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

421

__msg("div by zero")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

453

__msg("3: (25) if r1 > 0x100 goto pc+0")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

454

__msg("frame0: regs=r1 stack= before 2: (bf) r1 = r0")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

489

__failure __msg("register with unbounded min value")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

536

__failure __msg("register with unbounded min value")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

595

__msg("11: (1d) if r3 == r4 goto pc+0")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

596

__msg("frame 0: propagating r3,r4")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

597

__msg("11: safe")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

598

__msg("processed 15 insns")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

60

__msg("frame0: regs=r0 stack= before 5: (2d) if r1 > r3 goto pc+0")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

61

__msg("frame0: parent state regs=r0,r1,r2,r3 stack=:")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

62

__msg("frame0: regs=r0,r1,r2,r3 stack= before 4: (b7) r3 = 7")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

631

__msg("11: (1e) if w3 == w4 goto pc+0")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

632

__msg("frame 0: propagating r3,r4")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

633

__msg("11: safe")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

634

__msg("processed 15 insns")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

671

__msg("6: (25) if r6 > 0x7 goto pc+1")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

672

__msg("7: (57) r1 &= 255")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

673

__msg("8: (bf) r2 = r10")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

674

__msg("from 6 to 8: safe")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

675

__msg("processed 12 insns")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

711

__msg("6: (25) if r6 > 0x7 goto pc+1")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

712

__msg("7: (05) goto pc+1")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

713

__msg("9: (bf) r2 = r10")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

714

__msg("9: safe")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

715

__msg("processed 13 insns")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

753

__msg("12: safe")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

754

__msg("processed 17 insns")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

799

__msg("15: (95) exit")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

800

__msg("15: (95) exit")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

801

__msg("processed 20 insns")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

857

__msg("4: (77) r1 >>= 32 ; R1=0")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

858

__msg("5: (bf) r0 = r1 ; R0=0 R1=0")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

859

__msg("6: (95) exit")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

860

__msg("from 3 to 4")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

861

__msg("4: (77) r1 >>= 32 ; R1=0")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

862

__msg("5: (bf) r0 = r1 ; R0=0 R1=0")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

863

__msg("6: (95) exit")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

96

__msg("frame0: regs=r3 stack= before 5: (2d) if r1 > r3 goto pc+0")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

97

__msg("frame0: parent state regs=r0,r1,r2,r3 stack=:")

tools/testing/selftests/bpf/progs/verifier_scalar_ids.c

98

__msg("frame0: regs=r0,r1,r2,r3 stack= before 4: (b7) r3 = 7")

tools/testing/selftests/bpf/progs/verifier_search_pruning.c

131

__failure __msg("R6 invalid mem access 'scalar'")

tools/testing/selftests/bpf/progs/verifier_search_pruning.c

196

__failure __msg("R0 min value is outside of the allowed memory range")

tools/testing/selftests/bpf/progs/verifier_search_pruning.c

235

__failure __msg("div by zero")

tools/testing/selftests/bpf/progs/verifier_search_pruning.c

275

__success __msg("processed 15 insns")

tools/testing/selftests/bpf/progs/verifier_search_pruning.c

345

__msg("BPF program is too large.")

tools/testing/selftests/bpf/progs/verifier_search_pruning.c

81

__failure __msg("R0 !read_ok")

tools/testing/selftests/bpf/progs/verifier_search_pruning.c

98

__failure __msg("R0 unbounded memory access")

tools/testing/selftests/bpf/progs/verifier_sock.c

1000

__failure __msg("invalid bpf_context access off=16 size=2")

tools/testing/selftests/bpf/progs/verifier_sock.c

1015

__failure __msg("invalid bpf_context access off=24 size=2")

tools/testing/selftests/bpf/progs/verifier_sock.c

1030

__failure __msg("invalid bpf_context access off=44 size=2")

tools/testing/selftests/bpf/progs/verifier_sock.c

1059

__failure __msg("invalid mem access")

tools/testing/selftests/bpf/progs/verifier_sock.c

1087

__failure __msg("invalid mem access")

tools/testing/selftests/bpf/progs/verifier_sock.c

1101

__failure __msg("invalid mem access")

tools/testing/selftests/bpf/progs/verifier_sock.c

1129

__failure __msg("invalid mem access")

tools/testing/selftests/bpf/progs/verifier_sock.c

113

__failure __msg("type=sock_common_or_null expected=sock_common")

tools/testing/selftests/bpf/progs/verifier_sock.c

1143

__failure __msg("invalid mem access")

tools/testing/selftests/bpf/progs/verifier_sock.c

130

__failure __msg("invalid mem access 'sock_or_null'")

tools/testing/selftests/bpf/progs/verifier_sock.c

271

__failure __msg("invalid sock access")

tools/testing/selftests/bpf/progs/verifier_sock.c

322

__failure __msg("invalid sock access")

tools/testing/selftests/bpf/progs/verifier_sock.c

347

__failure __msg("invalid sock access")

tools/testing/selftests/bpf/progs/verifier_sock.c

444

__failure __msg("invalid sock access")

tools/testing/selftests/bpf/progs/verifier_sock.c

469

__failure __msg("type=sock_common_or_null expected=sock_common")

tools/testing/selftests/bpf/progs/verifier_sock.c

486

__failure __msg("invalid mem access 'tcp_sock_or_null'")

tools/testing/selftests/bpf/progs/verifier_sock.c

554

__failure __msg("invalid tcp_sock access")

tools/testing/selftests/bpf/progs/verifier_sock.c

58

__failure __msg("invalid mem access 'sock_common_or_null'")

tools/testing/selftests/bpf/progs/verifier_sock.c

606

__failure __msg("R1 must be referenced when passed to release function")

tools/testing/selftests/bpf/progs/verifier_sock.c

623

__failure __msg("R1 must be referenced when passed to release function")

tools/testing/selftests/bpf/progs/verifier_sock.c

647

__failure __msg("R1 must be referenced when passed to release function")

tools/testing/selftests/bpf/progs/verifier_sock.c

700

__failure __msg("R3 type=scalar expected=fp")

tools/testing/selftests/bpf/progs/verifier_sock.c

761

__failure __msg("cannot pass map_type 24 into func bpf_map_lookup_elem")

tools/testing/selftests/bpf/progs/verifier_sock.c

805

__failure __msg("Unreleased reference id=2 alloc_insn=6")

tools/testing/selftests/bpf/progs/verifier_sock.c

825

__failure __msg("Unreleased reference id=2 alloc_insn=6")

tools/testing/selftests/bpf/progs/verifier_sock.c

93

__failure __msg("invalid sock_common access")

tools/testing/selftests/bpf/progs/verifier_sock.c

957

__failure __msg("invalid mem access")

tools/testing/selftests/bpf/progs/verifier_sock.c

985

__failure __msg("invalid bpf_context access off=28 size=2")

tools/testing/selftests/bpf/progs/verifier_sock_addr.c

108

__failure __msg("At program exit the register R0 has smin=2 smax=2 should have been in [0, 1]")

tools/testing/selftests/bpf/progs/verifier_sock_addr.c

122

__failure __msg("At program exit the register R0 has smin=0 smax=0 should have been in [1, 1]")

tools/testing/selftests/bpf/progs/verifier_sock_addr.c

136

__failure __msg("At program exit the register R0 has smin=0 smax=0 should have been in [1, 1]")

tools/testing/selftests/bpf/progs/verifier_sock_addr.c

150

__failure __msg("At program exit the register R0 has smin=0 smax=0 should have been in [1, 1]")

tools/testing/selftests/bpf/progs/verifier_sock_addr.c

164

__failure __msg("At program exit the register R0 has smin=0 smax=0 should have been in [1, 1]")

tools/testing/selftests/bpf/progs/verifier_sock_addr.c

17

__failure __msg("At program exit the register R0 has smin=0 smax=0 should have been in [1, 1]")

tools/testing/selftests/bpf/progs/verifier_sock_addr.c

178

__failure __msg("At program exit the register R0 has smin=0 smax=0 should have been in [1, 1]")

tools/testing/selftests/bpf/progs/verifier_sock_addr.c

192

__failure __msg("At program exit the register R0 has smin=0 smax=0 should have been in [1, 1]")

tools/testing/selftests/bpf/progs/verifier_sock_addr.c

227

__failure __msg("At program exit the register R0 has smin=4 smax=4 should have been in [0, 3]")

tools/testing/selftests/bpf/progs/verifier_sock_addr.c

262

__failure __msg("At program exit the register R0 has smin=4 smax=4 should have been in [0, 3]")

tools/testing/selftests/bpf/progs/verifier_sock_addr.c

283

__failure __msg("At program exit the register R0 has smin=2 smax=2 should have been in [0, 1]")

tools/testing/selftests/bpf/progs/verifier_sock_addr.c

304

__failure __msg("At program exit the register R0 has smin=2 smax=2 should have been in [0, 1]")

tools/testing/selftests/bpf/progs/verifier_sock_addr.c

31

__failure __msg("At program exit the register R0 has smin=0 smax=0 should have been in [1, 1]")

tools/testing/selftests/bpf/progs/verifier_sock_addr.c

325

__failure __msg("At program exit the register R0 has smin=2 smax=2 should have been in [0, 1]")

tools/testing/selftests/bpf/progs/verifier_sock_addr.c

45

__failure __msg("At program exit the register R0 has smin=0 smax=0 should have been in [1, 1]")

tools/testing/selftests/bpf/progs/verifier_sock_addr.c

66

__failure __msg("At program exit the register R0 has smin=2 smax=2 should have been in [0, 1]")

tools/testing/selftests/bpf/progs/verifier_sock_addr.c

87

__failure __msg("At program exit the register R0 has smin=2 smax=2 should have been in [0, 1]")

tools/testing/selftests/bpf/progs/verifier_sockmap_mutate.c

101

__failure __msg("program of this type cannot use helper bpf_sk_release")

tools/testing/selftests/bpf/progs/verifier_sockmap_mutate.c

117

__failure __msg("cannot update sockmap in this context")

tools/testing/selftests/bpf/progs/verifier_sockmap_mutate.c

125

__failure __msg("cannot update sockmap in this context")

tools/testing/selftests/bpf/progs/verifier_sockmap_mutate.c

165

__failure __msg("cannot update sockmap in this context")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

1051

__failure __msg("math between ctx pointer and 4294967295 is not allowed")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

1098

__msg("8: (79) r1 = *(u64 *)(r10 -8)")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

1099

__msg("8: safe")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

1100

__msg("processed 11 insns")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

1144

__msg("if r1 == 0x2a goto pc+0")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

1145

__msg("if r1 == 0x2a goto pc+0")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

1146

__msg("processed 15 insns")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

1179

__msg("8: (79) r0 = *(u64 *)(r10 -8)")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

1180

__msg("8: safe")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

1181

__msg("processed 11 insns")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

1216

__msg("8: (79) r1 = *(u64 *)(r10 -8)")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

1217

__msg("9: (95) exit")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

1218

__msg("from 2 to 7")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

1219

__msg("8: safe")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

1220

__msg("processed 11 insns")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

123

__failure __msg("R0 invalid mem access 'scalar'")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

252

__failure __msg("math between pkt pointer and register with unbounded min value is not allowed")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

278

__failure __msg("invalid access to packet")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

310

__failure __msg("invalid access to packet")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

387

__failure __msg("math between ctx pointer and 4294967295 is not allowed")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

427

__failure __msg("dereference of modified ctx ptr R6 off=65535 disallowed")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

467

__msg("fp-8=0m??scalar()")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

468

__msg("fp-16=00mm??scalar()")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

469

__msg("fp-24=00mm???scalar()")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

509

__msg("2: (7a) *(u64 *)(r10 -8) = 0 ; R10=fp0 fp-8=0")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

511

__msg("4: (7b) *(u64 *)(r10 -16) = r0 ; R0=0 R10=fp0 fp-16=0")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

515

__msg("6: (71) r2 = *(u8 *)(r10 -1) ; R2=0 R10=fp0 fp-8=0")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

519

__msg("10: (71) r2 = *(u8 *)(r10 -9) ; R2=0 R10=fp0 fp-16=0")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

520

__msg("11: (0f) r1 += r2")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

521

__msg("mark_precise: frame0: last_idx 11 first_idx 0 subseq_idx -1")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

522

__msg("mark_precise: frame0: regs=r2 stack= before 10: (71) r2 = *(u8 *)(r10 -9)")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

523

__msg("mark_precise: frame0: regs= stack=-16 before 9: (bf) r1 = r6")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

524

__msg("mark_precise: frame0: regs= stack=-16 before 8: (73) *(u8 *)(r1 +0) = r2")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

525

__msg("mark_precise: frame0: regs= stack=-16 before 7: (0f) r1 += r2")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

526

__msg("mark_precise: frame0: regs= stack=-16 before 6: (71) r2 = *(u8 *)(r10 -1)")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

527

__msg("mark_precise: frame0: regs= stack=-16 before 5: (bf) r1 = r6")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

528

__msg("mark_precise: frame0: regs= stack=-16 before 4: (7b) *(u64 *)(r10 -16) = r0")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

529

__msg("mark_precise: frame0: regs=r0 stack= before 3: (b7) r0 = 0")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

600

__msg("2: (62) *(u32 *)(r10 -4) = 0 ; R10=fp0 fp-8=0000????")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

601

__msg("4: (71) r2 = *(u8 *)(r10 -1) ; R2=0 R10=fp0 fp-8=0000????")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

602

__msg("5: (0f) r1 += r2")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

603

__msg("mark_precise: frame0: last_idx 5 first_idx 0 subseq_idx -1")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

604

__msg("mark_precise: frame0: regs=r2 stack= before 4: (71) r2 = *(u8 *)(r10 -1)")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

643

__msg("3: (7a) *(u64 *)(r10 -8) = 1 ; R10=fp0 fp-8=1")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

645

__msg("5: (7b) *(u64 *)(r10 -16) = r0 ; R0=1 R10=fp0 fp-16=1")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

647

__msg("8: (79) r2 = *(u64 *)(r10 -8) ; R2=1 R10=fp0 fp-8=1")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

648

__msg("9: (0f) r1 += r2")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

649

__msg("mark_precise: frame0: last_idx 9 first_idx 7 subseq_idx -1")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

650

__msg("mark_precise: frame0: regs=r2 stack= before 8: (79) r2 = *(u64 *)(r10 -8)")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

651

__msg("mark_precise: frame0: regs= stack=-8 before 7: (bf) r1 = r6")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

653

__msg("mark_precise: frame0: parent state regs= stack=-8: R0=1 R1=ctx() R6=map_value(map=.data.two_byte_,ks=4,vs=2) R10=fp0 fp-8=P1 fp-16=1")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

654

__msg("mark_precise: frame0: last_idx 6 first_idx 3 subseq_idx 7")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

655

__msg("mark_precise: frame0: regs= stack=-8 before 6: (05) goto pc+0")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

656

__msg("mark_precise: frame0: regs= stack=-8 before 5: (7b) *(u64 *)(r10 -16) = r0")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

657

__msg("mark_precise: frame0: regs= stack=-8 before 4: (b7) r0 = 1")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

658

__msg("mark_precise: frame0: regs= stack=-8 before 3: (7a) *(u64 *)(r10 -8) = 1")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

659

__msg("10: R1=map_value(map=.data.two_byte_,ks=4,vs=2,off=1) R2=1")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

661

__msg("12: (79) r2 = *(u64 *)(r10 -16) ; R2=1 R10=fp0 fp-16=1")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

662

__msg("13: (0f) r1 += r2")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

663

__msg("mark_precise: frame0: last_idx 13 first_idx 7 subseq_idx -1")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

664

__msg("mark_precise: frame0: regs=r2 stack= before 12: (79) r2 = *(u64 *)(r10 -16)")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

665

__msg("mark_precise: frame0: regs= stack=-16 before 11: (bf) r1 = r6")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

666

__msg("mark_precise: frame0: regs= stack=-16 before 10: (73) *(u8 *)(r1 +0) = r2")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

667

__msg("mark_precise: frame0: regs= stack=-16 before 9: (0f) r1 += r2")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

668

__msg("mark_precise: frame0: regs= stack=-16 before 8: (79) r2 = *(u64 *)(r10 -8)")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

669

__msg("mark_precise: frame0: regs= stack=-16 before 7: (bf) r1 = r6")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

671

__msg("mark_precise: frame0: parent state regs= stack=-16: R0=1 R1=ctx() R6=map_value(map=.data.two_byte_,ks=4,vs=2) R10=fp0 fp-8=P1 fp-16=P1")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

672

__msg("mark_precise: frame0: last_idx 6 first_idx 3 subseq_idx 7")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

673

__msg("mark_precise: frame0: regs= stack=-16 before 6: (05) goto pc+0")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

674

__msg("mark_precise: frame0: regs= stack=-16 before 5: (7b) *(u64 *)(r10 -16) = r0")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

675

__msg("mark_precise: frame0: regs=r0 stack= before 4: (b7) r0 = 1")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

676

__msg("14: R1=map_value(map=.data.two_byte_,ks=4,vs=2,off=1) R2=1")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

720

__msg("3: (62) *(u32 *)(r10 -8) = 1 ; R10=fp0 fp-8=????1")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

722

__msg("5: (63) *(u32 *)(r10 -16) = r0 ; R0=1 R10=fp0 fp-16=????1")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

724

__msg("8: (61) r2 = *(u32 *)(r10 -8) ; R2=1 R10=fp0 fp-8=????1")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

725

__msg("9: (0f) r1 += r2")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

726

__msg("mark_precise: frame0: last_idx 9 first_idx 7 subseq_idx -1")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

727

__msg("mark_precise: frame0: regs=r2 stack= before 8: (61) r2 = *(u32 *)(r10 -8)")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

728

__msg("mark_precise: frame0: regs= stack=-8 before 7: (bf) r1 = r6")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

729

__msg("mark_precise: frame0: parent state regs= stack=-8: R0=1 R1=ctx() R6=map_value(map=.data.two_byte_,ks=4,vs=2) R10=fp0 fp-8=????P1 fp-16=????1")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

730

__msg("mark_precise: frame0: last_idx 6 first_idx 3 subseq_idx 7")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

731

__msg("mark_precise: frame0: regs= stack=-8 before 6: (05) goto pc+0")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

732

__msg("mark_precise: frame0: regs= stack=-8 before 5: (63) *(u32 *)(r10 -16) = r0")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

733

__msg("mark_precise: frame0: regs= stack=-8 before 4: (b7) r0 = 1")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

734

__msg("mark_precise: frame0: regs= stack=-8 before 3: (62) *(u32 *)(r10 -8) = 1")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

735

__msg("10: R1=map_value(map=.data.two_byte_,ks=4,vs=2,off=1) R2=1")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

737

__msg("12: (61) r2 = *(u32 *)(r10 -16) ; R2=1 R10=fp0 fp-16=????1")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

738

__msg("13: (0f) r1 += r2")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

739

__msg("mark_precise: frame0: last_idx 13 first_idx 7 subseq_idx -1")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

740

__msg("mark_precise: frame0: regs=r2 stack= before 12: (61) r2 = *(u32 *)(r10 -16)")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

741

__msg("mark_precise: frame0: regs= stack=-16 before 11: (bf) r1 = r6")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

742

__msg("mark_precise: frame0: regs= stack=-16 before 10: (73) *(u8 *)(r1 +0) = r2")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

743

__msg("mark_precise: frame0: regs= stack=-16 before 9: (0f) r1 += r2")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

744

__msg("mark_precise: frame0: regs= stack=-16 before 8: (61) r2 = *(u32 *)(r10 -8)")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

745

__msg("mark_precise: frame0: regs= stack=-16 before 7: (bf) r1 = r6")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

746

__msg("mark_precise: frame0: parent state regs= stack=-16: R0=1 R1=ctx() R6=map_value(map=.data.two_byte_,ks=4,vs=2) R10=fp0 fp-8=????P1 fp-16=????P1")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

747

__msg("mark_precise: frame0: last_idx 6 first_idx 3 subseq_idx 7")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

748

__msg("mark_precise: frame0: regs= stack=-16 before 6: (05) goto pc+0")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

749

__msg("mark_precise: frame0: regs= stack=-16 before 5: (63) *(u32 *)(r10 -16) = r0")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

750

__msg("mark_precise: frame0: regs=r0 stack= before 4: (b7) r0 = 1")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

751

__msg("14: R1=map_value(map=.data.two_byte_,ks=4,vs=2,off=1) R2=1")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

87

__failure __msg("R0 pointer arithmetic on ringbuf_mem_or_null prohibited")

tools/testing/selftests/bpf/progs/verifier_spin_lock.c

122

__failure __msg("cannot be accessed directly")

tools/testing/selftests/bpf/progs/verifier_spin_lock.c

156

__failure __msg("calls are not allowed")

tools/testing/selftests/bpf/progs/verifier_spin_lock.c

190

__failure __msg("BPF_EXIT instruction in main prog cannot be used inside bpf_spin_lock-ed region")

tools/testing/selftests/bpf/progs/verifier_spin_lock.c

224

__failure __msg("without taking a lock")

tools/testing/selftests/bpf/progs/verifier_spin_lock.c

258

__failure __msg("calls are not allowed")

tools/testing/selftests/bpf/progs/verifier_spin_lock.c

294

__failure __msg("unlock of different lock")

tools/testing/selftests/bpf/progs/verifier_spin_lock.c

376

__failure __msg("inside bpf_spin_lock")

tools/testing/selftests/bpf/progs/verifier_spin_lock.c

409

__failure __msg("bpf_spin_unlock of different lock")

tools/testing/selftests/bpf/progs/verifier_spin_lock.c

472

__success __msg("29: safe")

tools/testing/selftests/bpf/progs/verifier_spin_lock.c

55

__failure __msg("cannot be accessed directly")

tools/testing/selftests/bpf/progs/verifier_spin_lock.c

88

__failure __msg("cannot be accessed directly")

tools/testing/selftests/bpf/progs/verifier_stack_ptr.c

150

__failure __msg("invalid write to stack R1 off=0 size=1")

tools/testing/selftests/bpf/progs/verifier_stack_ptr.c

166

__failure __msg("invalid write to stack R1")

tools/testing/selftests/bpf/progs/verifier_stack_ptr.c

184

__failure __msg("invalid write to stack")

tools/testing/selftests/bpf/progs/verifier_stack_ptr.c

203

__failure __msg("fp pointer offset")

tools/testing/selftests/bpf/progs/verifier_stack_ptr.c

255

__failure __msg("invalid write to stack R1 off=-513 size=1")

tools/testing/selftests/bpf/progs/verifier_stack_ptr.c

271

__failure __msg("math between fp pointer")

tools/testing/selftests/bpf/progs/verifier_stack_ptr.c

289

__failure __msg("invalid write to stack")

tools/testing/selftests/bpf/progs/verifier_stack_ptr.c

307

__failure __msg("invalid write to stack")

tools/testing/selftests/bpf/progs/verifier_stack_ptr.c

326

__failure __msg("fp pointer offset")

tools/testing/selftests/bpf/progs/verifier_stack_ptr.c

40

__failure __msg("misaligned stack access off 0+-8+2 size 8")

tools/testing/selftests/bpf/progs/verifier_stack_ptr.c

486

__failure __msg("invalid write to stack R1 off=-520 size=8")

tools/testing/selftests/bpf/progs/verifier_stack_ptr.c

520

__failure __msg("stack size 520(extra 8) is too large")

tools/testing/selftests/bpf/progs/verifier_stack_ptr.c

56

__failure __msg("misaligned stack access off 0+-10+8 size 8")

tools/testing/selftests/bpf/progs/verifier_stack_ptr.c

72

__failure __msg("invalid write to stack R1 off=-79992 size=8")

tools/testing/selftests/bpf/progs/verifier_stack_ptr.c

88

__failure __msg("invalid write to stack R1 off=0 size=8")

tools/testing/selftests/bpf/progs/verifier_store_release.c

107

__failure __failure_unpriv __msg("R2 !read_ok")

tools/testing/selftests/bpf/progs/verifier_store_release.c

122

__failure __failure_unpriv __msg("R1 invalid mem access 'scalar'")

tools/testing/selftests/bpf/progs/verifier_store_release.c

137

__failure __failure_unpriv __msg("misaligned stack access off")

tools/testing/selftests/bpf/progs/verifier_store_release.c

153

__failure __failure_unpriv __msg("BPF_ATOMIC stores into R1 ctx is not allowed")

tools/testing/selftests/bpf/progs/verifier_store_release.c

170

__failure __msg("BPF_ATOMIC stores into R2 pkt is not allowed")

tools/testing/selftests/bpf/progs/verifier_store_release.c

193

__failure __msg("BPF_ATOMIC stores into R2 flow_keys is not allowed")

tools/testing/selftests/bpf/progs/verifier_store_release.c

211

__failure __msg("R2 cannot write into sock")

tools/testing/selftests/bpf/progs/verifier_store_release.c

277

__failure __failure_unpriv __msg("R15 is invalid")

tools/testing/selftests/bpf/progs/verifier_store_release.c

93

__failure __failure_unpriv __msg("R2 !read_ok")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

101

__msg("6: (0f) r1 += r0")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

102

__msg("mark_precise: frame0: last_idx 6 first_idx 0 subseq_idx -1")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

103

__msg("mark_precise: frame0: regs=r0 stack= before 5: (bf) r1 = r6")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

104

__msg("mark_precise: frame0: regs=r0 stack= before 4: (27) r0 *= 4")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

105

__msg("mark_precise: frame0: regs=r0 stack= before 3: (57) r0 &= 3")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

106

__msg("mark_precise: frame0: regs=r0 stack= before 10: (95) exit")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

107

__msg("mark_precise: frame1: regs=r0 stack= before 9: (bf) r0 = (s8)r10")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

108

__msg("7: R0=scalar")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

132

__msg("6: (0f) r1 += r0")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

133

__msg("mark_precise: frame0: last_idx 6 first_idx 0 subseq_idx -1")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

134

__msg("mark_precise: frame0: regs=r0 stack= before 5: (bf) r1 = r6")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

135

__msg("mark_precise: frame0: regs=r0 stack= before 4: (27) r0 *= 4")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

136

__msg("mark_precise: frame0: regs=r0 stack= before 3: (57) r0 &= 3")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

137

__msg("mark_precise: frame0: regs=r0 stack= before 11: (95) exit")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

138

__msg("mark_precise: frame1: regs=r0 stack= before 10: (bf) r0 = (s8)r1")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

143

__msg("mark_precise: frame1: regs=r1 stack= before 9: (bf) r1 = r10")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

144

__msg("7: R0=scalar")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

168

__msg("9: (0f) r1 += r0")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

169

__msg("mark_precise: frame0: last_idx 9 first_idx 0")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

170

__msg("mark_precise: frame0: regs=r0 stack= before 8: (bf) r1 = r7")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

171

__msg("mark_precise: frame0: regs=r0 stack= before 7: (27) r0 *= 4")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

172

__msg("mark_precise: frame0: regs=r0 stack= before 5: (a5) if r0 < 0x4 goto pc+1")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

173

__msg("mark_precise: frame0: regs=r0 stack= before 4: (85) call pc+7")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

233

__msg("mark_precise: frame1: regs=r0 stack= before 11: (b7) r0 = 0")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

235

__msg("from 10 to 12: frame1: R0=scalar(smin=umin=1001")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

237

__msg("mark_precise: frame1: regs=r0 stack= before 9: (85) call bpf_get_prandom_u32#7")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

238

__msg("At callback return the register R0 has smin=1001 should have been in [0, 1]")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

262

__msg("9: (85) call bpf_loop#181")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

263

__msg("mark_precise: frame0: last_idx 9 first_idx 9 subseq_idx -1")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

264

__msg("mark_precise: frame0: parent state regs=r4 stack=:")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

265

__msg("mark_precise: frame0: last_idx 8 first_idx 0 subseq_idx 9")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

266

__msg("mark_precise: frame0: regs=r4 stack= before 8: (b7) r4 = 0")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

267

__msg("mark_precise: frame0: last_idx 9 first_idx 9 subseq_idx -1")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

268

__msg("mark_precise: frame0: parent state regs=r1 stack=:")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

269

__msg("mark_precise: frame0: last_idx 8 first_idx 0 subseq_idx 9")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

270

__msg("mark_precise: frame0: regs=r1 stack= before 8: (b7) r4 = 0")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

271

__msg("mark_precise: frame0: regs=r1 stack= before 7: (b7) r3 = 0")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

272

__msg("mark_precise: frame0: regs=r1 stack= before 6: (bf) r2 = r8")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

273

__msg("mark_precise: frame0: regs=r1 stack= before 5: (bf) r1 = r6")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

274

__msg("mark_precise: frame0: regs=r6 stack= before 4: (b7) r6 = 3")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

276

__msg("14: (0f) r1 += r6")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

277

__msg("mark_precise: frame0: last_idx 14 first_idx 9")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

278

__msg("mark_precise: frame0: regs=r6 stack= before 13: (bf) r1 = r7")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

279

__msg("mark_precise: frame0: regs=r6 stack= before 12: (27) r6 *= 4")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

280

__msg("mark_precise: frame0: regs=r6 stack= before 11: (25) if r6 > 0x3 goto pc+4")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

281

__msg("mark_precise: frame0: regs=r0,r6 stack= before 10: (bf) r6 = r0")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

282

__msg("mark_precise: frame0: regs=r0 stack= before 9: (85) call bpf_loop")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

284

__msg("from 9 to 17: frame1:")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

285

__msg("17: frame1: R1=scalar() R2=0 R10=fp0 cb")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

286

__msg("17: (b7) r0 = 0")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

287

__msg("18: (95) exit")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

288

__msg("returning from callee:")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

289

__msg("to caller at 9:")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

290

__msg("frame 0: propagating r1,r4")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

291

__msg("mark_precise: frame0: last_idx 9 first_idx 9 subseq_idx -1")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

292

__msg("mark_precise: frame0: regs=r1,r4 stack= before 18: (95) exit")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

293

__msg("from 18 to 9: safe")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

329

__msg("7: (0f) r1 += r6")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

330

__msg("mark_precise: frame0: last_idx 7 first_idx 0")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

331

__msg("mark_precise: frame0: regs=r6 stack= before 6: (bf) r1 = r7")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

332

__msg("mark_precise: frame0: regs=r6 stack= before 5: (27) r6 *= 4")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

333

__msg("mark_precise: frame0: regs=r6 stack= before 11: (95) exit")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

334

__msg("mark_precise: frame1: regs= stack= before 10: (bf) r0 = r1")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

335

__msg("mark_precise: frame1: regs= stack= before 4: (85) call pc+5")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

336

__msg("mark_precise: frame0: regs=r6 stack= before 3: (b7) r1 = 0")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

337

__msg("mark_precise: frame0: regs=r6 stack= before 2: (b7) r6 = 3")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

365

__msg("7: (0f) r1 += r6")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

366

__msg("mark_precise: frame0: last_idx 7 first_idx 0")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

367

__msg("mark_precise: frame0: regs=r6 stack= before 6: (bf) r1 = r7")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

368

__msg("mark_precise: frame0: regs=r6 stack= before 5: (27) r6 *= 4")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

369

__msg("mark_precise: frame0: regs=r6 stack= before 4: (85) call pc+5")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

370

__msg("mark_precise: frame0: regs=r6 stack= before 3: (b7) r1 = 0")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

371

__msg("mark_precise: frame0: regs=r6 stack= before 2: (b7) r6 = 3")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

400

__msg("12: (0f) r1 += r6")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

401

__msg("mark_precise: frame0: last_idx 12 first_idx 9")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

402

__msg("mark_precise: frame0: regs=r6 stack= before 11: (bf) r1 = r7")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

403

__msg("mark_precise: frame0: regs=r6 stack= before 10: (27) r6 *= 4")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

404

__msg("mark_precise: frame0: regs=r6 stack= before 9: (85) call bpf_loop")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

405

__msg("mark_precise: frame0: parent state regs=r6 stack=:")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

406

__msg("mark_precise: frame0: last_idx 8 first_idx 0 subseq_idx 9")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

407

__msg("mark_precise: frame0: regs=r6 stack= before 8: (b7) r4 = 0")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

408

__msg("mark_precise: frame0: regs=r6 stack= before 7: (b7) r3 = 0")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

409

__msg("mark_precise: frame0: regs=r6 stack= before 6: (bf) r2 = r8")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

410

__msg("mark_precise: frame0: regs=r6 stack= before 5: (b7) r1 = 1")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

411

__msg("mark_precise: frame0: regs=r6 stack= before 4: (b7) r6 = 3")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

413

__msg("from 9 to 15: frame1:")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

414

__msg("15: frame1: R1=scalar() R2=0 R10=fp0 cb")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

415

__msg("15: (b7) r0 = 0")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

416

__msg("16: (95) exit")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

417

__msg("returning from callee:")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

418

__msg("to caller at 9:")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

42

__msg("7: (0f) r1 += r0")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

422

__msg("frame 0: propagating r1,r4,r6")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

423

__msg("mark_precise: frame0: last_idx 9 first_idx 9 subseq_idx -1")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

424

__msg("mark_precise: frame0: regs=r1,r4,r6 stack= before 16: (95) exit")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

425

__msg("mark_precise: frame1: regs= stack= before 15: (b7) r0 = 0")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

426

__msg("mark_precise: frame1: regs= stack= before 9: (85) call bpf_loop")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

427

__msg("mark_precise: frame0: parent state regs= stack=:")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

428

__msg("from 16 to 9: safe")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

43

__msg("mark_precise: frame0: regs=r0 stack= before 6: (bf) r1 = r7")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

44

__msg("mark_precise: frame0: regs=r0 stack= before 5: (27) r0 *= 4")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

45

__msg("mark_precise: frame0: regs=r0 stack= before 11: (95) exit")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

46

__msg("mark_precise: frame1: regs=r0 stack= before 10: (bf) r0 = r1")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

461

__msg("9: (0f) r1 += r6")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

462

__msg("mark_precise: frame0: last_idx 9 first_idx 6")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

463

__msg("mark_precise: frame0: regs=r6 stack= before 8: (bf) r1 = r7")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

464

__msg("mark_precise: frame0: regs=r6 stack= before 7: (27) r6 *= 4")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

465

__msg("mark_precise: frame0: regs=r6 stack= before 6: (79) r6 = *(u64 *)(r10 -8)")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

466

__msg("mark_precise: frame0: parent state regs= stack=-8:")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

467

__msg("mark_precise: frame0: last_idx 13 first_idx 0")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

468

__msg("mark_precise: frame0: regs= stack=-8 before 13: (95) exit")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

469

__msg("mark_precise: frame1: regs= stack= before 12: (bf) r0 = r1")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

47

__msg("mark_precise: frame1: regs=r1 stack= before 4: (85) call pc+5")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

470

__msg("mark_precise: frame1: regs= stack= before 5: (85) call pc+6")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

471

__msg("mark_precise: frame0: regs= stack=-8 before 4: (b7) r1 = 0")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

472

__msg("mark_precise: frame0: regs= stack=-8 before 3: (7b) *(u64 *)(r10 -8) = r6")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

473

__msg("mark_precise: frame0: regs=r6 stack= before 2: (b7) r6 = 3")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

48

__msg("mark_precise: frame0: regs=r1 stack= before 3: (bf) r1 = r6")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

49

__msg("mark_precise: frame0: regs=r6 stack= before 2: (b7) r6 = 3")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

509

__msg("9: (0f) r1 += r6")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

510

__msg("mark_precise: frame0: last_idx 9 first_idx 0")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

511

__msg("mark_precise: frame0: regs=r6 stack= before 8: (bf) r1 = r7")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

512

__msg("mark_precise: frame0: regs=r6 stack= before 7: (27) r6 *= 4")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

513

__msg("mark_precise: frame0: regs=r6 stack= before 6: (79) r6 = *(u64 *)(r10 -8)")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

514

__msg("mark_precise: frame0: regs= stack=-8 before 5: (85) call pc+6")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

515

__msg("mark_precise: frame0: regs= stack=-8 before 4: (b7) r1 = 0")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

516

__msg("mark_precise: frame0: regs= stack=-8 before 3: (7b) *(u64 *)(r10 -8) = r6")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

517

__msg("mark_precise: frame0: regs=r6 stack= before 2: (b7) r6 = 3")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

554

__msg("14: (0f) r1 += r6")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

555

__msg("mark_precise: frame0: last_idx 14 first_idx 10")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

556

__msg("mark_precise: frame0: regs=r6 stack= before 13: (bf) r1 = r7")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

557

__msg("mark_precise: frame0: regs=r6 stack= before 12: (27) r6 *= 4")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

558

__msg("mark_precise: frame0: regs=r6 stack= before 11: (79) r6 = *(u64 *)(r10 -8)")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

559

__msg("mark_precise: frame0: regs= stack=-8 before 10: (85) call bpf_loop")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

560

__msg("mark_precise: frame0: parent state regs= stack=-8:")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

561

__msg("mark_precise: frame0: last_idx 9 first_idx 0 subseq_idx 10")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

562

__msg("mark_precise: frame0: regs= stack=-8 before 9: (b7) r4 = 0")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

563

__msg("mark_precise: frame0: regs= stack=-8 before 8: (b7) r3 = 0")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

564

__msg("mark_precise: frame0: regs= stack=-8 before 7: (bf) r2 = r8")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

565

__msg("mark_precise: frame0: regs= stack=-8 before 6: (bf) r1 = r6")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

566

__msg("mark_precise: frame0: regs= stack=-8 before 5: (7b) *(u64 *)(r10 -8) = r6")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

567

__msg("mark_precise: frame0: regs=r6 stack= before 4: (b7) r6 = 3")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

569

__msg("from 10 to 17: frame1:")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

570

__msg("17: frame1: R1=scalar() R2=0 R10=fp0 cb")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

571

__msg("17: (b7) r0 = 0")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

572

__msg("18: (95) exit")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

573

__msg("returning from callee:")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

574

__msg("to caller at 10:")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

578

__msg("frame 0: propagating r1,r4,fp-8")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

579

__msg("mark_precise: frame0: last_idx 10 first_idx 10 subseq_idx -1")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

580

__msg("mark_precise: frame0: regs=r1,r4 stack=-8 before 18: (95) exit")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

581

__msg("mark_precise: frame1: regs= stack= before 17: (b7) r0 = 0")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

582

__msg("mark_precise: frame1: regs= stack= before 10: (85) call bpf_loop#181")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

583

__msg("mark_precise: frame0: parent state regs= stack=:")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

584

__msg("from 18 to 10: safe")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

629

__msg("8: (0f) r2 += r1")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

630

__msg("mark_precise: frame1: last_idx 8 first_idx 0")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

631

__msg("mark_precise: frame1: regs=r1 stack= before 6: (18) r2 = ")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

632

__msg("mark_precise: frame1: regs=r1 stack= before 5: (67) r1 <<= 2")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

633

__msg("mark_precise: frame1: regs=r1 stack= before 2: (85) call pc+2")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

634

__msg("mark_precise: frame0: regs=r1 stack= before 1: (bf) r1 = r6")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

635

__msg("mark_precise: frame0: regs=r6 stack= before 0: (b7) r6 = 3")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

679

__msg("10: (0f) r1 += r7")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

680

__msg("mark_precise: frame0: last_idx 10 first_idx 7 subseq_idx -1")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

681

__msg("mark_precise: frame0: regs=r7 stack= before 9: (bf) r1 = r8")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

682

__msg("mark_precise: frame0: regs=r7 stack= before 8: (27) r7 *= 4")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

683

__msg("mark_precise: frame0: regs=r7 stack= before 7: (79) r7 = *(u64 *)(r10 -8)")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

684

__msg("mark_precise: frame0: parent state regs= stack=-8: R0=2 R6=1 R8=map_value(map=.data.vals,ks=4,vs=16) R10=fp0 fp-8=P1")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

685

__msg("mark_precise: frame0: last_idx 18 first_idx 0 subseq_idx 7")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

686

__msg("mark_precise: frame0: regs= stack=-8 before 18: (95) exit")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

687

__msg("mark_precise: frame1: regs= stack= before 17: (0f) r0 += r2")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

688

__msg("mark_precise: frame1: regs= stack= before 16: (79) r2 = *(u64 *)(r1 +0)")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

689

__msg("mark_precise: frame1: regs= stack= before 15: (79) r0 = *(u64 *)(r10 -16)")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

690

__msg("mark_precise: frame1: regs= stack= before 14: (7b) *(u64 *)(r10 -16) = r2")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

691

__msg("mark_precise: frame1: regs= stack= before 13: (7b) *(u64 *)(r1 +0) = r2")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

692

__msg("mark_precise: frame1: regs=r2 stack= before 6: (85) call pc+6")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

693

__msg("mark_precise: frame0: regs=r2 stack= before 5: (bf) r2 = r6")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

694

__msg("mark_precise: frame0: regs=r6 stack= before 4: (07) r1 += -8")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

695

__msg("mark_precise: frame0: regs=r6 stack= before 3: (bf) r1 = r10")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

696

__msg("mark_precise: frame0: regs=r6 stack= before 2: (b7) r6 = 1")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

733

__msg("17: (0f) r1 += r0")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

734

__msg("mark_precise: frame0: last_idx 17 first_idx 0 subseq_idx -1")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

735

__msg("mark_precise: frame0: regs=r0 stack= before 16: (bf) r1 = r7")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

736

__msg("mark_precise: frame0: regs=r0 stack= before 15: (27) r0 *= 4")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

737

__msg("mark_precise: frame0: regs=r0 stack= before 14: (79) r0 = *(u64 *)(r10 -16)")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

738

__msg("mark_precise: frame0: regs= stack=-16 before 13: (7b) *(u64 *)(r7 -8) = r0")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

739

__msg("mark_precise: frame0: regs=r0 stack= before 12: (79) r0 = *(u64 *)(r8 +16)")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

740

__msg("mark_precise: frame0: regs= stack=-16 before 11: (7b) *(u64 *)(r8 +16) = r0")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

741

__msg("mark_precise: frame0: regs=r0 stack= before 10: (79) r0 = *(u64 *)(r7 -8)")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

742

__msg("mark_precise: frame0: regs= stack=-16 before 9: (7b) *(u64 *)(r10 -16) = r0")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

743

__msg("mark_precise: frame0: regs=r0 stack= before 8: (07) r8 += -32")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

744

__msg("mark_precise: frame0: regs=r0 stack= before 7: (bf) r8 = r10")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

745

__msg("mark_precise: frame0: regs=r0 stack= before 6: (07) r7 += -8")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

746

__msg("mark_precise: frame0: regs=r0 stack= before 5: (bf) r7 = r10")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

747

__msg("mark_precise: frame0: regs=r0 stack= before 21: (95) exit")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

748

__msg("mark_precise: frame1: regs=r0 stack= before 20: (bf) r0 = r1")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

749

__msg("mark_precise: frame1: regs=r1 stack= before 4: (85) call pc+15")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

750

__msg("mark_precise: frame0: regs=r1 stack= before 3: (bf) r1 = r6")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

751

__msg("mark_precise: frame0: regs=r6 stack= before 2: (b7) r6 = 1")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

822

__msg("13: (85) call bpf_tail_call#12")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

823

__msg("mark_precise: frame1: last_idx 13 first_idx 0 subseq_idx -1 ")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

824

__msg("returning from callee:")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

825

__msg("frame1: R0=scalar() R6=3 R10=fp0")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

826

__msg("to caller at 4:")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

827

__msg("R0=scalar() R6=map_value(map=.data.vals,ks=4,vs=16) R10=fp0")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

828

__msg("6: (0f) r1 += r0")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

829

__msg("mark_precise: frame0: regs=r0 stack= before 5: (bf) r1 = r6")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

830

__msg("mark_precise: frame0: regs=r0 stack= before 4: (27) r0 *= 4")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

831

__msg("mark_precise: frame0: parent state regs=r0 stack=: R0=Pscalar() R6=map_value(map=.data.vals,ks=4,vs=16) R10=fp0")

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

832

__msg("math between map_value pointer and register with unbounded min value is not allowed")

tools/testing/selftests/bpf/progs/verifier_subreg.c

538

__msg("2: (57) r6 &= 4095 ; R6=scalar(smin=smin32=0,smax=umax=smax32=umax32=4095,var_off=(0x0; 0xfff))")

tools/testing/selftests/bpf/progs/verifier_subreg.c

539

__msg("3: (67) r6 <<= 32 ; R6=scalar(smin=smin32=0,smax=umax=0xfff00000000,smax32=umax32=0,var_off=(0x0; 0xfff00000000))")

tools/testing/selftests/bpf/progs/verifier_subreg.c

540

__msg("4: (c7) r6 s>>= 32 ; R6=scalar(smin=smin32=0,smax=umax=smax32=umax32=4095,var_off=(0x0; 0xfff))")

tools/testing/selftests/bpf/progs/verifier_subreg.c

560

__msg("3: (17) r6 -= 4095 ; R6=scalar(smin=smin32=-4095,smax=smax32=0)")

tools/testing/selftests/bpf/progs/verifier_subreg.c

561

__msg("4: (67) r6 <<= 32 ; R6=scalar(smin=0xfffff00100000000,smax=smax32=umax32=0,umax=0xffffffff00000000,smin32=0,var_off=(0x0; 0xffffffff00000000))")

tools/testing/selftests/bpf/progs/verifier_subreg.c

562

__msg("5: (c7) r6 s>>= 32 ; R6=scalar(smin=smin32=-4095,smax=smax32=0)")

tools/testing/selftests/bpf/progs/verifier_subreg.c

583

__msg("3: (17) r6 -= 2047 ; R6=scalar(smin=smin32=-2047,smax=smax32=2048)")

tools/testing/selftests/bpf/progs/verifier_subreg.c

584

__msg("4: (67) r6 <<= 32 ; R6=scalar(smin=0xfffff80100000000,smax=0x80000000000,umax=0xffffffff00000000,smin32=0,smax32=umax32=0,var_off=(0x0; 0xffffffff00000000))")

tools/testing/selftests/bpf/progs/verifier_subreg.c

585

__msg("5: (c7) r6 s>>= 32 ; R6=scalar(smin=smin32=-2047,smax=smax32=2048)")

tools/testing/selftests/bpf/progs/verifier_tailcall.c

16

__failure __msg("expected prog array map for tail call")

tools/testing/selftests/bpf/progs/verifier_uninit.c

11

__failure __msg("R2 !read_ok")

tools/testing/selftests/bpf/progs/verifier_uninit.c

23

__failure __msg("R15 is invalid")

tools/testing/selftests/bpf/progs/verifier_uninit.c

37

__failure __msg("R0 !read_ok")

tools/testing/selftests/bpf/progs/verifier_uninit.c

49

__failure __msg("R0 !read_ok")

tools/testing/selftests/bpf/progs/verifier_unpriv.c

106

__failure __msg("R1 pointer += pointer")

tools/testing/selftests/bpf/progs/verifier_unpriv.c

252

__failure __msg("invalid size")

tools/testing/selftests/bpf/progs/verifier_unpriv.c

266

__failure __msg("invalid bpf_context access")

tools/testing/selftests/bpf/progs/verifier_unpriv.c

312

__failure __msg("R1 type=fp expected=ctx")

tools/testing/selftests/bpf/progs/verifier_unpriv.c

330

__failure __msg("R1 type=scalar expected=ctx")

tools/testing/selftests/bpf/progs/verifier_unpriv.c

349

__failure __msg("same insn cannot be used with different pointers")

tools/testing/selftests/bpf/progs/verifier_unpriv.c

376

__failure __msg("same insn cannot be used with different pointers")

tools/testing/selftests/bpf/progs/verifier_unpriv.c

401

__failure __msg("type=ctx expected=sock")

tools/testing/selftests/bpf/progs/verifier_unpriv.c

442

__msg("Unreleased reference")

tools/testing/selftests/bpf/progs/verifier_unpriv.c

476

__failure __msg("same insn cannot be used with different pointers")

tools/testing/selftests/bpf/progs/verifier_unpriv.c

515

__msg("cannot write into sock")

tools/testing/selftests/bpf/progs/verifier_unpriv.c

660

__failure __msg("frame pointer is read only")

tools/testing/selftests/bpf/progs/verifier_unpriv.c

673

__failure __msg("frame pointer is read only")

tools/testing/selftests/bpf/progs/verifier_unpriv_perf.c

10

__failure __msg("same insn cannot be used with different pointers")

tools/testing/selftests/bpf/progs/verifier_value.c

24

__failure __msg("R1 !read_ok")

tools/testing/selftests/bpf/progs/verifier_value_illegal_alu.c

122

__failure __msg("R0 invalid mem access 'scalar'")

tools/testing/selftests/bpf/progs/verifier_value_illegal_alu.c

152

__failure __msg("R0 invalid mem access 'scalar'")

tools/testing/selftests/bpf/progs/verifier_value_illegal_alu.c

170

__failure __msg("R7 pointer arithmetic on flow_keys prohibited")

tools/testing/selftests/bpf/progs/verifier_value_illegal_alu.c

190

__failure __msg("BPF_ALU uses reserved fields") \

tools/testing/selftests/bpf/progs/verifier_value_illegal_alu.c

25

__failure __msg("R0 bitwise operator &= on pointer")

tools/testing/selftests/bpf/progs/verifier_value_illegal_alu.c

49

__failure __msg("R0 32-bit pointer arithmetic prohibited")

tools/testing/selftests/bpf/progs/verifier_value_illegal_alu.c

73

__failure __msg("R0 pointer arithmetic with /= operator")

tools/testing/selftests/bpf/progs/verifier_value_illegal_alu.c

97

__failure __msg("invalid mem access 'scalar'")

tools/testing/selftests/bpf/progs/verifier_value_or_null.c

103

__failure __msg("R4 pointer arithmetic on map_value_or_null")

tools/testing/selftests/bpf/progs/verifier_value_or_null.c

127

__failure __msg("R4 !read_ok")

tools/testing/selftests/bpf/progs/verifier_value_or_null.c

185

__failure __msg("R0 unbounded memory access")

tools/testing/selftests/bpf/progs/verifier_value_or_null.c

239

__failure __msg("R8 invalid mem access 'map_value_or_null'")

tools/testing/selftests/bpf/progs/verifier_value_or_null.c

54

__failure __msg("R4 pointer arithmetic on map_value_or_null")

tools/testing/selftests/bpf/progs/verifier_value_or_null.c

79

__failure __msg("R4 pointer arithmetic on map_value_or_null")

tools/testing/selftests/bpf/progs/verifier_value_ptr_arith.c

1052

__failure __msg("R1 max value is outside of the allowed memory range")

tools/testing/selftests/bpf/progs/verifier_value_ptr_arith.c

1161

__failure __msg("R0 pointer += pointer prohibited")

tools/testing/selftests/bpf/progs/verifier_value_ptr_arith.c

1185

__failure __msg("R1 tried to subtract pointer from scalar")

tools/testing/selftests/bpf/progs/verifier_value_ptr_arith.c

1210

__failure __msg("R0 min value is outside of the allowed memory range")

tools/testing/selftests/bpf/progs/verifier_value_ptr_arith.c

1261

__failure __msg("R1 tried to subtract pointer from scalar")

tools/testing/selftests/bpf/progs/verifier_value_ptr_arith.c

1287

__failure __msg("R0 min value is negative")

tools/testing/selftests/bpf/progs/verifier_value_ptr_arith.c

1348

__failure __msg("R0 invalid mem access 'scalar'")

tools/testing/selftests/bpf/progs/verifier_value_ptr_arith.c

1372

__failure __msg("math between map_value pointer and 4294967295 is not allowed")

tools/testing/selftests/bpf/progs/verifier_value_ptr_arith.c

686

__failure __msg("R0 min value is outside of the allowed memory range")

tools/testing/selftests/bpf/progs/verifier_value_ptr_arith.c

818

__failure __msg("invalid access to map value")

tools/testing/selftests/bpf/progs/verifier_value_ptr_arith.c

843

__failure __msg("invalid access to map value")

tools/testing/selftests/bpf/progs/verifier_var_off.c

131

__log_level(4) __msg("stack depth 16")

tools/testing/selftests/bpf/progs/verifier_var_off.c

165

__msg("R2 invalid mem access 'scalar'")

tools/testing/selftests/bpf/progs/verifier_var_off.c

17

__failure __msg("variable ctx access var_off=(0x0; 0x4)")

tools/testing/selftests/bpf/progs/verifier_var_off.c

206

__failure __msg("invalid unbounded variable-offset write to stack R4")

tools/testing/selftests/bpf/progs/verifier_var_off.c

239

__failure __msg("invalid variable-offset read from stack R2")

tools/testing/selftests/bpf/progs/verifier_var_off.c

272

__failure __msg("invalid variable-offset write to stack R1")

tools/testing/selftests/bpf/progs/verifier_var_off.c

297

__failure __msg("invalid variable-offset read from stack R2")

tools/testing/selftests/bpf/progs/verifier_var_off.c

91

__log_level(4) __msg("stack depth 16")

tools/testing/selftests/bpf/progs/verifier_vfs_reject.c

101

__failure __msg("R1 must be referenced or trusted")

tools/testing/selftests/bpf/progs/verifier_vfs_reject.c

115

__failure __msg("R1 must be referenced or trusted")

tools/testing/selftests/bpf/progs/verifier_vfs_reject.c

131

__failure __msg("kernel function bpf_path_d_path args#0 expected pointer to STRUCT path but R1 has a pointer to STRUCT file")

tools/testing/selftests/bpf/progs/verifier_vfs_reject.c

139

__failure __msg("invalid access to map value, value_size=4096 off=0 size=8192")

tools/testing/selftests/bpf/progs/verifier_vfs_reject.c

153

__failure __msg("calling kernel function bpf_path_d_path is not allowed")

tools/testing/selftests/bpf/progs/verifier_vfs_reject.c

16

__failure __msg("Possibly NULL pointer passed to trusted arg0")

tools/testing/selftests/bpf/progs/verifier_vfs_reject.c

163

__failure __msg("invalid mem access 'trusted_ptr_or_null_'")

tools/testing/selftests/bpf/progs/verifier_vfs_reject.c

31

__failure __msg("arg#0 pointer type STRUCT task_struct must point to scalar, or struct with scalar")

tools/testing/selftests/bpf/progs/verifier_vfs_reject.c

49

__failure __msg("R1 must be referenced or trusted")

tools/testing/selftests/bpf/progs/verifier_vfs_reject.c

69

__failure __msg("Unreleased reference")

tools/testing/selftests/bpf/progs/verifier_vfs_reject.c

83

__failure __msg("release kernel function bpf_put_file expects")

tools/testing/selftests/bpf/progs/verifier_vfs_reject.c

92

__failure __msg("Possibly NULL pointer passed to trusted arg0")

tools/testing/selftests/bpf/progs/verifier_xadd.c

17

__failure __msg("misaligned stack access off")

tools/testing/selftests/bpf/progs/verifier_xadd.c

31

__failure __msg("misaligned value access off")

tools/testing/selftests/bpf/progs/verifier_xadd.c

55

__failure __msg("BPF_ATOMIC stores into R2 pkt is not allowed")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

10

__failure __msg("R3 pointer arithmetic on pkt_end")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

1012

__failure __msg("R1 offset is outside of the packet")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

1034

__failure __msg("R1 offset is outside of the packet")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

1118

__failure __msg("R1 offset is outside of the packet")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

1140

__failure __msg("R1 offset is outside of the packet")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

1223

__failure __msg("R1 offset is outside of the packet")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

1244

__failure __msg("R1 offset is outside of the packet")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

1285

__failure __msg("R1 offset is outside of the packet")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

1326

__failure __msg("R1 offset is outside of the packet")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

134

__failure __msg("R1 offset is outside of the packet")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

1347

__failure __msg("R1 offset is outside of the packet")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

1429

__failure __msg("R1 offset is outside of the packet")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

1451

__failure __msg("R1 offset is outside of the packet")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

1493

__failure __msg("R1 offset is outside of the packet")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

1536

__failure __msg("R1 offset is outside of the packet")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

1558

__failure __msg("R1 offset is outside of the packet")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

1600

__failure __msg("R1 offset is outside of the packet")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

1642

__failure __msg("R1 offset is outside of the packet")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

1663

__failure __msg("R1 offset is outside of the packet")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

176

__failure __msg("R1 offset is outside of the packet")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

198

__failure __msg("R1 offset is outside of the packet")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

282

__failure __msg("R1 offset is outside of the packet")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

304

__failure __msg("R1 offset is outside of the packet")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

31

__failure __msg("R3 pointer arithmetic on pkt_end")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

387

__failure __msg("R1 offset is outside of the packet")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

408

__failure __msg("R1 offset is outside of the packet")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

449

__failure __msg("R1 offset is outside of the packet")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

490

__failure __msg("R1 offset is outside of the packet")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

511

__failure __msg("R1 offset is outside of the packet")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

593

__failure __msg("R1 offset is outside of the packet")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

615

__failure __msg("R1 offset is outside of the packet")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

657

__failure __msg("R1 offset is outside of the packet")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

700

__failure __msg("R1 offset is outside of the packet")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

72

__failure __msg("R1 offset is outside of the packet")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

722

__failure __msg("R1 offset is outside of the packet")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

764

__failure __msg("R1 offset is outside of the packet")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

806

__failure __msg("R1 offset is outside of the packet")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

827

__failure __msg("R1 offset is outside of the packet")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

908

__failure __msg("R1 offset is outside of the packet")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

929

__failure __msg("R1 offset is outside of the packet")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

93

__failure __msg("R1 offset is outside of the packet")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

970

__failure __msg("R1 offset is outside of the packet")

tools/testing/selftests/bpf/progs/wq_failures.c

100

__msg(": (85) call bpf_wq_set_callback#") /* anchor message */

tools/testing/selftests/bpf/progs/wq_failures.c

101

__msg("arg#0 doesn't point to a map value")

tools/testing/selftests/bpf/progs/wq_failures.c

126

__msg(": (85) call bpf_wq_set_callback#") /* anchor message */

tools/testing/selftests/bpf/progs/wq_failures.c

127

__msg("off 1 doesn't point to 'struct bpf_wq' that is at 0")

tools/testing/selftests/bpf/progs/wq_failures.c

149

__msg(": (85) call bpf_wq_init#")

tools/testing/selftests/bpf/progs/wq_failures.c

150

__msg("R1 doesn't have constant offset. bpf_wq has to be at the constant offset")

tools/testing/selftests/bpf/progs/wq_failures.c

50

__msg(": (85) call bpf_wq_init#") /* anchor message */

tools/testing/selftests/bpf/progs/wq_failures.c

51

__msg("pointer in R2 isn't map pointer")

tools/testing/selftests/bpf/progs/wq_failures.c

75

__msg(": (85) call bpf_wq_init#") /* anchor message */

tools/testing/selftests/bpf/progs/wq_failures.c

76

__msg("workqueue pointer in R1 map_uid=0 doesn't match map pointer in R2 map_uid=0")