114 		VERIFY(cmp->cm_tmap[id].cmt_map != 0);  in ctf_merge_gettype()
119 		VERIFY(cmp->cm_tmap[id].cmt_map != 0);  in ctf_merge_gettype()
122 	VERIFY(cmp->cm_tmap[id].cmt_map != 0);  in ctf_merge_gettype()
137 			VERIFY(cmt[oid].cmt_map == 0);  in ctf_merge_diffcb()
172 		VERIFY(cmt[iid].cmt_map == 0);  in ctf_merge_diffcb()
202 	VERIFY(cmp->cm_tmap[id].cmt_map == 0);  in ctf_merge_add_number()
243 	VERIFY(cmp->cm_tmap[id].cmt_map == 0);  in ctf_merge_add_array()
281 	VERIFY(cmp->cm_tmap[id].cmt_map == 0);  in ctf_merge_add_reftype()
317 	VERIFY(cmp->cm_tmap[id].cmt_map == 0);  in ctf_merge_add_typedef()
365 	VERIFY(cmp->cm_tmap[id].cmt_map == 0);  in ctf_merge_add_enum()
419 	VERIFY(cmp->cm_tmap[id].cmt_map == 0);  in ctf_merge_add_func()
442 	VERIFY(cmp->cm_tmap[id].cmt_map == 0);  in ctf_merge_add_forward()
457 	VERIFY(cms->cms_cm->cm_tmap[type].cmt_map != 0);  in ctf_merge_add_member()
497 		VERIFY(cmp->cm_tmap[id].cmt_map == 0);  in ctf_merge_add_sou()
517 		VERIFY(cmp->cm_tmap[id].cmt_map == suid);  in ctf_merge_add_sou()
608 	VERIFY(mapid != 0);  in ctf_merge_fixup_sou()
610 	VERIFY(dtd != NULL);  in ctf_merge_fixup_sou()
638 		VERIFY(0);  in ctf_merge_fixup_type()
675 			VERIFY(cmp->cm_tmap[i].cmt_map != 0);  in ctf_merge_dedup_remap()
681 			VERIFY(cmp->cm_tmap[tid].cmt_map != 0);  in ctf_merge_dedup_remap()
684 		VERIFY(cmp->cm_tmap[tid].cmt_map != 0);  in ctf_merge_dedup_remap()
824 		VERIFY(cmp->cm_tmap[cmo->cmo_tid].cmt_map != 0);  in ctf_merge_fixup_symmaps()
832 		VERIFY(cmp->cm_tmap[cmf->cmf_rtid].cmt_map != 0);  in ctf_merge_fixup_symmaps()
835 			VERIFY(cmp->cm_tmap[cmf->cmf_args[i]].cmt_map != 0);  in ctf_merge_fixup_symmaps()
1481 	VERIFY(cmh->cmh_ninputs % 2 == 0);  in ctf_merge_merge()
1505 	VERIFY(final->cmi_input != NULL);  in ctf_merge_merge()
1582 		VERIFY(cmt[iid].cmt_map == 0);  in ctf_dedup_cb()
1620 	VERIFY(cmi != NULL);  in ctf_merge_dedup()
1622 	VERIFY(cmc != NULL);  in ctf_merge_dedup()
1625 	VERIFY(ifp != NULL);  in ctf_merge_dedup()
1626 	VERIFY(ofp != NULL);  in ctf_merge_dedup()