false_smin       5509 kernel/bpf/verifier.c 		s64 false_smin = opcode == BPF_JSLT ? sval    : sval + 1;
false_smin       5514 kernel/bpf/verifier.c 		false_reg->smin_value = max(false_reg->smin_value, false_smin);
false_smin       5585 kernel/bpf/verifier.c 		s64 false_smin = opcode == BPF_JSGT ? sval    : sval + 1;
false_smin       5590 kernel/bpf/verifier.c 		false_reg->smin_value = max(false_reg->smin_value, false_smin);