__type_max
const time_t TIME_MAX = __type_max(time_t);
const off_t OFF_MAX = __type_max(off_t);
if ((time_t)secs < 0 || secs > __type_max(time_t))
KASSERT(size <= (__type_max(off_t) >> shift));
KASSERT(sc->sc_offset <= ((__type_max(off_t) >> shift) - size));
KASSERT(dev->ud_bus->ub_usepolling < __type_max(char));
KASSERT(dnode->tn_size <= __type_max(off_t) - sizeof(tmpfs_dirent_t));
if (newsize > __type_max(off_t) - PAGE_SIZE + 1)
const off_t OFF_MAX = __type_max(off_t);
if (__predict_false(tv.tv_sec == __type_max(time_t)))
enum { TIME_MIN = __type_min(time_t), TIME_MAX = __type_max(time_t) };
__CTASSERT(1000000000L <= __type_max(long) - 1000000000L);
enum { TIME_MIN = __type_min(time_t), TIME_MAX = __type_max(time_t) };
__CTASSERT(1000000000L <= __type_max(long) - 1000000000L);
ts.tv_sec = __type_max(time_t);
if (fl->l_start > __type_max(off_t) - size)
fl->l_len - 1 > __type_max(off_t) - start)
#define OFF_T_MAX __type_max(off_t)
const off_t OFF_MAX = __type_max(off_t);
const off_t OFF_MAX = __type_max(off_t);
if (vp->v_type != VCHR && size > __type_max(off_t)) {
if (vp->v_type != VCHR && off > __type_max(off_t) - size) {
if (size > __type_max(voff_t))
if (off > __type_max(voff_t) - size)
KASSERT(off <= __type_max(voff_t) - PAGE_SIZE ||
if (__predict_false(off > __type_max(voff_t) - PAGE_SIZE)) {
off -= __type_max(voff_t);
off -= __type_max(voff_t);
if (length > __type_max(vaddr_t) - *start)
KASSERT(PAGE_MASK <= __type_max(vsize_t));
KASSERT((__type_max(vsize_t) - PAGE_SIZE + 1) % PAGE_SIZE == 0);
if (size > __type_max(vsize_t) - PAGE_SIZE + 1 - pageoff)
ATF_REQUIRE(__type_max(a) == s[b].max)
ATF_REQUIRE(__type_max(a) == u[b].max)
#define TIME_MAX __type_max(time_t)
#define TIME_MAX __type_max(time_t)
__CTASSERT(__type_max(time_t) < __type_max(uint64_t));
#define OFF_MAX __type_max(off_t)
#define ADD_OK(T, A, B) ((A) <= __type_max(T) - (B))
#define MUL_OK(T, A, B) ((A) <= __type_max(T)/(B))