550 			struct cil_sens *sens = node->data;  in __cil_verify_ordered_node_helper()  local
551 			if (sens->ordered == CIL_FALSE) {  in __cil_verify_ordered_node_helper()
552 …	cil_tree_log(node, CIL_ERR, "Sensitivity %s not in sensitivityorder statement", sens->datum.name);  in __cil_verify_ordered_node_helper()
619 static int __cil_verify_cats_associated_with_sens(struct cil_sens *sens, struct cil_cats *cats)  in __cil_verify_cats_associated_with_sens()  argument
628 	if (!sens->cats_list) {  in __cil_verify_cats_associated_with_sens()
629 		cil_log(CIL_ERR, "No categories can be used with sensitivity %s\n", sens->datum.name);  in __cil_verify_cats_associated_with_sens()
636 		cil_list_for_each(j, sens->cats_list) {  in __cil_verify_cats_associated_with_sens()
645 					cat->datum.name, sens->datum.name);  in __cil_verify_cats_associated_with_sens()
714 	rc = __cil_verify_levelrange_sensitivity(db, lr->low->sens, lr->high->sens);  in __cil_verify_levelrange()
724 	rc = __cil_verify_cats_associated_with_sens(lr->low->sens, lr->low->cats);  in __cil_verify_levelrange()
730 	rc = __cil_verify_cats_associated_with_sens(lr->high->sens, lr->high->cats);  in __cil_verify_levelrange()
926 		struct cil_sens *sens = curr->data;  in __cil_verify_context()  local
929 			if (sens == user_low->sens) {  in __cil_verify_context()
931 			} else if (sens == ctx_low->sens) {  in __cil_verify_context()
940 			if (sens == ctx_high->sens) {  in __cil_verify_context()
942 			} else if (sens == user_high->sens) {  in __cil_verify_context()