Re: [PATCH stable 6.6 0/6] bpf: Fix bounds when ranges cross sign boundary

[Paul Chaignon <paul.chaignon@gmail.com>]

On Fri, Apr 03, 2026 at 05:33:59PM +0200, Paul Chaignon wrote:
> As discussed in [1] yesterday, this series backports two sets of fixes
> for BPF, with their selftests:
> - 00bf8d0c6c9b ("bpf: Improve bounds when s64 crosses sign boundary")
> - 26e5e346a52c ("selftests/bpf: Test cross-sign 64bits range
>   refinement")
> - f96841bbf4a1 ("selftests/bpf: Test invariants on JSLT crossing sign")
> - 5dbb19b16ac4 ("bpf: Add third round of bounds deduction")
> - fbc7aef517d8 ("bpf: Fix u32/s32 bounds when ranges cross min/max
>   boundary")
> - f81fdfd16771 ("selftests/bpf: test refining u32/s32 bounds when
>   ranges cross min/max boundary")
> 
> Using Shung-Hsi's stable CI repo [2], I verified the BPF selftests pass
> with these commits applied on top of v6.12.

As hinted here, the subject prefix is incorrect. This series is meant
for v6.12, not v6.6. Should I resend?

> 
> 1: https://lore.kernel.org/stable/2026040240-friday-gurgling-7088@gregkh/
> 2: https://github.com/pchaigno/stable-bpf-ci/actions/runs/23940850516/job/69826632354
> 
> Eduard Zingerman (2):
>   bpf: Fix u32/s32 bounds when ranges cross min/max boundary
>   selftests/bpf: test refining u32/s32 bounds when ranges cross min/max
>     boundary
> 
> Paul Chaignon (4):
>   bpf: Improve bounds when s64 crosses sign boundary
>   selftests/bpf: Test cross-sign 64bits range refinement
>   selftests/bpf: Test invariants on JSLT crossing sign
>   bpf: Add third round of bounds deduction
> 
>  kernel/bpf/verifier.c                         |  77 +++++++++
>  .../selftests/bpf/prog_tests/reg_bounds.c     |  62 ++++++-
>  .../selftests/bpf/progs/verifier_bounds.c     | 159 +++++++++++++++++-
>  3 files changed, 292 insertions(+), 6 deletions(-)
> 
> -- 
> 2.43.0
>