false_smax       5487 kernel/bpf/verifier.c 		s64 false_smax = opcode == BPF_JSGT ? sval    : sval - 1;
false_smax       5495 kernel/bpf/verifier.c 		false_reg->smax_value = min(false_reg->smax_value, false_smax);
false_smax       5604 kernel/bpf/verifier.c 		s64 false_smax = opcode == BPF_JSLT ? sval    : sval - 1;
false_smax       5609 kernel/bpf/verifier.c 		false_reg->smax_value = min(false_reg->smax_value, false_smax);