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

!14119 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/4J2EDDKEYULSOJHZZLAQXJNCOETZZEJM/ 
 
https://gitee.com/src-openeuler/kernel/issues/IB9533 
 
Link:https://gitee.com/openeuler/kernel/pulls/14119

 

Reviewed-by: default avatarLi Nan <linan122@huawei.com>
Reviewed-by: default avatarYe Weihua <yeweihua4@huawei.com>
Reviewed-by: default avatarXu Kuohai <xukuohai@huawei.com>
Signed-off-by: default avatarLi Nan <linan122@huawei.com>
parents fbaada49 f3774571

kernel/bpf/verifier.c

+5 −1
Original line number Diff line number Diff line
@@ -8394,8 +8394,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;

		}

	}));

}