true_smax        5510 kernel/bpf/verifier.c 		s64 true_smax = opcode == BPF_JSLT ? sval - 1 : sval;
true_smax        5515 kernel/bpf/verifier.c 		true_reg->smax_value = min(true_reg->smax_value, true_smax);
true_smax        5586 kernel/bpf/verifier.c 		s64 true_smax = opcode == BPF_JSGT ? sval - 1 : sval;
true_smax        5591 kernel/bpf/verifier.c 		true_reg->smax_value = min(true_reg->smax_value, true_smax);