diff --git a/kernel/bpf/verifier.c b/kernel/bpf/verifier.c index dbe8d2f38e47..144330510160 100644 --- a/kernel/bpf/verifier.c +++ b/kernel/bpf/verifier.c @@ -6185,6 +6185,7 @@ static void coerce_subreg_to_size_sx(struct bpf_reg_state *reg, int size) reg->s32_max_value = s32_max; reg->u32_min_value = (u32)s32_min; reg->u32_max_value = (u32)s32_max; + reg->var_off = tnum_subreg(tnum_range(s32_min, s32_max)); return; }