Comment 0 for bug 1887487
Revision history for this message
| Po-Hsu Lin (cypressyew) wrote range bound deduction in test_verifier from ubuntu_bpf failed on F-oem-5.6 | #0 |
© 2004
Canonical Ltd.
•
Terms of use
•
Data privacy
•
Contact Launchpad Support
•
Blog
•
Careers
•
System status
•
bbfa235
(Get the code!)
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