Public bug reported:
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
** Affects: ubuntu-kernel-tests
Importance: Undecided
Status: New
** Affects: linux-oem-5.6 (Ubuntu)
Importance: Undecided
Status: New
** Tags: 5.6 focal kqa-blocker oem sru-20200629 ubuntu-bpf
** Description changed:
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
+ 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
** Tags added: 5.6 focal kqa-blocker oem sru-20200629 ubuntu-bpf
** Also affects: linux-oem-5.6 (Ubuntu)
Importance: Undecided
Status: New
** Summary changed:
- range bound deduction in test_verifier from ubuntu_bpf failed on F-oem-5.6
+ range bound deduction test in test_verifier from ubuntu_bpf failed on
F-oem-5.6
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1887487
Title:
range bound deduction test in test_verifier from ubuntu_bpf failed on
F-oem-5.6
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu-kernel-tests/+bug/1887487/+subscriptions
--
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
