57 		cil_log(CIL_ERR, "Name is NULL\n");  in __cil_verify_name()
63 		cil_log(CIL_ERR, "Name length greater than max name length of %d",   in __cil_verify_name()
70 			cil_log(CIL_ERR, "First character in %s is not a letter\n", name);  in __cil_verify_name()
76 			cil_log(CIL_ERR, "Invalid character \"%c\" in %s\n", name[i], name);  in __cil_verify_name()
83 	cil_log(CIL_ERR, "Invalid name\n");  in __cil_verify_name()
149 	cil_log(CIL_ERR, "Invalid syntax\n");  in __cil_verify_syntax()
176 			cil_log(CIL_ERR,"Invalid operator (%s) for set expression\n", (char*)current->data);  in cil_verify_expr_syntax()
182 …cil_log(CIL_ERR,"Invalid operator (%s) for boolean or tunable expression\n", (char*)current->data);  in cil_verify_expr_syntax()
190 …cil_log(CIL_ERR,"Operator (%s) only valid for catset and permissionx expression\n", (char*)current…  in cil_verify_expr_syntax()
202 		cil_log(CIL_ERR,"Unexpected value (%s) for expression operator\n", (char*)current->data);  in cil_verify_expr_syntax()
221 …cil_log(CIL_ERR, "l1, l2, h1, and h2 cannot be used on the left side with a string or list on the …  in cil_verify_constraint_leaf_expr_syntax()
225 				cil_log(CIL_ERR, "u3, r3, and t3 can only be used with (mls)validatetrans rules\n");  in cil_verify_constraint_leaf_expr_syntax()
229 …cil_log(CIL_ERR, "t1, t2, r1, r2, u1, u2 cannot be used on the left side with a list on the right …  in cil_verify_constraint_leaf_expr_syntax()
235 				cil_log(CIL_ERR, "u2 on the right side must be used with eq or neq as the operator\n");  in cil_verify_constraint_leaf_expr_syntax()
238 				cil_log(CIL_ERR, "u2 on the right side must be used with u1 on the left\n");  in cil_verify_constraint_leaf_expr_syntax()
243 				cil_log(CIL_ERR, "r2 on the right side must be used with r1 on the left\n");  in cil_verify_constraint_leaf_expr_syntax()
248 				cil_log(CIL_ERR, "t2 on the right side must be used with eq or neq as the operator\n");  in cil_verify_constraint_leaf_expr_syntax()
251 				cil_log(CIL_ERR, "t2 on the right side must be used with t1 on the left\n");  in cil_verify_constraint_leaf_expr_syntax()
256 				cil_log(CIL_ERR, "l2 on the right side must be used with l1 or h1 on the left\n");  in cil_verify_constraint_leaf_expr_syntax()
261 				cil_log(CIL_ERR, "h2 on the right side must be used with l1, l2, or h1 on the left\n");  in cil_verify_constraint_leaf_expr_syntax()
266 				cil_log(CIL_ERR, "h1 on the right side must be used with l1 on the left\n");  in cil_verify_constraint_leaf_expr_syntax()
311 		cil_log(CIL_ERR, "Invalid operator (%s) for constraint expression\n", (char*)current->data);  in cil_verify_constraint_expr_syntax()
317 		cil_log(CIL_ERR, "Invalid constraint syntax\n");  in cil_verify_constraint_expr_syntax()
335 				cil_log(CIL_ERR,"Self-reference found for %s\n",datum->name);  in cil_verify_no_self_reference()
372 	cil_log(CIL_ERR,"Invalid Range syntax\n");  in __cil_verify_ranges()
389 				cil_tree_log(node, CIL_ERR, "SID %s not in sidorder statement", sid->datum.name);  in __cil_verify_ordered_node_helper()
395 				cil_tree_log(node, CIL_ERR, "Class %s not in classorder statement", class->datum.name);  in __cil_verify_ordered_node_helper()
401 				cil_tree_log(node, CIL_ERR, "Category %s not in categoryorder statement", cat->datum.name);  in __cil_verify_ordered_node_helper()
407 …	cil_tree_log(node, CIL_ERR, "Sensitivity %s not in sensitivityorder statement", sens->datum.name);  in __cil_verify_ordered_node_helper()
434 		cil_log(CIL_ERR, "At least one initial sid must be defined in the policy\n");  in __cil_verify_initsids()
467 		cil_log(CIL_ERR, "Failed to find category %s in category list\n", cat->datum.name);  in __cil_verify_cat_in_cats()
484 		cil_log(CIL_ERR, "No categories can be used with sensitivity %s\n", sens->datum.name);  in __cil_verify_cats_associated_with_sens()
499 			cil_log(CIL_ERR, "Category %s cannot be used with sensitivity %s\n",   in __cil_verify_cats_associated_with_sens()
531 	cil_log(CIL_ERR, "Sensitivity %s does not dominate %s\n",   in __cil_verify_levelrange_sensitivity()
561 	cil_log(CIL_ERR, "Low level category set must be a subset of the high level category set\n");  in __cil_verify_levelrange_cats()
581 		cil_log(CIL_ERR, "Low level sensitivity and categories are not associated\n");  in __cil_verify_levelrange()
587 		cil_log(CIL_ERR, "High level sensitivity and categories are not associated\n");  in __cil_verify_levelrange()
609 	cil_tree_log(node, CIL_ERR, "Invalid named range");  in __cil_verify_named_levelrange()
619 		cil_log(CIL_ERR, "User %s does not have a default level\n", user->datum.name);  in __cil_verify_user_pre_eval()
622 		cil_log(CIL_ERR, "User %s does not have a level range\n", user->datum.name);  in __cil_verify_user_pre_eval()
632 				cil_log(CIL_ERR, "Circular bounds found for user %s\n", u1->datum.name);  in __cil_verify_user_pre_eval()
649 	cil_tree_log(node, CIL_ERR, "Invalid user");  in __cil_verify_user_pre_eval()
668 	cil_tree_log(node, CIL_ERR, "Invalid user");  in __cil_verify_user_post_eval()
683 			cil_log(CIL_ERR, "Circular bounds found for role %s\n", r1->datum.name);  in __cil_verify_role()
699 	cil_tree_log(node, CIL_ERR, "Invalid role");  in __cil_verify_role()
714 			cil_log(CIL_ERR, "Circular bounds found for type %s\n", t1->datum.name);  in __cil_verify_type()
730 	cil_tree_log(node, CIL_ERR, "Invalid type");  in __cil_verify_type()
750 			cil_log(CIL_ERR, "Role %s is invalid for user %s\n", ctx->role_str, ctx->user_str);  in __cil_verify_context()
755 		cil_log(CIL_ERR, "No roles given to the user %s\n", ctx->user_str);  in __cil_verify_context()
762 			cil_log(CIL_ERR, "Type %s is invalid for role %s\n", ctx->type_str, ctx->role_str);  in __cil_verify_context()
767 		cil_log(CIL_ERR, "No types associated with role %s\n", ctx->role_str);  in __cil_verify_context()
787 				cil_log(CIL_ERR, "Range %s is invalid for user %s\n",   in __cil_verify_context()
798 				cil_log(CIL_ERR, "Range %s is invalid for user %s\n",   in __cil_verify_context()
808 	cil_log(CIL_ERR, "Invalid context\n");  in __cil_verify_context()
824 	cil_tree_log(node, CIL_ERR, "Invalid named context");  in __cil_verify_named_context()
863 			cil_tree_log(node, CIL_ERR, "Duplicate rule defined");  in __cil_verify_rule()
871 	cil_tree_log(node, CIL_ERR, "Invalid rule");  in __cil_verify_rule()
887 …cil_tree_log(node, CIL_ERR, "Neverallow found in tunableif block (treated as a booleanif due to pr…  in __cil_verify_booleanif_helper()
889 				cil_tree_log(node, CIL_ERR, "Neverallow found in booleanif block");  in __cil_verify_booleanif_helper()
950 …cil_tree_log(node, CIL_ERR, "Invalid %s statement in tunableif (treated as a booleanif due to pres…  in __cil_verify_booleanif_helper()
952 			cil_tree_log(node, CIL_ERR, "Invalid %s statement in booleanif", flavor);  in __cil_verify_booleanif_helper()
980 …cil_tree_log(node, CIL_ERR, "Invalid tunableif (treated as a booleanif due to preserve-tunables)");  in __cil_verify_booleanif()
982 		cil_tree_log(node, CIL_ERR, "Invalid booleanif");  in __cil_verify_booleanif()
1013 	cil_tree_log(node, CIL_ERR, "Invalid netifcon");  in __cil_verify_netifcon()
1033 	cil_tree_log(node, CIL_ERR, "Invalid ibendportcon");  in __cil_verify_ibendportcon()
1054 	cil_tree_log(node, CIL_ERR, "Invalid genfscon");  in __cil_verify_genfscon()
1073 			cil_tree_log(node, CIL_ERR, "Invalid filecon");  in __cil_verify_filecon()
1101 	cil_tree_log(node, CIL_ERR, "Invalid nodecon");  in __cil_verify_nodecon()
1121 	cil_tree_log(node, CIL_ERR, "Invalid ibpkeycon");  in __cil_verify_ibpkeycon()
1142 	cil_tree_log(node, CIL_ERR, "Invalid portcon");  in __cil_verify_portcon()
1163 	cil_tree_log(node, CIL_ERR, "Invalid pirqcon");  in __cil_verify_pirqcon()
1184 	cil_tree_log(node, CIL_ERR, "Invalid iomemcon");  in __cil_verify_iomemcon()
1205 	cil_tree_log(node, CIL_ERR, "Invalid ioportcon");  in __cil_verify_ioportcon()
1226 	cil_tree_log(node, CIL_ERR, "Invalid pcidevicecon");  in __cil_verify_pcidevicecon()
1247 	cil_tree_log(node, CIL_ERR, "Invalid devicetreecon");  in __cil_verify_devicetreecon()
1268 	cil_tree_log(node, CIL_ERR, "Invalid fsuse");  in __cil_verify_fsuse()
1286 			cil_tree_log(node, CIL_ERR, "Invalid permissionx kind (%d)", permx->kind);  in __cil_verify_permissionx()
1302 …cil_tree_log(node, CIL_ERR, "Invalid permissionx: %s is not a permission of class %s", kind_str, c…  in __cil_verify_permissionx()
1347 …cil_log(CIL_ERR, "Duplicate permissions between %s common and class declarations\n", class_perm->d…  in __cil_verify_class()
1357 	cil_tree_log(node, CIL_ERR, "Invalid class");  in __cil_verify_class()
1374 	cil_tree_log(node, CIL_ERR, "Invalid policycap (%s)", (const char*)polcap->datum.name);  in __cil_verify_policycap()
1437 				cil_log(CIL_ERR, "Policy can not have more than one handleunknown\n");  in __cil_verify_helper()
1446 				cil_log(CIL_ERR, "Policy can not have more than one mls\n");  in __cil_verify_helper()
1559 …cil_tree_log(NODE(cur), CIL_ERR, "Map class %s does not have a classmapping for %s", parent->name,…  in __cil_verify_classperms()
1561 …cil_tree_log(NODE(cur), CIL_ERR, "Classpermission %s does not have a classpermissionset", cur->nam…  in __cil_verify_classperms()
1568 …cil_tree_log(NODE(cur), CIL_ERR, "Found circular class permissions involving the map class %s and …  in __cil_verify_classperms()
1570 …cil_tree_log(NODE(cur), CIL_ERR, "Found circular class permissions involving the set %s", cur->nam…  in __cil_verify_classperms()