canonical-ubuntu-qa team mailing list archive

[Po-Hsu Lin <2022867@xxxxxxxxxxxxxxxxxx>]

Public bug reported:

This is not a regression, this issue can be seen after we start testing
on openstack with 5.15.0-1036.39 in sru-20230320, we just need a new bug
to record different failures reported there.

There are 67 failures reported in this test_verifier tests with J/realtime openstack amd64. Failed cases as follows:
 #27/u atomic compare-and-exchange smoketest - 32bit FAIL
 Unexpected success to load!
 verification time 59 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 32 usec
 stack depth 8
 processed 13 insns (limit 1000000) max_states_per_insn 0 total_states 1 peak_states 1 mark_read 0

 #143/p bpf_get_stack return R0 within range FAIL
 Failed to load prog 'Invalid argument'!
 trace type programs can only use preallocated hash 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

 #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 17 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 17 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 #511/p helper access to variable memory: map, JMP, correct bounds FAIL
 Failed to load prog 'Invalid argument'!
 trace type programs can only use preallocated hash map
 verification time 9 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 #512/p helper access to variable memory: map, JMP, wrong max FAIL
 Unexpected verifier log!
 EXP: invalid access to map value, value_size=48 off=0 size=49
 RES:
 FAIL
 Unexpected error message!
     EXP: invalid access to map value, value_size=48 off=0 size=49
     RES: trace type programs can only use preallocated hash 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
 
 trace type programs can only use preallocated hash 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

 #513/p helper access to variable memory: map adjusted, JMP, correct bounds FAIL
 Failed to load prog 'Invalid argument'!
 trace type programs can only use preallocated hash 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

 #514/p helper access to variable memory: map adjusted, JMP, wrong max FAIL
 Unexpected verifier log!
 EXP: R1 min value is outside of the allowed memory range
 RES:
 FAIL
 Unexpected error message!
     EXP: R1 min value is outside of the allowed memory range
     RES: trace type programs can only use preallocated hash 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
 
 trace type programs can only use preallocated hash 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

 #525/p helper access to variable memory: size = 0 allowed on != NULL map pointer (!ARG_PTR_TO_MEM_OR_NULL) FAIL
 Failed to load prog 'Invalid argument'!
 trace type programs can only use preallocated hash 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

 #526/p helper access to variable memory: size possible = 0 allowed on != NULL stack pointer (!ARG_PTR_TO_MEM_OR_NULL) FAIL
 Failed to load prog 'Invalid argument'!
 trace type programs can only use preallocated hash 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
 #527/p helper access to variable memory: size possible = 0 allowed on != NULL map pointer (!ARG_PTR_TO_MEM_OR_NULL) FAIL
 Failed to load prog 'Invalid argument'!
 trace type programs can only use preallocated hash 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

 #551/p helper access to map: full range FAIL
 Failed to load prog 'Invalid argument'!
 trace type programs can only use preallocated hash 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

 #552/p helper access to map: partial range FAIL
 Failed to load prog 'Invalid argument'!
 trace type programs can only use preallocated hash map
 verification time 8 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 #553/p helper access to map: empty range FAIL
 Unexpected verifier log!
 EXP: invalid access to map value, value_size=48 off=0 size=0
 RES:
 FAIL
 Unexpected error message!
     EXP: invalid access to map value, value_size=48 off=0 size=0
     RES: trace type programs can only use preallocated hash 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
 
 trace type programs can only use preallocated hash 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

 #554/p helper access to map: out-of-bound range FAIL
 Unexpected verifier log!
 EXP: invalid access to map value, value_size=48 off=0 size=56
 RES:
 FAIL
 Unexpected error message!
     EXP: invalid access to map value, value_size=48 off=0 size=56
     RES: trace type programs can only use preallocated hash 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
 
 trace type programs can only use preallocated hash 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

 #555/p helper access to map: negative range FAIL
 Unexpected verifier log!
 EXP: R2 min value is negative
 RES:
 FAIL
 Unexpected error message!
     EXP: R2 min value is negative
     RES: trace type programs can only use preallocated hash 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
 
 trace type programs can only use preallocated hash 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

 #556/p helper access to adjusted map (via const imm): full range FAIL
 Failed to load prog 'Invalid argument'!
 trace type programs can only use preallocated hash 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

 #557/p helper access to adjusted map (via const imm): partial range FAIL
 Failed to load prog 'Invalid argument'!
 trace type programs can only use preallocated hash 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

 #558/p helper access to adjusted map (via const imm): empty range FAIL
 Unexpected verifier log!
 EXP: invalid access to map value, value_size=48 off=4 size=0
 RES:
 FAIL
 Unexpected error message!
     EXP: invalid access to map value, value_size=48 off=4 size=0
     RES: trace type programs can only use preallocated hash 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
 
 trace type programs can only use preallocated hash 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

 #559/p helper access to adjusted map (via const imm): out-of-bound range FAIL
 Unexpected verifier log!
 EXP: invalid access to map value, value_size=48 off=4 size=52
 RES:
 FAIL
 Unexpected error message!
     EXP: invalid access to map value, value_size=48 off=4 size=52
     RES: trace type programs can only use preallocated hash 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
 
 trace type programs can only use preallocated hash 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

 #560/p helper access to adjusted map (via const imm): negative range (> adjustment) FAIL
 Unexpected verifier log!
 EXP: R2 min value is negative
 RES:
 FAIL
 Unexpected error message!
     EXP: R2 min value is negative
     RES: trace type programs can only use preallocated hash 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
 
 trace type programs can only use preallocated hash 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

 #561/p helper access to adjusted map (via const imm): negative range (< adjustment) FAIL
 Unexpected verifier log!
 EXP: R2 min value is negative
 RES:
 FAIL
 Unexpected error message!
     EXP: R2 min value is negative
     RES: trace type programs can only use preallocated hash 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
 
 trace type programs can only use preallocated hash 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

 #562/p helper access to adjusted map (via const reg): full range FAIL
 Failed to load prog 'Invalid argument'!
 trace type programs can only use preallocated hash 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

 #563/p helper access to adjusted map (via const reg): partial range FAIL
 Failed to load prog 'Invalid argument'!
 trace type programs can only use preallocated hash 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

 #564/p helper access to adjusted map (via const reg): empty range FAIL
 Unexpected verifier log!
 EXP: R1 min value is outside of the allowed memory range
 RES:
 FAIL
 Unexpected error message!
     EXP: R1 min value is outside of the allowed memory range
     RES: trace type programs can only use preallocated hash 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
 
 trace type programs can only use preallocated hash 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

 #565/p helper access to adjusted map (via const reg): out-of-bound range FAIL
 Unexpected verifier log!
 EXP: invalid access to map value, value_size=48 off=4 size=52
 RES:
 FAIL
 Unexpected error message!
     EXP: invalid access to map value, value_size=48 off=4 size=52
     RES: trace type programs can only use preallocated hash 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
 
 trace type programs can only use preallocated hash 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

 #566/p helper access to adjusted map (via const reg): negative range (> adjustment) FAIL
 Unexpected verifier log!
 EXP: R2 min value is negative
 RES:
 FAIL
 Unexpected error message!
     EXP: R2 min value is negative
     RES: trace type programs can only use preallocated hash 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
 
 trace type programs can only use preallocated hash 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

 #567/p helper access to adjusted map (via const reg): negative range (< adjustment) FAIL
 Unexpected verifier log!
 EXP: R2 min value is negative
 RES:
 FAIL
 Unexpected error message!
     EXP: R2 min value is negative
     RES: trace type programs can only use preallocated hash 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
 
 trace type programs can only use preallocated hash 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

 #568/p helper access to adjusted map (via variable): full range FAIL
 Failed to load prog 'Invalid argument'!
 trace type programs can only use preallocated hash 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

 #569/p helper access to adjusted map (via variable): partial range FAIL
 Failed to load prog 'Invalid argument'!
 trace type programs can only use preallocated hash 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

 #570/p helper access to adjusted map (via variable): empty range FAIL
 Unexpected verifier log!
 EXP: R1 min value is outside of the allowed memory range
 RES:
 FAIL
 Unexpected error message!
     EXP: R1 min value is outside of the allowed memory range
     RES: trace type programs can only use preallocated hash 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
 
 trace type programs can only use preallocated hash 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

 #571/p helper access to adjusted map (via variable): no max check FAIL
 Unexpected verifier log!
 EXP: R1 unbounded memory access
 RES:
 FAIL
 Unexpected error message!
     EXP: R1 unbounded memory access
     RES: trace type programs can only use preallocated hash map
 verification time 9 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0
 
 trace type programs can only use preallocated hash map
 verification time 9 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 #572/p helper access to adjusted map (via variable): wrong max check FAIL
 Unexpected verifier log!
 EXP: invalid access to map value, value_size=48 off=4 size=45
 RES:
 FAIL
 Unexpected error message!
     EXP: invalid access to map value, value_size=48 off=4 size=45
     RES: trace type programs can only use preallocated hash 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
 
 trace type programs can only use preallocated hash 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

 #573/p helper access to map: bounds check using <, good access FAIL
 Failed to load prog 'Invalid argument'!
 trace type programs can only use preallocated hash 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

 #574/p helper access to map: bounds check using <, bad access FAIL
 Unexpected verifier log!
 EXP: R1 unbounded memory access
 RES:
 FAIL
 Unexpected error message!
     EXP: R1 unbounded memory access
     RES: trace type programs can only use preallocated hash 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
 
 trace type programs can only use preallocated hash 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

 #575/p helper access to map: bounds check using <=, good access FAIL
 Failed to load prog 'Invalid argument'!
 trace type programs can only use preallocated hash 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

 #576/p helper access to map: bounds check using <=, bad access FAIL
 Unexpected verifier log!
 EXP: R1 unbounded memory access
 RES:
 FAIL
 Unexpected error message!
     EXP: R1 unbounded memory access
     RES: trace type programs can only use preallocated hash 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
 
 trace type programs can only use preallocated hash 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

 #577/p helper access to map: bounds check using s<, good access FAIL
 Failed to load prog 'Invalid argument'!
 trace type programs can only use preallocated hash map
 verification time 23 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 #578/p helper access to map: bounds check using s<, good access 2 FAIL
 Failed to load prog 'Invalid argument'!
 trace type programs can only use preallocated hash 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

 #579/p helper access to map: bounds check using s<, bad access FAIL
 Unexpected verifier log!
 EXP: R1 min value is negative
 RES:
 FAIL
 Unexpected error message!
     EXP: R1 min value is negative
     RES: trace type programs can only use preallocated hash map
 verification time 9 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0
 
 trace type programs can only use preallocated hash map
 verification time 9 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 #580/p helper access to map: bounds check using s<=, good access FAIL
 Failed to load prog 'Invalid argument'!
 trace type programs can only use preallocated hash 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

 #581/p helper access to map: bounds check using s<=, good access 2 FAIL
 Failed to load prog 'Invalid argument'!
 trace type programs can only use preallocated hash 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

 #582/p helper access to map: bounds check using s<=, bad access FAIL
 Unexpected verifier log!
 EXP: R1 min value is negative
 RES:
 FAIL
 Unexpected error message!
     EXP: R1 min value is negative
     RES: trace type programs can only use preallocated hash 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
 
 trace type programs can only use preallocated hash 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

 #583/p map lookup helper access to map FAIL
 Failed to load prog 'Invalid argument'!
 trace type programs can only use preallocated hash 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

 #584/p map update helper access to map FAIL
 Failed to load prog 'Invalid argument'!
 trace type programs can only use preallocated hash 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

 #585/p map update helper access to map: wrong size FAIL
 Unexpected verifier log!
 EXP: invalid access to map value, value_size=8 off=0 size=16
 RES:
 FAIL
 Unexpected error message!
     EXP: invalid access to map value, value_size=8 off=0 size=16
     RES: trace type programs can only use preallocated hash 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
 
 trace type programs can only use preallocated hash 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

 #586/p map helper access to adjusted map (via const imm) FAIL
 Failed to load prog 'Invalid argument'!
 trace type programs can only use preallocated hash 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

 #587/p map helper access to adjusted map (via const imm): out-of-bound 1 FAIL
 Unexpected verifier log!
 EXP: invalid access to map value, value_size=16 off=12 size=8
 RES:
 FAIL
 Unexpected error message!
     EXP: invalid access to map value, value_size=16 off=12 size=8
     RES: trace type programs can only use preallocated hash 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
 
 trace type programs can only use preallocated hash 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

 #588/p map helper access to adjusted map (via const imm): out-of-bound 2 FAIL
 Unexpected verifier log!
 EXP: invalid access to map value, value_size=16 off=-4 size=8
 RES:
 FAIL
 Unexpected error message!
     EXP: invalid access to map value, value_size=16 off=-4 size=8
     RES: trace type programs can only use preallocated hash 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
 
 trace type programs can only use preallocated hash 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

 #589/p map helper access to adjusted map (via const reg) FAIL
 Failed to load prog 'Invalid argument'!
 trace type programs can only use preallocated hash 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
 #590/p map helper access to adjusted map (via const reg): out-of-bound 1 FAIL
 Unexpected verifier log!
 EXP: invalid access to map value, value_size=16 off=12 size=8
 RES:
 FAIL
 Unexpected error message!
     EXP: invalid access to map value, value_size=16 off=12 size=8
     RES: trace type programs can only use preallocated hash 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
 
 trace type programs can only use preallocated hash 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

 #591/p map helper access to adjusted map (via const reg): out-of-bound 2 FAIL
 Unexpected verifier log!
 EXP: invalid access to map value, value_size=16 off=-4 size=8
 RES:
 FAIL
 Unexpected error message!
     EXP: invalid access to map value, value_size=16 off=-4 size=8
     RES: trace type programs can only use preallocated hash 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
 
 trace type programs can only use preallocated hash 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

 #592/p map helper access to adjusted map (via variable) FAIL
 Failed to load prog 'Invalid argument'!
 trace type programs can only use preallocated hash 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

 #593/p map helper access to adjusted map (via variable): no max check FAIL
 Unexpected verifier log!
 EXP: R2 unbounded memory access, make sure to bounds check any such access
 RES:
 FAIL
 Unexpected error message!
     EXP: R2 unbounded memory access, make sure to bounds check any such access
     RES: trace type programs can only use preallocated hash 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
 
 trace type programs can only use preallocated hash 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

 #594/p map helper access to adjusted map (via variable): wrong max check FAIL
 Unexpected verifier log!
 EXP: invalid access to map value, value_size=16 off=9 size=8
 RES:
 FAIL
 Unexpected error message!
     EXP: invalid access to map value, value_size=16 off=9 size=8
     RES: trace type programs can only use preallocated hash 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
 
 trace type programs can only use preallocated hash 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

 #868/p regalloc basic FAIL
 Failed to load prog 'Invalid argument'!
 trace type programs can only use preallocated hash 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

 #869/p regalloc negative FAIL
 Unexpected verifier log!
 EXP: invalid access to map value, value_size=48 off=48 size=1
 RES:
 FAIL
 Unexpected error message!
     EXP: invalid access to map value, value_size=48 off=48 size=1
     RES: trace type programs can only use preallocated hash 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
 
 trace type programs can only use preallocated hash 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

 #870/p regalloc src_reg mark FAIL
 Failed to load prog 'Invalid argument'!
 trace type programs can only use preallocated hash 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

 #871/p regalloc src_reg negative FAIL
 Unexpected verifier log!
 EXP: invalid access to map value, value_size=48 off=44 size=8
 RES:
 FAIL
 Unexpected error message!
     EXP: invalid access to map value, value_size=48 off=44 size=8
     RES: trace type programs can only use preallocated hash 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
 
 trace type programs can only use preallocated hash 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

 #872/p regalloc and spill FAIL
 Failed to load prog 'Invalid argument'!
 trace type programs can only use preallocated hash map
 verification time 11 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 #873/p regalloc and spill negative FAIL
 Unexpected verifier log!
 EXP: invalid access to map value, value_size=48 off=48 size=8
 RES:
 FAIL
 Unexpected error message!
     EXP: invalid access to map value, value_size=48 off=48 size=8
     RES: trace type programs can only use preallocated hash 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
 
 trace type programs can only use preallocated hash 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

 #874/p regalloc three regs FAIL
 Failed to load prog 'Invalid argument'!
 trace type programs can only use preallocated hash 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

 #875/p regalloc after call FAIL
 Failed to load prog 'Invalid argument'!
 trace type programs can only use preallocated hash map
 verification time 8 usec
 stack depth 0+0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 #876/p regalloc in callee FAIL
 Failed to load prog 'Invalid argument'!
 trace type programs can only use preallocated hash map
 verification time 7 usec
 stack depth 0+0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 #877/p regalloc, spill, JEQ FAIL
 Failed to load prog 'Invalid argument'!
 trace type programs can only use preallocated hash map
 verification time 8 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 #897/p search pruning: all branches should be verified (nop operation) FAIL
 Unexpected verifier log!
 EXP: R6 invalid mem access 'inv'
 RES:
 FAIL
 Unexpected error message!
     EXP: R6 invalid mem access 'inv'
     RES: trace type programs can only use preallocated hash 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
 
 trace type programs can only use preallocated hash 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

 #898/p search pruning: all branches should be verified (invalid stack access) FAIL
 Unexpected verifier log!
 EXP: invalid read from stack off -16+0 size 8
 RES:
 FAIL
 Unexpected error message!
     EXP: invalid read from stack off -16+0 size 8
     RES: trace type programs can only use preallocated hash map
 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
 
 trace type programs can only use preallocated hash map
 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: 1754 PASSED, 0 SKIPPED, 67 FAILED

Please find attachment for complete test log.

** Affects: ubuntu-kernel-tests
     Importance: Undecided
         Status: New

** Affects: linux-realtime (Ubuntu)
     Importance: Undecided
         Status: New


** Tags: 5.15 amd64 jammy realtime sru-20230320 sru-20230417 sru-20230515

** Attachment added: "j-realtime-openstack-amd64.log"
   https://bugs.launchpad.net/bugs/2022867/+attachment/5677766/+files/j-realtime-openstack-amd64.log

** Also affects: linux-realtime (Ubuntu)
   Importance: Undecided
       Status: New

-- 
You received this bug notification because you are a member of Canonical
Platform QA Team, which is subscribed to ubuntu-kernel-tests.
https://bugs.launchpad.net/bugs/2022867

Title:
  67 failures reported in test_verifier from ubuntu_bpf with J-realtime
  openstack amd64

Status in ubuntu-kernel-tests:
  New
Status in linux-realtime package in Ubuntu:
  New

Bug description:
  This is not a regression, this issue can be seen after we start
  testing on openstack with 5.15.0-1036.39 in sru-20230320, we just need
  a new bug to record different failures reported there.

  There are 67 failures reported in this test_verifier tests with J/realtime openstack amd64. Failed cases as follows:
   #27/u atomic compare-and-exchange smoketest - 32bit FAIL
   Unexpected success to load!
   verification time 59 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 32 usec
   stack depth 8
   processed 13 insns (limit 1000000) max_states_per_insn 0 total_states 1 peak_states 1 mark_read 0

   #143/p bpf_get_stack return R0 within range FAIL
   Failed to load prog 'Invalid argument'!
   trace type programs can only use preallocated hash 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

   #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 17 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 17 usec
   stack depth 0
   processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

   #511/p helper access to variable memory: map, JMP, correct bounds FAIL
   Failed to load prog 'Invalid argument'!
   trace type programs can only use preallocated hash map
   verification time 9 usec
   stack depth 0
   processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

   #512/p helper access to variable memory: map, JMP, wrong max FAIL
   Unexpected verifier log!
   EXP: invalid access to map value, value_size=48 off=0 size=49
   RES:
   FAIL
   Unexpected error message!
       EXP: invalid access to map value, value_size=48 off=0 size=49
       RES: trace type programs can only use preallocated hash 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
   
   trace type programs can only use preallocated hash 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

   #513/p helper access to variable memory: map adjusted, JMP, correct bounds FAIL
   Failed to load prog 'Invalid argument'!
   trace type programs can only use preallocated hash 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

   #514/p helper access to variable memory: map adjusted, JMP, wrong max FAIL
   Unexpected verifier log!
   EXP: R1 min value is outside of the allowed memory range
   RES:
   FAIL
   Unexpected error message!
       EXP: R1 min value is outside of the allowed memory range
       RES: trace type programs can only use preallocated hash 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
   
   trace type programs can only use preallocated hash 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

   #525/p helper access to variable memory: size = 0 allowed on != NULL map pointer (!ARG_PTR_TO_MEM_OR_NULL) FAIL
   Failed to load prog 'Invalid argument'!
   trace type programs can only use preallocated hash 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

   #526/p helper access to variable memory: size possible = 0 allowed on != NULL stack pointer (!ARG_PTR_TO_MEM_OR_NULL) FAIL
   Failed to load prog 'Invalid argument'!
   trace type programs can only use preallocated hash 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
   #527/p helper access to variable memory: size possible = 0 allowed on != NULL map pointer (!ARG_PTR_TO_MEM_OR_NULL) FAIL
   Failed to load prog 'Invalid argument'!
   trace type programs can only use preallocated hash 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

   #551/p helper access to map: full range FAIL
   Failed to load prog 'Invalid argument'!
   trace type programs can only use preallocated hash 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

   #552/p helper access to map: partial range FAIL
   Failed to load prog 'Invalid argument'!
   trace type programs can only use preallocated hash map
   verification time 8 usec
   stack depth 0
   processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

   #553/p helper access to map: empty range FAIL
   Unexpected verifier log!
   EXP: invalid access to map value, value_size=48 off=0 size=0
   RES:
   FAIL
   Unexpected error message!
       EXP: invalid access to map value, value_size=48 off=0 size=0
       RES: trace type programs can only use preallocated hash 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
   
   trace type programs can only use preallocated hash 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

   #554/p helper access to map: out-of-bound range FAIL
   Unexpected verifier log!
   EXP: invalid access to map value, value_size=48 off=0 size=56
   RES:
   FAIL
   Unexpected error message!
       EXP: invalid access to map value, value_size=48 off=0 size=56
       RES: trace type programs can only use preallocated hash 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
   
   trace type programs can only use preallocated hash 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

   #555/p helper access to map: negative range FAIL
   Unexpected verifier log!
   EXP: R2 min value is negative
   RES:
   FAIL
   Unexpected error message!
       EXP: R2 min value is negative
       RES: trace type programs can only use preallocated hash 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
   
   trace type programs can only use preallocated hash 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

   #556/p helper access to adjusted map (via const imm): full range FAIL
   Failed to load prog 'Invalid argument'!
   trace type programs can only use preallocated hash 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

   #557/p helper access to adjusted map (via const imm): partial range FAIL
   Failed to load prog 'Invalid argument'!
   trace type programs can only use preallocated hash 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

   #558/p helper access to adjusted map (via const imm): empty range FAIL
   Unexpected verifier log!
   EXP: invalid access to map value, value_size=48 off=4 size=0
   RES:
   FAIL
   Unexpected error message!
       EXP: invalid access to map value, value_size=48 off=4 size=0
       RES: trace type programs can only use preallocated hash 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
   
   trace type programs can only use preallocated hash 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

   #559/p helper access to adjusted map (via const imm): out-of-bound range FAIL
   Unexpected verifier log!
   EXP: invalid access to map value, value_size=48 off=4 size=52
   RES:
   FAIL
   Unexpected error message!
       EXP: invalid access to map value, value_size=48 off=4 size=52
       RES: trace type programs can only use preallocated hash 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
   
   trace type programs can only use preallocated hash 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

   #560/p helper access to adjusted map (via const imm): negative range (> adjustment) FAIL
   Unexpected verifier log!
   EXP: R2 min value is negative
   RES:
   FAIL
   Unexpected error message!
       EXP: R2 min value is negative
       RES: trace type programs can only use preallocated hash 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
   
   trace type programs can only use preallocated hash 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

   #561/p helper access to adjusted map (via const imm): negative range (< adjustment) FAIL
   Unexpected verifier log!
   EXP: R2 min value is negative
   RES:
   FAIL
   Unexpected error message!
       EXP: R2 min value is negative
       RES: trace type programs can only use preallocated hash 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
   
   trace type programs can only use preallocated hash 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

   #562/p helper access to adjusted map (via const reg): full range FAIL
   Failed to load prog 'Invalid argument'!
   trace type programs can only use preallocated hash 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

   #563/p helper access to adjusted map (via const reg): partial range FAIL
   Failed to load prog 'Invalid argument'!
   trace type programs can only use preallocated hash 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

   #564/p helper access to adjusted map (via const reg): empty range FAIL
   Unexpected verifier log!
   EXP: R1 min value is outside of the allowed memory range
   RES:
   FAIL
   Unexpected error message!
       EXP: R1 min value is outside of the allowed memory range
       RES: trace type programs can only use preallocated hash 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
   
   trace type programs can only use preallocated hash 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

   #565/p helper access to adjusted map (via const reg): out-of-bound range FAIL
   Unexpected verifier log!
   EXP: invalid access to map value, value_size=48 off=4 size=52
   RES:
   FAIL
   Unexpected error message!
       EXP: invalid access to map value, value_size=48 off=4 size=52
       RES: trace type programs can only use preallocated hash 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
   
   trace type programs can only use preallocated hash 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

   #566/p helper access to adjusted map (via const reg): negative range (> adjustment) FAIL
   Unexpected verifier log!
   EXP: R2 min value is negative
   RES:
   FAIL
   Unexpected error message!
       EXP: R2 min value is negative
       RES: trace type programs can only use preallocated hash 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
   
   trace type programs can only use preallocated hash 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

   #567/p helper access to adjusted map (via const reg): negative range (< adjustment) FAIL
   Unexpected verifier log!
   EXP: R2 min value is negative
   RES:
   FAIL
   Unexpected error message!
       EXP: R2 min value is negative
       RES: trace type programs can only use preallocated hash 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
   
   trace type programs can only use preallocated hash 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

   #568/p helper access to adjusted map (via variable): full range FAIL
   Failed to load prog 'Invalid argument'!
   trace type programs can only use preallocated hash 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

   #569/p helper access to adjusted map (via variable): partial range FAIL
   Failed to load prog 'Invalid argument'!
   trace type programs can only use preallocated hash 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

   #570/p helper access to adjusted map (via variable): empty range FAIL
   Unexpected verifier log!
   EXP: R1 min value is outside of the allowed memory range
   RES:
   FAIL
   Unexpected error message!
       EXP: R1 min value is outside of the allowed memory range
       RES: trace type programs can only use preallocated hash 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
   
   trace type programs can only use preallocated hash 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

   #571/p helper access to adjusted map (via variable): no max check FAIL
   Unexpected verifier log!
   EXP: R1 unbounded memory access
   RES:
   FAIL
   Unexpected error message!
       EXP: R1 unbounded memory access
       RES: trace type programs can only use preallocated hash map
   verification time 9 usec
   stack depth 0
   processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0
   
   trace type programs can only use preallocated hash map
   verification time 9 usec
   stack depth 0
   processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

   #572/p helper access to adjusted map (via variable): wrong max check FAIL
   Unexpected verifier log!
   EXP: invalid access to map value, value_size=48 off=4 size=45
   RES:
   FAIL
   Unexpected error message!
       EXP: invalid access to map value, value_size=48 off=4 size=45
       RES: trace type programs can only use preallocated hash 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
   
   trace type programs can only use preallocated hash 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

   #573/p helper access to map: bounds check using <, good access FAIL
   Failed to load prog 'Invalid argument'!
   trace type programs can only use preallocated hash 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

   #574/p helper access to map: bounds check using <, bad access FAIL
   Unexpected verifier log!
   EXP: R1 unbounded memory access
   RES:
   FAIL
   Unexpected error message!
       EXP: R1 unbounded memory access
       RES: trace type programs can only use preallocated hash 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
   
   trace type programs can only use preallocated hash 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

   #575/p helper access to map: bounds check using <=, good access FAIL
   Failed to load prog 'Invalid argument'!
   trace type programs can only use preallocated hash 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

   #576/p helper access to map: bounds check using <=, bad access FAIL
   Unexpected verifier log!
   EXP: R1 unbounded memory access
   RES:
   FAIL
   Unexpected error message!
       EXP: R1 unbounded memory access
       RES: trace type programs can only use preallocated hash 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
   
   trace type programs can only use preallocated hash 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

   #577/p helper access to map: bounds check using s<, good access FAIL
   Failed to load prog 'Invalid argument'!
   trace type programs can only use preallocated hash map
   verification time 23 usec
   stack depth 0
   processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

   #578/p helper access to map: bounds check using s<, good access 2 FAIL
   Failed to load prog 'Invalid argument'!
   trace type programs can only use preallocated hash 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

   #579/p helper access to map: bounds check using s<, bad access FAIL
   Unexpected verifier log!
   EXP: R1 min value is negative
   RES:
   FAIL
   Unexpected error message!
       EXP: R1 min value is negative
       RES: trace type programs can only use preallocated hash map
   verification time 9 usec
   stack depth 0
   processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0
   
   trace type programs can only use preallocated hash map
   verification time 9 usec
   stack depth 0
   processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

   #580/p helper access to map: bounds check using s<=, good access FAIL
   Failed to load prog 'Invalid argument'!
   trace type programs can only use preallocated hash 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

   #581/p helper access to map: bounds check using s<=, good access 2 FAIL
   Failed to load prog 'Invalid argument'!
   trace type programs can only use preallocated hash 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

   #582/p helper access to map: bounds check using s<=, bad access FAIL
   Unexpected verifier log!
   EXP: R1 min value is negative
   RES:
   FAIL
   Unexpected error message!
       EXP: R1 min value is negative
       RES: trace type programs can only use preallocated hash 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
   
   trace type programs can only use preallocated hash 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

   #583/p map lookup helper access to map FAIL
   Failed to load prog 'Invalid argument'!
   trace type programs can only use preallocated hash 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

   #584/p map update helper access to map FAIL
   Failed to load prog 'Invalid argument'!
   trace type programs can only use preallocated hash 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

   #585/p map update helper access to map: wrong size FAIL
   Unexpected verifier log!
   EXP: invalid access to map value, value_size=8 off=0 size=16
   RES:
   FAIL
   Unexpected error message!
       EXP: invalid access to map value, value_size=8 off=0 size=16
       RES: trace type programs can only use preallocated hash 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
   
   trace type programs can only use preallocated hash 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

   #586/p map helper access to adjusted map (via const imm) FAIL
   Failed to load prog 'Invalid argument'!
   trace type programs can only use preallocated hash 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

   #587/p map helper access to adjusted map (via const imm): out-of-bound 1 FAIL
   Unexpected verifier log!
   EXP: invalid access to map value, value_size=16 off=12 size=8
   RES:
   FAIL
   Unexpected error message!
       EXP: invalid access to map value, value_size=16 off=12 size=8
       RES: trace type programs can only use preallocated hash 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
   
   trace type programs can only use preallocated hash 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

   #588/p map helper access to adjusted map (via const imm): out-of-bound 2 FAIL
   Unexpected verifier log!
   EXP: invalid access to map value, value_size=16 off=-4 size=8
   RES:
   FAIL
   Unexpected error message!
       EXP: invalid access to map value, value_size=16 off=-4 size=8
       RES: trace type programs can only use preallocated hash 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
   
   trace type programs can only use preallocated hash 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

   #589/p map helper access to adjusted map (via const reg) FAIL
   Failed to load prog 'Invalid argument'!
   trace type programs can only use preallocated hash 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
   #590/p map helper access to adjusted map (via const reg): out-of-bound 1 FAIL
   Unexpected verifier log!
   EXP: invalid access to map value, value_size=16 off=12 size=8
   RES:
   FAIL
   Unexpected error message!
       EXP: invalid access to map value, value_size=16 off=12 size=8
       RES: trace type programs can only use preallocated hash 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
   
   trace type programs can only use preallocated hash 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

   #591/p map helper access to adjusted map (via const reg): out-of-bound 2 FAIL
   Unexpected verifier log!
   EXP: invalid access to map value, value_size=16 off=-4 size=8
   RES:
   FAIL
   Unexpected error message!
       EXP: invalid access to map value, value_size=16 off=-4 size=8
       RES: trace type programs can only use preallocated hash 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
   
   trace type programs can only use preallocated hash 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

   #592/p map helper access to adjusted map (via variable) FAIL
   Failed to load prog 'Invalid argument'!
   trace type programs can only use preallocated hash 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

   #593/p map helper access to adjusted map (via variable): no max check FAIL
   Unexpected verifier log!
   EXP: R2 unbounded memory access, make sure to bounds check any such access
   RES:
   FAIL
   Unexpected error message!
       EXP: R2 unbounded memory access, make sure to bounds check any such access
       RES: trace type programs can only use preallocated hash 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
   
   trace type programs can only use preallocated hash 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

   #594/p map helper access to adjusted map (via variable): wrong max check FAIL
   Unexpected verifier log!
   EXP: invalid access to map value, value_size=16 off=9 size=8
   RES:
   FAIL
   Unexpected error message!
       EXP: invalid access to map value, value_size=16 off=9 size=8
       RES: trace type programs can only use preallocated hash 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
   
   trace type programs can only use preallocated hash 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

   #868/p regalloc basic FAIL
   Failed to load prog 'Invalid argument'!
   trace type programs can only use preallocated hash 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

   #869/p regalloc negative FAIL
   Unexpected verifier log!
   EXP: invalid access to map value, value_size=48 off=48 size=1
   RES:
   FAIL
   Unexpected error message!
       EXP: invalid access to map value, value_size=48 off=48 size=1
       RES: trace type programs can only use preallocated hash 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
   
   trace type programs can only use preallocated hash 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

   #870/p regalloc src_reg mark FAIL
   Failed to load prog 'Invalid argument'!
   trace type programs can only use preallocated hash 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

   #871/p regalloc src_reg negative FAIL
   Unexpected verifier log!
   EXP: invalid access to map value, value_size=48 off=44 size=8
   RES:
   FAIL
   Unexpected error message!
       EXP: invalid access to map value, value_size=48 off=44 size=8
       RES: trace type programs can only use preallocated hash 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
   
   trace type programs can only use preallocated hash 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

   #872/p regalloc and spill FAIL
   Failed to load prog 'Invalid argument'!
   trace type programs can only use preallocated hash map
   verification time 11 usec
   stack depth 0
   processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

   #873/p regalloc and spill negative FAIL
   Unexpected verifier log!
   EXP: invalid access to map value, value_size=48 off=48 size=8
   RES:
   FAIL
   Unexpected error message!
       EXP: invalid access to map value, value_size=48 off=48 size=8
       RES: trace type programs can only use preallocated hash 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
   
   trace type programs can only use preallocated hash 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

   #874/p regalloc three regs FAIL
   Failed to load prog 'Invalid argument'!
   trace type programs can only use preallocated hash 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

   #875/p regalloc after call FAIL
   Failed to load prog 'Invalid argument'!
   trace type programs can only use preallocated hash map
   verification time 8 usec
   stack depth 0+0
   processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

   #876/p regalloc in callee FAIL
   Failed to load prog 'Invalid argument'!
   trace type programs can only use preallocated hash map
   verification time 7 usec
   stack depth 0+0
   processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

   #877/p regalloc, spill, JEQ FAIL
   Failed to load prog 'Invalid argument'!
   trace type programs can only use preallocated hash map
   verification time 8 usec
   stack depth 0
   processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

   #897/p search pruning: all branches should be verified (nop operation) FAIL
   Unexpected verifier log!
   EXP: R6 invalid mem access 'inv'
   RES:
   FAIL
   Unexpected error message!
       EXP: R6 invalid mem access 'inv'
       RES: trace type programs can only use preallocated hash 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
   
   trace type programs can only use preallocated hash 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

   #898/p search pruning: all branches should be verified (invalid stack access) FAIL
   Unexpected verifier log!
   EXP: invalid read from stack off -16+0 size 8
   RES:
   FAIL
   Unexpected error message!
       EXP: invalid read from stack off -16+0 size 8
       RES: trace type programs can only use preallocated hash map
   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
   
   trace type programs can only use preallocated hash map
   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: 1754 PASSED, 0 SKIPPED, 67 FAILED

  Please find attachment for complete test log.

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu-kernel-tests/+bug/2022867/+subscriptions