bsd/netinet/in_mcast.c

266 	VERIFY(inm->inm_ifma != NULL);
267 	VERIFY(inm->inm_ifp == inm->inm_ifma->ifma_ifp);
393 	VERIFY(src->sa_family == AF_INET);
394 	VERIFY(gidx != (size_t)-1 && gidx < imo->imo_num_memberships);
424 	VERIFY(ifp != NULL);
496 	VERIFY(to->imo_max_memberships != 0 && from->imo_max_memberships != 0);
506 	VERIFY(to->imo_max_memberships >= from->imo_max_memberships);
520 	VERIFY(to->imo_num_memberships == from->imo_num_memberships);
551 		VERIFY(inm->inm_reqcnt >= 1);
553 		VERIFY(inm->inm_reqcnt != 0);
584 		VERIFY(ifma->ifma_addr != NULL);
585 		VERIFY(ifma->ifma_addr->sa_family == AF_INET);
589 		VERIFY(inm->inm_ifma == ifma);
590 		VERIFY(inm->inm_ifp == ifp);
591 		VERIFY(in_hosteq(inm->inm_addr, *group));
593 			VERIFY(inm->inm_reqcnt >= 1);
595 			VERIFY(inm->inm_reqcnt != 0);
615 		VERIFY((inm->inm_debug &
642 	VERIFY(inm->inm_igi != NULL);
655 	VERIFY((inm->inm_debug & (IFD_ATTACHED | IFD_TRASHED)) == IFD_ATTACHED);
660 	VERIFY(ifma->ifma_protospec == NULL);
686 	VERIFY(inm->inm_st[1].iss_rec == 0);
951 	VERIFY(RB_EMPTY(&imf->imf_sources));
1379         VERIFY(!lastref || (!(inm->inm_debug & IFD_ATTACHED) &&
1405 	VERIFY(pinm != NULL || error != 0);
1540 	VERIFY(imo->imo_mfilters != NULL);
1699 	VERIFY(imo != NULL);
1991 	VERIFY(gsin->sin_family == AF_INET);
1992 	VERIFY(IN_MULTICAST(ntohl(gsin->sin_addr.s_addr)));
2011 			VERIFY(ifp != NULL);
2253 		VERIFY(imo->imo_mfilters != NULL);
2255 		VERIFY(RB_EMPTY(&imf->imf_sources));
2292 		VERIFY(inm == NULL);
2294 		VERIFY(inm != NULL || error != 0);
2331 		VERIFY(inm == NULL);
2557 		VERIFY(inm == imo->imo_membership[idx]);
3347 	VERIFY(inm->inm_reqcnt == 1);