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

[Po-Hsu Lin]

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.