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 Kernel
Packages, which is subscribed to linux-realtime in Ubuntu.
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
--
Mailing list: https://launchpad.net/~kernel-packages
Post to : kernel-packages@lists.launchpad.net
Unsubscribe : https://launchpad.net/~kernel-packages
More help : https://help.launchpad.net/ListHelp
