402 			struct cil_sens *sens = node->data;  in __cil_verify_ordered_node_helper()  local
403 			if (sens->ordered == CIL_FALSE) {  in __cil_verify_ordered_node_helper()
404 …	cil_tree_log(node, CIL_ERR, "Sensitivity %s not in sensitivityorder statement", sens->datum.name);  in __cil_verify_ordered_node_helper()
472 int __cil_verify_cats_associated_with_sens(struct cil_sens *sens, struct cil_cats *cats)  in __cil_verify_cats_associated_with_sens()  argument
481 	if (!sens->cats_list) {  in __cil_verify_cats_associated_with_sens()
482 		cil_log(CIL_ERR, "No categories can be used with sensitivity %s\n", sens->datum.name);  in __cil_verify_cats_associated_with_sens()
489 		cil_list_for_each(j, sens->cats_list) {  in __cil_verify_cats_associated_with_sens()
498 					cat->datum.name, sens->datum.name);  in __cil_verify_cats_associated_with_sens()
567 	rc = __cil_verify_levelrange_sensitivity(db, lr->low->sens, lr->high->sens);  in __cil_verify_levelrange()
577 	rc = __cil_verify_cats_associated_with_sens(lr->low->sens, lr->low->cats);  in __cil_verify_levelrange()
583 	rc = __cil_verify_cats_associated_with_sens(lr->high->sens, lr->high->cats);  in __cil_verify_levelrange()
779 		struct cil_sens *sens = curr->data;  in __cil_verify_context()  local
782 			if (sens == user_low->sens) {  in __cil_verify_context()
784 			} else if (sens == ctx_low->sens) {  in __cil_verify_context()
793 			if (sens == ctx_high->sens) {  in __cil_verify_context()
795 			} else if (sens == user_high->sens) {  in __cil_verify_context()