Re: [syzbot] [bpf?] UBSAN: shift-out-of-bounds in adjust_reg_min_max_vals

[syzbot]

syzbot suspects this issue was fixed by commit:

commit 96381879a370425a30b810906946f64c0726450e
Author: Andrii Nakryiko <andrii@xxxxxxxxxx>
Date:   Sun Nov 12 01:05:58 2023 +0000

    bpf: generalize is_scalar_branch_taken() logic

bisection log:  https://syzkaller.appspot.com/x/bisect.txt?x=16e65a9fe80000
start commit:   b1dfc0f76231 net: phy: skip LED triggers on PHYs on SFP mo..
git tree:       net
kernel config:  https://syzkaller.appspot.com/x/.config?x=e043d554f0a5f852
dashboard link: https://syzkaller.appspot.com/bug?extid=46700eea57ecc7f84776
syz repro:      https://syzkaller.appspot.com/x/repro.syz?x=128c8ad1e80000
C reproducer:   https://syzkaller.appspot.com/x/repro.c?x=12456fb6e80000

If the result looks correct, please mark the issue as fixed by replying with:

#syz fix: bpf: generalize is_scalar_branch_taken() logic

For information about bisection process see: https://goo.gl/tpsmEJ#bisection