test_verifier in ubuntu_bpf failed with 47 test cases on J-64k-ARM64 openstack

Bug #2040479 reported by Po-Hsu Lin
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
ubuntu-kernel-tests
New
Undecided
Unassigned

Bug Description

Issue found with J-generic-5.15.0-88.98 and J-lowlatency-5.15.0-88.98 on Openstack ARM64 instance with 64k flavour.

After the ubuntu_bpf build issue (bug 2035181) fixed, test in ubuntu_bpf can be tested and reporting failures.

The failure consists of 41 failures reported for ARM64 in bug 2040261. And 6 extra failures reported for 64k flavour:

 #867/u reference tracking: try to leak released ptr reg Failed to create hash map 'Invalid argument'!
 FAIL
 Unexpected verifier log!
 EXP: R8 !read_ok
 RES:
 FAIL
 Unexpected error message!
     EXP: R8 !read_ok
     RES: fd -1 is not pointing to valid bpf_map
 verification time 20 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 fd -1 is not pointing to valid bpf_map
 verification time 20 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0
 #867/p reference tracking: try to leak released ptr reg Failed to create hash map 'Invalid argument'!
 FAIL
 Failed to load prog 'Bad file descriptor'!
 fd -1 is not pointing to valid bpf_map
 verification time 6 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0
 #944/u check valid spill/fill, ptr to mem Failed to create hash map 'Invalid argument'!
 FAIL
 Failed to load prog 'Bad file descriptor'!
 fd -1 is not pointing to valid bpf_map
 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
 #944/p check valid spill/fill, ptr to mem Failed to create hash map 'Invalid argument'!
 FAIL
 Failed to load prog 'Bad file descriptor'!
 fd -1 is not pointing to valid bpf_map
 verification time 6 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0
 #945/u check with invalid reg offset 0 Failed to create hash map 'Invalid argument'!
 FAIL
 Unexpected verifier log!
 EXP: R0 pointer arithmetic on mem_or_null prohibited
 RES:
 FAIL
 Unexpected error message!
     EXP: R0 pointer arithmetic on mem_or_null prohibited
     RES: fd -1 is not pointing to valid bpf_map
 verification time 6 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 fd -1 is not pointing to valid bpf_map
 verification time 6 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0
 #945/p check with invalid reg offset 0 Failed to create hash map 'Invalid argument'!
 FAIL
 Unexpected verifier log!
 EXP: R0 pointer arithmetic on mem_or_null prohibited
 RES:
 FAIL
 Unexpected error message!
     EXP: R0 pointer arithmetic on mem_or_null prohibited
     RES: fd -1 is not pointing to valid bpf_map
 verification time 6 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 fd -1 is not pointing to valid bpf_map
 verification time 6 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

You will find the complete 47 failures in the attachment.

This should not be considered as a regression since we just start testing ubuntu_bpf on openstack instances from 5.15.0-83 (and it's affected by the aforementioned build issue since then)

Revision history for this message
Po-Hsu Lin (cypressyew) wrote :
To post a comment you must log in.
This report contains Public information  
Everyone can see this information.

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.