Lines Matching refs:smin
1163 /* Positive. We can't learn anything from the smin, but smax
1169 /* Negative. We can't learn anything from the smax, but smin
1193 /* Positive. We can't learn anything from the smin, but smax
1199 /* Negative. We can't learn anything from the smax, but smin
1272 * known and unknown bits. The previous smin/smax bounds are
5602 s64 smin = reg->smin_value;
5614 if (smin == S64_MIN) {
5620 if (smin >= BPF_MAX_VAR_OFF || smin <= -BPF_MAX_VAR_OFF) {
5621 verbose(env, "value %lld makes %s pointer be out of bounds\n", smin, reg_type_str(env, type));