c1efab6468fd ("bpf: derive subreg bounds from full bounds when upper 32 bits are constant")
d540517990a9 ("bpf: derive smin32/smax32 from umin32/umax32 bounds")