kernel/bpf/verifier.c

3859 static int insn_stack_access_spi(int insn_flags)
3861 	return (insn_flags >> INSN_F_SPI_SHIFT) & INSN_F_SPI_MASK;
3864 static int insn_stack_access_frameno(int insn_flags)
3866 	return insn_flags & INSN_F_FRAMENO_MASK;
3959 			    int insn_flags, u64 linked_regs)
3967 		/* atomic instructions push insn_flags twice, for READ and
3970 		verifier_bug_if((env->cur_hist_ent->flags & insn_flags) &&
3971 				(env->cur_hist_ent->flags & insn_flags) != insn_flags,
3973 				env->insn_idx, env->cur_hist_ent->flags, insn_flags);
3974 		env->cur_hist_ent->flags |= insn_flags;
3992 	p->flags = insn_flags;
5119 	int insn_flags = insn_stack_access_flags(state->frameno, spi);
5227 		insn_flags = 0; /* not a register spill */
5230 	if (insn_flags)
5231 		return push_jmp_history(env, env->cur_state, insn_flags, 0);
5423 	int insn_flags = insn_stack_access_flags(reg_state->frameno, spi);
5488 					/* this IS register fill, so keep insn_flags */
5492 					insn_flags = 0; /* not restoring original register state */
5495 					insn_flags = 0; /* not restoring original register state */
5535 		insn_flags = 0; /* we are not restoring spilled register */
5537 	if (insn_flags)
5538 		return push_jmp_history(env, env->cur_state, insn_flags, 0);
16619 	int insn_flags = 0;
16680 			insn_flags |= INSN_F_SRC_REG_STACK;
16682 			insn_flags |= INSN_F_DST_REG_STACK;
16694 			insn_flags |= INSN_F_DST_REG_STACK;
16697 	if (insn_flags) {
16698 		err = push_jmp_history(env, this_branch, insn_flags, 0);