canonical-ubuntu-qa team mailing list archive

Thread
Date
[Bug 1928036] Re: check deducing bounds from const failures in test_verifier from ubuntu_bpf failed on f/oem-5.6

To: canonical-ubuntu-qa@xxxxxxxxxxxxxxxxxxx
From: Po-Hsu Lin <1928036@xxxxxxxxxxxxxxxxxx>
Date: Thu, 26 Dec 2024 08:05:43 -0000
Reply-to: Bug 1928036 <1928036@xxxxxxxxxxxxxxxxxx>
Sender: noreply@xxxxxxxxxxxxx
Kernel EOL, and this issue is not referenced in our hints database.
Closing this bug.


** Changed in: ubuntu-kernel-tests
       Status: New => Won't Fix

-- 
You received this bug notification because you are a member of Canonical
Platform QA Team, which is subscribed to ubuntu-kernel-tests.
https://bugs.launchpad.net/bugs/1928036

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

Status in ubuntu-kernel-tests:
  Won't Fix

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

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu-kernel-tests/+bug/1928036/+subscriptions