test_verifier in ubuntu_bpf failed with 6 test cases on J-gkeop (#27, #30, #40, #150, #392, #393)

[Po-Hsu Lin]

Different from Jammy 5.15 generic kernel and J-oracle kernel, which has 40 failures reported in this test_verifier test case (bug 1991215). Also 3 failure for other cloud variants (bug 1991351)

test_verifier in ubuntu_bpf with Jammy gkeop is failing with another 6 test cases:

 #27/u atomic compare-and-exchange smoketest - 32bit FAIL
 Unexpected success to load!
 verification time 30 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 15 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 7 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 7 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 7 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 7 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 7 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

[Po-Hsu Lin (cypressyew)]

For J-gkeop 5.15.0-1005.7
The failed test case number has reduced to 3:
#27, #30, #150

 #27/u atomic compare-and-exchange smoketest - 32bit FAIL
 Unexpected success to load!
 verification time 32 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 17 usec
 stack depth 8
 processed 13 insns (limit 1000000) max_states_per_insn 0 total_states 1 peak_states 1 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: kernel btf_id 0 is not a function
 verification time 10 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 kernel btf_id 0 is not a function
 verification time 10 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

[Po-Hsu Lin (cypressyew)]

As per comment #1, I will mark this one as duplicated.