Fix a bug in adjust_scalar_min_max_vals(). Since the bug has no effect (a later call to __reg_deduce_bounds() happens to mask it), it can't be tested for directly without adding extra debug prints; but add a test case to at least cover the relevant behaviour.
Edward Cree (2): bpf/verifier: fix bounds calculation on BPF_RSH selftests/bpf: Add a test for shifts of values that might be negative kernel/bpf/verifier.c | 30 ++++++++++++------------ tools/testing/selftests/bpf/test_align.c | 39 ++++++++++++++++++++++++++++++++ 2 files changed, 55 insertions(+), 14 deletions(-)
