Unverified Commit 2c78b27d authored by openeuler-ci-bot's avatar openeuler-ci-bot Committed by Gitee
Browse files

!14120 bpf: sync_linked_regs() must preserve subreg_def 

Merge Pull Request from: @ci-robot 
 
PR sync from: Pu Lehui <pulehui@huawei.com>
https://mailweb.openeuler.org/hyperkitty/list/kernel@openeuler.org/message/PVI6BM65Z5HUSQIF4G53UDF3357MSMOB/ 
 
https://gitee.com/src-openeuler/kernel/issues/IB9533 
 
Link:https://gitee.com/openeuler/kernel/pulls/14120

 

Reviewed-by: default avatarYe Weihua <yeweihua4@huawei.com>
Reviewed-by: default avatarXu Kuohai <xukuohai@huawei.com>
Signed-off-by: default avatarZhang Peng <zhangpeng362@huawei.com>
parents db988390 cc98a84f

kernel/bpf/verifier.c

+5 −1
Original line number Diff line number Diff line
@@ -14551,8 +14551,12 @@ static void find_equal_scalars(struct bpf_verifier_state *vstate, 
	struct bpf_reg_state *reg;









	bpf_for_each_reg_in_vstate(vstate, state, reg, ({









		if (reg->type == SCALAR_VALUE && reg->id == known_reg->id)









		if (reg->type == SCALAR_VALUE && reg->id == known_reg->id) {









			s32 saved_subreg_def = reg->subreg_def;

















			copy_register_state(reg, known_reg);









			reg->subreg_def = saved_subreg_def;









		}









	}));









}