kernel/bpf/verifier.c

374 		verbose(env, " smin=%lld", reg->smin_value);
2123 	 * So we use these facts to derive umin/umax from smin/smax and vice
2127 	 * casting umin/umax as smin/smax and checking if they form valid
12739 	s64 smin = reg->smin_value;
12753 	if (smin == S64_MIN) {
12759 	if (smin >= BPF_MAX_VAR_OFF || smin <= -BPF_MAX_VAR_OFF) {
12761 			smin, reg_type_str(env, type));
14460 		/* constants, umin/umax and smin/smax checks would be
14484 		/* constants, umin/umax and smin/smax checks would be