ubuntu-kernel-tests

check deducing bounds from const failures in test_verifier from ubuntu_bpf failed on f/oem-5.6

Bug #1928036 reported by Kelsey Steele
6
This bug affects 1 person
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

Revision history for this message
Kelsey Steele (kelsey-steele) wrote :
To post a comment you must log in.
This report contains Public information  
Everyone can see this information.
Subscribing...

Other bug subscribers

Remote bug watches

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