| 2020-07-14 07:14:38 |
Po-Hsu Lin |
bug |
|
|
added bug |
| 2020-07-14 07:14:49 |
Po-Hsu Lin |
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 |
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 |
|
| 2020-07-14 07:15:01 |
Po-Hsu Lin |
tags |
|
5.6 focal kqa-blocker oem sru-20200629 ubuntu-bpf |
|
| 2020-07-14 07:15:09 |
Po-Hsu Lin |
bug task added |
|
linux-oem-5.6 (Ubuntu) |
|
| 2020-07-14 07:15:24 |
Po-Hsu Lin |
summary |
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 |
|
| 2020-08-28 16:05:24 |
Po-Hsu Lin |
tags |
5.6 focal kqa-blocker oem sru-20200629 ubuntu-bpf |
5.6 focal kqa-blocker oem sru-20200629 sru-20200810 ubuntu-bpf |
|
| 2020-11-27 08:46:36 |
Po-Hsu Lin |
tags |
5.6 focal kqa-blocker oem sru-20200629 sru-20200810 ubuntu-bpf |
5.6 focal kqa-blocker oem sru-20200629 sru-20200810 sru-20201109 ubuntu-bpf |
|
| 2021-05-11 02:55:39 |
Kelsey Steele |
tags |
5.6 focal kqa-blocker oem sru-20200629 sru-20200810 sru-20201109 ubuntu-bpf |
5.6 focal kqa-blocker oem oem-5.6 sru-20200629 sru-20200810 sru-20201109 sru-20210412 ubuntu-bpf |
|
