13639 			    struct bpf_reg_state *false_reg,  in reg_set_min_max()  argument
13643 	struct tnum false_32off = tnum_subreg(false_reg->var_off);  in reg_set_min_max()
13644 	struct tnum false_64off = false_reg->var_off;  in reg_set_min_max()
13656 	if (__is_pointer_value(false, false_reg))  in reg_set_min_max()
13680 			__mark_reg32_known(false_reg, val32);  in reg_set_min_max()
13681 			false_32off = tnum_subreg(false_reg->var_off);  in reg_set_min_max()
13683 			___mark_reg_known(false_reg, val);  in reg_set_min_max()
13684 			false_64off = false_reg->var_off;  in reg_set_min_max()
13707 			false_reg->u32_max_value = min(false_reg->u32_max_value,  in reg_set_min_max()
13715 			false_reg->umax_value = min(false_reg->umax_value, false_umax);  in reg_set_min_max()
13727 			false_reg->s32_max_value = min(false_reg->s32_max_value, false_smax);  in reg_set_min_max()
13733 			false_reg->smax_value = min(false_reg->smax_value, false_smax);  in reg_set_min_max()
13745 			false_reg->u32_min_value = max(false_reg->u32_min_value,  in reg_set_min_max()
13753 			false_reg->umin_value = max(false_reg->umin_value, false_umin);  in reg_set_min_max()
13765 			false_reg->s32_min_value = max(false_reg->s32_min_value, false_smin);  in reg_set_min_max()
13771 			false_reg->smin_value = max(false_reg->smin_value, false_smin);  in reg_set_min_max()
13781 		false_reg->var_off = tnum_or(tnum_clear_subreg(false_64off),  in reg_set_min_max()
13785 		__reg_combine_32_into_64(false_reg);  in reg_set_min_max()
13788 		false_reg->var_off = false_64off;  in reg_set_min_max()
13790 		__reg_combine_64_into_32(false_reg);  in reg_set_min_max()
13799 				struct bpf_reg_state *false_reg,  in reg_set_min_max_inv()  argument
13808 		reg_set_min_max(true_reg, false_reg, val, val32, opcode, is_jmp32);  in reg_set_min_max_inv()