smax_ptr         4369 kernel/bpf/verifier.c 	    smin_ptr = ptr_reg->smin_value, smax_ptr = ptr_reg->smax_value;
smax_ptr         4447 kernel/bpf/verifier.c 			dst_reg->smax_value = smax_ptr;
smax_ptr         4465 kernel/bpf/verifier.c 		    signed_add_overflows(smax_ptr, smax_val)) {
smax_ptr         4470 kernel/bpf/verifier.c 			dst_reg->smax_value = smax_ptr + smax_val;
smax_ptr         4514 kernel/bpf/verifier.c 			dst_reg->smax_value = smax_ptr;
smax_ptr         4527 kernel/bpf/verifier.c 		    signed_sub_overflows(smax_ptr, smin_val)) {
smax_ptr         4533 kernel/bpf/verifier.c 			dst_reg->smax_value = smax_ptr - smin_val;