103 		VERIFY(cmp->cm_tmap[id].cmt_map != 0);  in ctf_merge_gettype()
108 		VERIFY(cmp->cm_tmap[id].cmt_map != 0);  in ctf_merge_gettype()
111 	VERIFY(cmp->cm_tmap[id].cmt_map != 0);  in ctf_merge_gettype()
125 			VERIFY(cmt[oid].cmt_map == 0);  in ctf_merge_diffcb()
160 		VERIFY(cmt[iid].cmt_map == 0);  in ctf_merge_diffcb()
190 	VERIFY(cmp->cm_tmap[id].cmt_map == 0);  in ctf_merge_add_number()
231 	VERIFY(cmp->cm_tmap[id].cmt_map == 0);  in ctf_merge_add_array()
269 	VERIFY(cmp->cm_tmap[id].cmt_map == 0);  in ctf_merge_add_reftype()
305 	VERIFY(cmp->cm_tmap[id].cmt_map == 0);  in ctf_merge_add_typedef()
350 	VERIFY(cmp->cm_tmap[id].cmt_map == 0);  in ctf_merge_add_enum()
404 	VERIFY(cmp->cm_tmap[id].cmt_map == 0);  in ctf_merge_add_func()
434 	VERIFY(cmp->cm_tmap[id].cmt_map == 0);  in ctf_merge_add_forward()
449 	VERIFY(cms->cms_cm->cm_tmap[type].cmt_map != 0);  in ctf_merge_add_member()
491 		VERIFY(cmp->cm_tmap[id].cmt_map == 0);  in ctf_merge_add_sou()
496 		VERIFY(cmp->cm_tmap[id].cmt_map == suid);  in ctf_merge_add_sou()
569 	VERIFY(mapid != 0);  in ctf_merge_fixup_sou()
571 	VERIFY(dtd != NULL);  in ctf_merge_fixup_sou()
599 		VERIFY(0);  in ctf_merge_fixup_type()
627 			VERIFY(cmp->cm_tmap[i].cmt_map != 0);  in ctf_merge_fixup_dedup_map()
633 			VERIFY(cmp->cm_tmap[tid].cmt_map != 0);  in ctf_merge_fixup_dedup_map()
636 		VERIFY(cmp->cm_tmap[tid].cmt_map != 0);  in ctf_merge_fixup_dedup_map()
824 		VERIFY(cm.cm_tmap[cmo->cmo_tid].cmt_map != 0);  in ctf_merge_types()
832 		VERIFY(cm.cm_tmap[cmf->cmf_rtid].cmt_map != 0);  in ctf_merge_types()
835 			VERIFY(cm.cm_tmap[cmf->cmf_args[i]].cmt_map != 0);  in ctf_merge_types()
872 		VERIFY(cmp->cm_tmap[cmo->cmo_tid].cmt_map != 0);  in ctf_merge_fixup_nontypes()
880 		VERIFY(cmp->cm_tmap[cmf->cmf_rtid].cmt_map != 0);  in ctf_merge_fixup_nontypes()
883 			VERIFY(cmp->cm_tmap[cmf->cmf_args[i]].cmt_map !=  in ctf_merge_fixup_nontypes()
1337 	VERIFY(cmh->cmh_ninputs % 2 == 0);  in ctf_merge_merge()
1361 	VERIFY(final->cmi_input != NULL);  in ctf_merge_merge()
1438 		VERIFY(cmt[iid].cmt_map == 0);  in ctf_dedup_cb()
1476 	VERIFY(cmi != NULL);  in ctf_merge_dedup()
1478 	VERIFY(cmc != NULL);  in ctf_merge_dedup()
1481 	VERIFY(ifp != NULL);  in ctf_merge_dedup()
1482 	VERIFY(ofp != NULL);  in ctf_merge_dedup()