true_smin        5488 kernel/bpf/verifier.c 		s64 true_smin = opcode == BPF_JSGT ? sval + 1 : sval;
true_smin        5496 kernel/bpf/verifier.c 		true_reg->smin_value = max(true_reg->smin_value, true_smin);
true_smin        5605 kernel/bpf/verifier.c 		s64 true_smin = opcode == BPF_JSLT ? sval + 1 : sval;
true_smin        5610 kernel/bpf/verifier.c 		true_reg->smin_value = max(true_reg->smin_value, true_smin);