check deducing bounds from const failures in test_verifier from ubuntu_bpf failed on f/oem-5.6
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
ubuntu-kernel-tests |
New
|
Undecided
|
Unassigned |
Bug Description
check deducing bounds from const failures in test_verifier from ubuntu_bpf failed on f/oem-5.6
F/oem-5.6 5.6.0-1056.60
host spitfire
Not a regression, failure seen on previous version 5.6.0-1053.57
05/05 00:09:49 DEBUG| utils:0153| [stdout] #75/u check deducing bounds from const, 1 FAIL
05/05 00:09:49 DEBUG| utils:0153| [stdout] Unexpected error message!
05/05 00:09:49 DEBUG| utils:0153| [stdout] EXP: R0 tried to subtract pointer from scalar
05/05 00:09:49 DEBUG| utils:0153| [stdout] RES: R0 tried to sub from different maps, paths, or prohibited types
05/05 00:09:49 DEBUG| utils:0153| [stdout] verification time 7 usec
05/05 00:09:49 DEBUG| utils:0153| [stdout] stack depth 0
05/05 00:09:49 DEBUG| utils:0153| [stdout] processed 3 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0
05/05 00:09:49 DEBUG| utils:0153| [stdout]
05/05 00:09:49 DEBUG| utils:0153| [stdout] R0 tried to sub from different maps, paths, or prohibited types
05/05 00:09:49 DEBUG| utils:0153| [stdout] verification time 7 usec
05/05 00:09:49 DEBUG| utils:0153| [stdout] stack depth 0
05/05 00:09:49 DEBUG| utils:0153| [stdout] processed 3 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0
05/05 00:09:49 DEBUG| utils:0153| [stdout] #75/p check deducing bounds from const, 1 OK
05/05 00:09:49 DEBUG| utils:0153| [stdout] #76/u check deducing bounds from const, 2 FAIL
05/05 00:09:49 DEBUG| utils:0153| [stdout] Failed to load prog 'Success'!
05/05 00:09:49 DEBUG| utils:0153| [stdout] R1 tried to sub from different maps, paths, or prohibited types
05/05 00:09:49 DEBUG| utils:0153| [stdout] verification time 5 usec
05/05 00:09:49 DEBUG| utils:0153| [stdout] stack depth 0
05/05 00:09:49 DEBUG| utils:0153| [stdout] processed 4 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0
05/05 00:09:49 DEBUG| utils:0153| [stdout] #76/p check deducing bounds from const, 2 OK
05/05 00:09:49 DEBUG| utils:0153| [stdout] #77/u check deducing bounds from const, 3 FAIL
05/05 00:09:49 DEBUG| utils:0153| [stdout] Unexpected error message!
05/05 00:09:49 DEBUG| utils:0153| [stdout] EXP: R0 tried to subtract pointer from scalar
05/05 00:09:49 DEBUG| utils:0153| [stdout] RES: R0 tried to sub from different maps, paths, or prohibited types
05/05 00:09:49 DEBUG| utils:0153| [stdout] verification time 6 usec
05/05 00:09:49 DEBUG| utils:0153| [stdout] stack depth 0
05/05 00:09:49 DEBUG| utils:0153| [stdout] processed 3 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0
05/05 00:09:49 DEBUG| utils:0153| [stdout]
05/05 00:09:49 DEBUG| utils:0153| [stdout] R0 tried to sub from different maps, paths, or prohibited types
05/05 00:09:49 DEBUG| utils:0153| [stdout] verification time 6 usec
05/05 00:09:49 DEBUG| utils:0153| [stdout] stack depth 0
05/05 00:09:49 DEBUG| utils:0153| [stdout] processed 3 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0
05/05 00:09:49 DEBUG| utils:0153| [stdout] #77/p check deducing bounds from const, 3 OK
05/05 00:09:49 DEBUG| utils:0153| [stdout] #78/u check deducing bounds from const, 4 FAIL
05/05 00:09:49 DEBUG| utils:0153| [stdout] Failed to load prog 'Success'!
05/05 00:09:49 DEBUG| utils:0153| [stdout] R1 tried to sub from different maps, paths, or prohibited types
05/05 00:09:49 DEBUG| utils:0153| [stdout] verification time 5 usec
05/05 00:09:49 DEBUG| utils:0153| [stdout] stack depth 0
05/05 00:09:49 DEBUG| utils:0153| [stdout] processed 4 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0
05/05 00:09:49 DEBUG| utils:0153| [stdout] #78/p check deducing bounds from const, 4 OK
05/05 00:09:49 DEBUG| utils:0153| [stdout] #79/u check deducing bounds from const, 5 FAIL
05/05 00:09:49 DEBUG| utils:0153| [stdout] Unexpected error message!
05/05 00:09:49 DEBUG| utils:0153| [stdout] EXP: R0 tried to subtract pointer from scalar
05/05 00:09:49 DEBUG| utils:0153| [stdout] RES: R0 tried to sub from different maps, paths, or prohibited types
05/05 00:09:49 DEBUG| utils:0153| [stdout] verification time 7 usec
05/05 00:09:49 DEBUG| utils:0153| [stdout] stack depth 0
05/05 00:09:49 DEBUG| utils:0153| [stdout] processed 3 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0
05/05 00:09:49 DEBUG| utils:0153| [stdout]
05/05 00:09:49 DEBUG| utils:0153| [stdout] R0 tried to sub from different maps, paths, or prohibited types
05/05 00:09:49 DEBUG| utils:0153| [stdout] verification time 7 usec
05/05 00:09:49 DEBUG| utils:0153| [stdout] stack depth 0
05/05 00:09:49 DEBUG| utils:0153| [stdout] processed 3 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0
05/05 00:09:49 DEBUG| utils:0153| [stdout] #79/p check deducing bounds from const, 5 OK
05/05 00:09:49 DEBUG| utils:0153| [stdout] #80/u check deducing bounds from const, 6 FAIL
05/05 00:09:49 DEBUG| utils:0153| [stdout] Unexpected error message!
05/05 00:09:49 DEBUG| utils:0153| [stdout] EXP: R0 tried to subtract pointer from scalar
05/05 00:09:49 DEBUG| utils:0153| [stdout] RES: R0 tried to sub from different maps, paths, or prohibited types
05/05 00:09:49 DEBUG| utils:0153| [stdout] verification time 9 usec
05/05 00:09:49 DEBUG| utils:0153| [stdout] stack depth 0
05/05 00:09:49 DEBUG| utils:0153| [stdout] processed 3 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0
05/05 00:09:49 DEBUG| utils:0153| [stdout]
05/05 00:09:49 DEBUG| utils:0153| [stdout] R0 tried to sub from different maps, paths, or prohibited types
05/05 00:09:49 DEBUG| utils:0153| [stdout] verification time 9 usec
05/05 00:09:49 DEBUG| utils:0153| [stdout] stack depth 0
05/05 00:09:49 DEBUG| utils:0153| [stdout] processed 3 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0
05/05 00:09:49 DEBUG| utils:0153| [stdout] #80/p check deducing bounds from const, 6 OK
05/05 00:09:49 DEBUG| utils:0153| [stdout] #81/u check deducing bounds from const, 7 FAIL
05/05 00:09:49 DEBUG| utils:0153| [stdout] Unexpected error message!
05/05 00:09:49 DEBUG| utils:0153| [stdout] EXP: dereference of modified ctx ptr
05/05 00:09:49 DEBUG| utils:0153| [stdout] RES: R1 tried to sub from different maps, paths, or prohibited types
05/05 00:09:49 DEBUG| utils:0153| [stdout] verification time 7 usec
05/05 00:09:49 DEBUG| utils:0153| [stdout] stack depth 0
05/05 00:09:49 DEBUG| utils:0153| [stdout] processed 3 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0
05/05 00:09:49 DEBUG| utils:0153| [stdout]
05/05 00:09:49 DEBUG| utils:0153| [stdout] R1 tried to sub from different maps, paths, or prohibited types
05/05 00:09:49 DEBUG| utils:0153| [stdout] verification time 7 usec
05/05 00:09:49 DEBUG| utils:0153| [stdout] stack depth 0
05/05 00:09:49 DEBUG| utils:0153| [stdout] processed 3 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0
05/05 00:09:49 DEBUG| utils:0153| [stdout] #81/p check deducing bounds from const, 7 OK
05/05 00:09:49 DEBUG| utils:0153| [stdout] #82/u check deducing bounds from const, 8 FAIL
05/05 00:09:49 DEBUG| utils:0153| [stdout] Unexpected error message!
05/05 00:09:49 DEBUG| utils:0153| [stdout] EXP: dereference of modified ctx ptr
05/05 00:09:49 DEBUG| utils:0153| [stdout] RES: R1 tried to add from different maps, paths, or prohibited types
05/05 00:09:49 DEBUG| utils:0153| [stdout] verification time 10 usec
05/05 00:09:49 DEBUG| utils:0153| [stdout] stack depth 0
05/05 00:09:49 DEBUG| utils:0153| [stdout] processed 3 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0
05/05 00:09:49 DEBUG| utils:0153| [stdout]
05/05 00:09:49 DEBUG| utils:0153| [stdout] R1 tried to add from different maps, paths, or prohibited types
05/05 00:09:49 DEBUG| utils:0153| [stdout] verification time 10 usec
05/05 00:09:49 DEBUG| utils:0153| [stdout] stack depth 0
05/05 00:09:49 DEBUG| utils:0153| [stdout] processed 3 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0
05/05 00:09:49 DEBUG| utils:0153| [stdout] #82/p check deducing bounds from const, 8 OK
05/05 00:09:49 DEBUG| utils:0153| [stdout] #83/u check deducing bounds from const, 9 FAIL
05/05 00:09:49 DEBUG| utils:0153| [stdout] Unexpected error message!
05/05 00:09:49 DEBUG| utils:0153| [stdout] EXP: R0 tried to subtract pointer from scalar
05/05 00:09:49 DEBUG| utils:0153| [stdout] RES: R0 tried to sub from different maps, paths, or prohibited types
05/05 00:09:49 DEBUG| utils:0153| [stdout] verification time 6 usec
05/05 00:09:49 DEBUG| utils:0153| [stdout] stack depth 0
05/05 00:09:49 DEBUG| utils:0153| [stdout] processed 3 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0