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

Bug #1928036 reported by Kelsey Skunberg on 2021-05-11
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
ubuntu-kernel-tests
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 Skunberg (kelsey-skunberg) wrote :
To post a comment you must log in.
This report contains Public information  Edit
Everyone can see this information.

Other bug subscribers