Home | History | Annotate | Download | only in lint1

Lines Matching refs:minimum

54 	int64_t		smin;	/* signed minimum */
56 	uint64_t	umin;	/* unsigned minimum */
510 ic_unsigned_range(uint64_t minimum, uint64_t maximum)
513 	lint_assert(minimum <= maximum);
514 	c.smin = maximum <= INT64_MAX ? (int64_t)minimum : INT64_MIN;
516 	c.umin = minimum;
523 ic_signed_range(int64_t minimum, int64_t maximum)
526 	lint_assert(minimum <= maximum);
527 	c.smin = minimum;
529 	c.umin = minimum >= 0 ? (uint64_t)minimum : 0;
530 	c.umax = minimum >= 0 ? (uint64_t)maximum : UINT64_MAX;