Home | History | Annotate | Download | only in lint1

Lines Matching defs:max_value

1095 		      uint64_t max_value, bool *overflow)
1099 return ~l & max_value;
1103 return -l & max_value;
1105 *overflow = r > 0 && l > max_value / r;
1111 return max_value;
1122 *overflow = l > max_value - r;
1160 int64_t min_value, int64_t max_value, bool *overflow)
1174 uint64_t max_prod = (uint64_t)max_value + (neg ? 1 : 0);
1177 return neg ? min_value : max_value;
1184 return max_value;
1203 if (r > 0 && l > max_value - r) {
1205 return max_value;
1217 if (r < 0 && l > max_value + r) {
1219 return max_value;
1285 int64_t max_value = (int64_t)(mask >> 1);
1286 int64_t min_value = -max_value - 1;
1288 l, r, min_value, max_value, &overflow);
1289 if (res < min_value || res > max_value)