ubuntu_bpf/test_verifier failed on J-KVM (6 failures reported)
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
ubuntu-kernel-tests |
New
|
Undecided
|
Unassigned |
Bug Description
Issue found on J-kvm 5.15.0-1031.36 after start testing on openstack.
Test failed with:
#27/u atomic compare-
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_
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.