396 			struct cil_sens *sens = node->data;  in __cil_verify_ordered_node_helper()  local
397 			if (sens->ordered == CIL_FALSE) {  in __cil_verify_ordered_node_helper()
398 …cil_log(CIL_ERR, "Sensitivity %s not in sensitivityorder statement at line %d of %s\n", sens->datu…  in __cil_verify_ordered_node_helper()
466 int __cil_verify_cats_associated_with_sens(struct cil_sens *sens, struct cil_cats *cats)  in __cil_verify_cats_associated_with_sens()  argument
475 	if (!sens->cats_list) {  in __cil_verify_cats_associated_with_sens()
476 		cil_log(CIL_ERR, "No categories can be used with sensitivity %s\n", sens->datum.name);  in __cil_verify_cats_associated_with_sens()
483 		cil_list_for_each(j, sens->cats_list) {  in __cil_verify_cats_associated_with_sens()
492 					cat->datum.name, sens->datum.name);  in __cil_verify_cats_associated_with_sens()
561 	rc = __cil_verify_levelrange_sensitivity(db, lr->low->sens, lr->high->sens);  in __cil_verify_levelrange()
571 	rc = __cil_verify_cats_associated_with_sens(lr->low->sens, lr->low->cats);  in __cil_verify_levelrange()
577 	rc = __cil_verify_cats_associated_with_sens(lr->high->sens, lr->high->cats);  in __cil_verify_levelrange()
773 		struct cil_sens *sens = curr->data;  in __cil_verify_context()  local
776 			if (sens == user_low->sens) {  in __cil_verify_context()
778 			} else if (sens == ctx_low->sens) {  in __cil_verify_context()
787 			if (sens == ctx_high->sens) {  in __cil_verify_context()
789 			} else if (sens == user_high->sens) {  in __cil_verify_context()