range bound deduction test in test_verifier from ubuntu_bpf failed on F-oem-5.6

Bug #1887487 reported by Po-Hsu Lin
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
ubuntu-kernel-tests
New
Undecided
Unassigned
linux-oem-5.6 (Ubuntu)
New
Undecided
Unassigned

Bug Description

Issue found on 5.6.0-1020.20 Focal OEM kernel, this should not be considered as a regression since the test can't be built before this cycle (bug 1879360)

#555/p jgt32: range bound deduction, reg op imm FAIL
 Unexpected success to load!
 verification time 69 usec
 stack depth 8
 processed 21 insns (limit 1000000) max_states_per_insn 0 total_states 2 peak_states 2 mark_read 1
#556/p jgt32: range bound deduction, reg1 op reg2, reg1 unknown FAIL
 Unexpected success to load!
 verification time 95 usec
 stack depth 8
 processed 22 insns (limit 1000000) max_states_per_insn 0 total_states 2 peak_states 2 mark_read 1
#557/p jle32: range bound deduction, reg1 op reg2, reg2 unknown FAIL
 Unexpected success to load!
 verification time 85 usec
 stack depth 8
 processed 22 insns (limit 1000000) max_states_per_insn 0 total_states 2 peak_states 2 mark_read 1

Po-Hsu Lin (cypressyew)
description: updated
tags: added: 5.6 focal kqa-blocker oem sru-20200629 ubuntu-bpf
summary: - range bound deduction in test_verifier from ubuntu_bpf failed on
+ range bound deduction test in test_verifier from ubuntu_bpf failed on
F-oem-5.6
Po-Hsu Lin (cypressyew)
tags: added: sru-20200810
Po-Hsu Lin (cypressyew)
tags: added: sru-20201109
tags: added: oem-5.6 sru-20210412
To post a comment you must log in.
This report contains Public information  
Everyone can see this information.

Other bug subscribers

Remote bug watches

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