IMPLIES - FreeBSD

1350

MPASS(IMPLIES(cnp->cn_namelen == 1, cnp->cn_nameptr[0] != '.'));

1351

MPASS(IMPLIES(cnp->cn_namelen == 2, !(cnp->cn_nameptr[0] == '.' &&

551

MPASS(IMPLIES(tmp->tm_root == NULL, parent == NULL && type == VDIR));

606

MPASS(IMPLIES(parent == NULL, tmp->tm_root == NULL));

104

MPASS(IMPLIES(dnode->tn_type == VDIR &&

710

MPASS(IMPLIES(error == 0, uio->uio_resid == 0));

711

MPASS(IMPLIES(error != 0, oldsize == node->tn_size));