131 			check_path_iterators(np->u.arrow.lhs);  in check_path_iterators()
132 			check_path_iterators(np->u.arrow.rhs);  in check_path_iterators()
136 			check_path_iterators(np->u.expr.left);  in check_path_iterators()
137 			check_path_iterators(np->u.expr.right);  in check_path_iterators()
141 			check_path_iterators(np->u.event.epname);  in check_path_iterators()
145 			if (np->u.name.child == NULL)  in check_path_iterators()
149 				    np->u.name.s);  in check_path_iterators()
150 			check_path_iterators(np->u.name.next);  in check_path_iterators()
166 	if (np->u.arrow.lhs->t != T_ARROW &&  in check_arrow()
167 	    np->u.arrow.lhs->t != T_LIST &&  in check_arrow()
168 	    np->u.arrow.lhs->t != T_EVENT) {  in check_arrow()
170 		    np->u.arrow.lhs->file, np->u.arrow.lhs->line,  in check_arrow()
172 		    ptree_nodetype2str(np->u.arrow.lhs->t));  in check_arrow()
175 	if (!check_nork(np->u.arrow.nnp) ||  in check_arrow()
176 	    !check_nork(np->u.arrow.knp))  in check_arrow()
203 			if (*np->u.name.s == 'A')  in check_nork()
227 		if (np->u.event.ename->u.name.t != N_EREPORT) {  in check_reportlist()
238 		(void) check_reportlist(t, s, np->u.expr.left);  in check_reportlist()
239 		(void) check_reportlist(t, s, np->u.expr.right);  in check_reportlist()
360 	if (np->t != T_NAME || np->u.name.next || np->u.name.child)  in check_id()
371 	if (np->t != T_NAME || np->u.name.next || np->u.name.child ||  in check_serd_method()
372 	    (np->u.name.s != L_volatile &&  in check_serd_method()
373 	    np->u.name.s != L_persistent))  in check_serd_method()
394 	struct lut *lutp = stmtnp->u.stmt.lutp;  in check_stmt_required_properties()
395 	struct node *np = stmtnp->u.stmt.np;  in check_stmt_required_properties()
414 	const char *s = nvpairnp->u.expr.left->u.name.s;  in check_stmt_allowed_properties()
421 			    nvpairnp->u.expr.right);  in check_stmt_allowed_properties()
433 		if (np->t != nvpairnp->u.expr.right->t)  in check_stmt_allowed_properties()
441 				if (np->u.ull == nvpairnp->u.expr.right->u.ull)  in check_stmt_allowed_properties()
447 				    nvpairnp->u.expr.right) == 0)  in check_stmt_allowed_properties()
453 				    nvpairnp->u.expr.right) == 0)  in check_stmt_allowed_properties()
461 				    nvpairnp->u.expr.left->u.name.s,  in check_stmt_allowed_properties()
469 		(*Allowednames[i].checker)(t, s, nvpairnp->u.expr.right);  in check_stmt_allowed_properties()
483 		switch (np->u.event.ename->u.name.t) {  in check_propnames()
558 			    "unexpected type: %d", np->u.name.t);  in check_propnames()
566 			dnp->u.stmt.flags |= STMT_REF;  in check_propnames()
567 		np->u.event.declp = dnp;  in check_propnames()
569 		check_propnames(t, np->u.expr.left, from, to);  in check_propnames()
570 		check_propnames(t, np->u.expr.right, from, to);  in check_propnames()
572 		check_propnames(t, np->u.arrow.lhs, 1, to);  in check_propnames()
573 		check_propnames(t, np->u.arrow.rhs, from, 1);  in check_propnames()
585 		ex = record_iterators(np->u.arrow.lhs, ex);  in record_iterators()
586 		ex = record_iterators(np->u.arrow.rhs, ex);  in record_iterators()
590 		ex = record_iterators(np->u.expr.left, ex);  in record_iterators()
591 		ex = record_iterators(np->u.expr.right, ex);  in record_iterators()
595 		ex = record_iterators(np->u.event.epname, ex);  in record_iterators()
599 		if (np->u.name.child && np->u.name.child->t == T_NAME)  in record_iterators()
600 			ex = lut_add(ex, (void *) np->u.name.child->u.name.s,  in record_iterators()
602 		ex = record_iterators(np->u.name.next, ex);  in record_iterators()
622 		check_exprscope(np->u.event.eexprlist, ex);  in check_exprscope()
626 		check_exprscope(np->u.arrow.lhs, ex);  in check_exprscope()
627 		check_exprscope(np->u.arrow.rhs, ex);  in check_exprscope()
631 		if (np->u.name.child && np->u.name.child->t == T_NAME) {  in check_exprscope()
633 			    (void *) np->u.name.child->u.name.s, NULL) == NULL)  in check_exprscope()
637 				    np->u.name.child->u.name.s);  in check_exprscope()
639 		check_exprscope(np->u.name.next, ex);  in check_exprscope()
670 		check_exprscope(np->u.expr.left, ex);  in check_exprscope()
671 		check_exprscope(np->u.expr.right, ex);  in check_exprscope()
675 		check_exprscope(np->u.func.arglist, ex);  in check_exprscope()
721 	if ((engnp = tree_s2np_lut_lookup(rhs->u.stmt.lutp, L_engine)) == NULL)  in check_upset_engine()
732 	engnp->u.event.declp = declp;  in check_upset_engine()
749 	if (rhs->u.stmt.flags & STMT_REF)  in check_refcount()
789 	if (rhs->u.stmt.flags & STMT_CYCLE)  in check_cycle()
792 	if (rhs->u.stmt.flags & STMT_CYMARK) {  in check_cycle()
804 			ptree_name(olevel|O_NONL, rhs->u.stmt.np);  in check_cycle()
809 		rhs->u.stmt.flags |= STMT_CYCLE;  in check_cycle()
812 	rhs->u.stmt.flags |= STMT_CYMARK;  in check_cycle()
815 	for (np = Props; np; np = np->u.stmt.next)  in check_cycle()
816 		check_cycle_lhs(rhs, np->u.stmt.np);  in check_cycle()
818 	rhs->u.stmt.flags &= ~STMT_CYMARK;  in check_cycle()
832 	switch (arrow->u.arrow.lhs->t) {  in check_cycle_lhs()
835 		check_cycle_lhs(stmtnp, arrow->u.arrow.lhs);  in check_cycle_lhs()
841 		if (arrow->u.arrow.lhs->u.arrow.rhs->t != T_EVENT)  in check_cycle_lhs()
845 		trylhs = arrow->u.arrow.lhs->u.arrow.rhs;  in check_cycle_lhs()
846 		tryrhs = arrow->u.arrow.rhs;  in check_cycle_lhs()
851 		trylhs = arrow->u.arrow.lhs;  in check_cycle_lhs()
852 		tryrhs = arrow->u.arrow.rhs;  in check_cycle_lhs()
857 		    ptree_nodetype2str(arrow->u.arrow.lhs->t));  in check_cycle_lhs()
872 		check_cycle_lhs_try(stmtnp, lhs->u.expr.left, rhs);  in check_cycle_lhs_try()
873 		check_cycle_lhs_try(stmtnp, lhs->u.expr.right, rhs);  in check_cycle_lhs_try()
879 	if (tree_eventcmp(stmtnp->u.stmt.np, lhs) != 0)  in check_cycle_lhs_try()
895 		check_cycle_rhs(rhs->u.expr.left);  in check_cycle_rhs()
896 		check_cycle_rhs(rhs->u.expr.right);  in check_cycle_rhs()
902 	if (rhs->u.event.ename->u.name.t != N_ERROR)  in check_cycle_rhs()
922 	if (np->u.name.child->t != T_NUM &&  in check_name_iterator()
923 	    np->u.name.child->t != T_NAME &&  in check_name_iterator()
924 	    np->u.name.child->t != T_CONDIF &&  in check_name_iterator()
925 	    np->u.name.child->t != T_SUB &&  in check_name_iterator()
926 	    np->u.name.child->t != T_ADD &&  in check_name_iterator()
927 	    np->u.name.child->t != T_MUL &&  in check_name_iterator()
928 	    np->u.name.child->t != T_DIV &&  in check_name_iterator()
929 	    np->u.name.child->t != T_MOD &&  in check_name_iterator()
930 	    np->u.name.child->t != T_LSHIFT &&  in check_name_iterator()
931 	    np->u.name.child->t != T_RSHIFT) {  in check_name_iterator()
947 			np = np->u.event.epname;  in check_type_iterator()
949 			if (np->u.name.child != NULL &&  in check_type_iterator()
950 			    np->u.name.child->t != T_NUM) {  in check_type_iterator()
957 			np = np->u.name.next;  in check_type_iterator()
970 		check_cat_list(np->u.expr.left);  in check_cat_list()
971 		check_cat_list(np->u.expr.right);  in check_cat_list()
978 	struct node *arglist = np->u.func.arglist;  in check_func()
982 	if (np->u.func.s == L_within) {  in check_func()
985 			if (arglist->u.ull != 0ULL) {  in check_func()
993 			if (arglist->u.name.s != L_infinity) {  in check_func()
1005 			if (arglist->u.expr.left->t != T_NUM &&  in check_func()
1006 			    arglist->u.expr.left->t != T_TIMEVAL) {  in check_func()
1016 			if (arglist->u.expr.right->t != T_NUM &&  in check_func()
1017 			    arglist->u.expr.right->t != T_TIMEVAL &&  in check_func()
1018 			    arglist->u.expr.right->t != T_NAME) {  in check_func()
1028 			if ((arglist->u.expr.left->t == T_NUM) &&  in check_func()
1029 			    (arglist->u.expr.left->u.ull != 0ULL)) {  in check_func()
1034 			if ((arglist->u.expr.right->t == T_NUM) &&  in check_func()
1035 			    (arglist->u.expr.right->u.ull != 0ULL)) {  in check_func()
1042 			if ((arglist->u.expr.right->t == T_NAME) &&  in check_func()
1043 			    (arglist->u.expr.right->u.name.s != L_infinity)) {  in check_func()
1053 			if (arglist->u.expr.left->u.ull >  in check_func()
1054 			    arglist->u.expr.right->u.ull) {  in check_func()
1070 	} else if (np->u.func.s == L_call) {  in check_func()
1079 	} else if (np->u.func.s == L_fru) {  in check_func()
1083 	} else if (np->u.func.s == L_asru) {  in check_func()
1087 	} else if (np->u.func.s == L_is_connected ||  in check_func()
1088 	    np->u.func.s == L_is_under) {  in check_func()
1090 		    (arglist->u.expr.left->t == T_NAME ||  in check_func()
1091 		    arglist->u.expr.left->t == T_FUNC) &&  in check_func()
1092 		    (arglist->u.expr.right->t == T_NAME ||  in check_func()
1093 		    arglist->u.expr.right->t == T_FUNC)) {  in check_func()
1094 			if (arglist->u.expr.left->t == T_FUNC)  in check_func()
1095 				check_func(arglist->u.expr.left);  in check_func()
1096 			if (arglist->u.expr.right->t == T_FUNC)  in check_func()
1097 				check_func(arglist->u.expr.right);  in check_func()
1102 			    np->u.func.s);  in check_func()
1104 	} else if (np->u.func.s == L_is_on) {  in check_func()
1113 	} else if (np->u.func.s == L_is_present) {  in check_func()
1122 	} else if (np->u.func.s == L_has_fault) {  in check_func()
1124 		    (arglist->u.expr.left->t == T_NAME ||  in check_func()
1125 		    arglist->u.expr.left->t == T_FUNC) &&  in check_func()
1126 		    arglist->u.expr.right->t == T_QUOTE) {  in check_func()
1127 			if (arglist->u.expr.left->t == T_FUNC)  in check_func()
1128 				check_func(arglist->u.expr.left);  in check_func()
1133 			    "second argument must be a string", np->u.func.s);  in check_func()
1135 	} else if (np->u.func.s == L_is_type) {  in check_func()
1144 	} else if (np->u.func.s == L_confcall) {  in check_func()
1147 		    arglist->u.expr.left->t != T_QUOTE))  in check_func()
1151 	} else if (np->u.func.s == L_confprop ||  in check_func()
1152 	    np->u.func.s == L_confprop_defined) {  in check_func()
1154 		    (arglist->u.expr.left->t == T_NAME ||  in check_func()
1155 		    arglist->u.expr.left->t == T_FUNC) &&  in check_func()
1156 		    arglist->u.expr.right->t == T_QUOTE) {  in check_func()
1157 			if (arglist->u.expr.left->t == T_FUNC)  in check_func()
1158 				check_func(arglist->u.expr.left);  in check_func()
1163 			    "second argument must be a string", np->u.func.s);  in check_func()
1165 	} else if (np->u.func.s == L_count) {  in check_func()
1170 	} else if (np->u.func.s == L_defined) {  in check_func()
1174 	} else if (np->u.func.s == L_payloadprop) {  in check_func()
1178 	} else if (np->u.func.s == L_payloadprop_contains) {  in check_func()
1180 		    arglist->u.expr.left->t != T_QUOTE ||  in check_func()
1181 		    arglist->u.expr.right == NULL)  in check_func()
1186 	} else if (np->u.func.s == L_payloadprop_defined) {  in check_func()
1191 	} else if (np->u.func.s == L_setpayloadprop) {  in check_func()
1193 		    arglist->u.expr.left->t == T_QUOTE) {  in check_func()
1194 			if (arglist->u.expr.right->t == T_FUNC)  in check_func()
1195 				check_func(arglist->u.expr.right);  in check_func()
1202 	} else if (np->u.func.s == L_setserdn || np->u.func.s == L_setserdt ||  in check_func()
1203 	    np->u.func.s == L_setserdsuffix || np->u.func.s ==  in check_func()
1207 	} else if (np->u.func.s == L_cat) {  in check_func()
1209 	} else if (np->u.func.s == L_envprop) {  in check_func()
1216 		    np->u.func.s);  in check_func()
1226 		ASSERT(np->u.expr.left != NULL);  in check_expr()
1227 		if (np->u.expr.left->t != T_GLOBID)  in check_expr()
1240 	if (np->u.event.epname == NULL) {  in check_event()
1243 		ptree_name(O_ERR|O_NONL, np->u.event.ename);  in check_event()
1277 	check_proplists_lhs(t, np->u.arrow.lhs);  in check_proplists()
1285 		if (lhs->u.arrow.rhs->t == T_LIST) {  in check_proplists_lhs()
1290 		check_proplists_lhs(t, lhs->u.arrow.lhs);  in check_proplists_lhs()