range bound deduction test in test_verifier from ubuntu_bpf failed on F-oem-5.6
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
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 |
tags: | added: sru-20200810 |
tags: | added: sru-20201109 |
tags: | added: oem-5.6 sru-20210412 |