ubuntu_bpf/test_verifier failed on J-KVM (6 failures reported)

[Po-Hsu Lin]

Issue found on J-kvm 5.15.0-1031.36 after start testing on openstack.

Test failed with:
#27/u atomic compare-and-exchange smoketest - 32bit FAIL
 Unexpected success to load!
 verification time 56 usec
 stack depth 4
 processed 23 insns (limit 1000000) max_states_per_insn 0 total_states 2 peak_states 2 mark_read 1

#30/u BPF_W cmpxchg should zero top 32 bits FAIL
 Unexpected success to load!
 verification time 30 usec
 stack depth 8
 processed 13 insns (limit 1000000) max_states_per_insn 0 total_states 1 peak_states 1 mark_read 0

#40/p Can't use ATM_FETCH_ADD on kernel memory FAIL
 Unexpected verifier log!
 EXP: only read is supported
 RES:
 FAIL
 Unexpected error message!
     EXP: only read is supported
     RES: The address of function bpf_fentry_test7 cannot be found
 verification time 34 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 The address of function bpf_fentry_test7 cannot be found
 verification time 34 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

#150/p calls: trigger reg2btf_ids[reg->type] for reg->type > __BPF_REG_TYPE_MAX FAIL
 Unexpected verifier log!
 EXP: arg#0 pointer type STRUCT prog_test_ref_kfunc must point
 RES:
 FAIL
 Unexpected error message!
     EXP: arg#0 pointer type STRUCT prog_test_ref_kfunc must point
     RES: JIT is required for calling kernel function
 verification time 5 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 JIT is required for calling kernel function
 verification time 5 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

#392/p d_path accept FAIL
 Failed to load prog 'No such file or directory'!
 The address of function dentry_open cannot be found
 verification time 21 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

#393/p d_path reject FAIL
 Unexpected verifier log!
 EXP: helper call is not allowed in probe
 RES:
 FAIL
 Unexpected error message!
     EXP: helper call is not allowed in probe
     RES: The address of function d_path cannot be found
 verification time 15 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 The address of function d_path cannot be found
 verification time 15 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

Summary: 1813 PASSED, 0 SKIPPED, 6 FAILED

Please find attachment for the complete test log.