101 static void __expr_eliminate_eq(enum expr_type type, struct expr **ep1, struct expr **ep2)  in __expr_eliminate_eq()  argument
110 		__expr_eliminate_eq(type, &l, ep2);  in __expr_eliminate_eq()
111 		__expr_eliminate_eq(type, &r, ep2);  in __expr_eliminate_eq()
115 	if ((*ep2)->type == type) {  in __expr_eliminate_eq()
116 		l = (*ep2)->left.expr;  in __expr_eliminate_eq()
117 		r = (*ep2)->right.expr;  in __expr_eliminate_eq()
120 		*ep2 = expr_alloc_two(type, l, r);  in __expr_eliminate_eq()
126 	if ((*ep1)->type == E_SYMBOL && (*ep2)->type == E_SYMBOL &&  in __expr_eliminate_eq()
127 	    (*ep1)->left.sym == (*ep2)->left.sym &&  in __expr_eliminate_eq()
130 	if (!expr_eq(*ep1, *ep2))  in __expr_eliminate_eq()
139 		*ep2 = expr_alloc_symbol(&symbol_no);  in __expr_eliminate_eq()
143 		*ep2 = expr_alloc_symbol(&symbol_yes);  in __expr_eliminate_eq()
179 void expr_eliminate_eq(struct expr **ep1, struct expr **ep2)  in expr_eliminate_eq()  argument
181 	if (!*ep1 || !*ep2)  in expr_eliminate_eq()
186 		__expr_eliminate_eq((*ep1)->type, ep1, ep2);  in expr_eliminate_eq()
190 	if ((*ep1)->type != (*ep2)->type) switch ((*ep2)->type) {  in expr_eliminate_eq()
193 		__expr_eliminate_eq((*ep2)->type, ep1, ep2);  in expr_eliminate_eq()
198 	*ep2 = expr_eliminate_yn(*ep2);  in expr_eliminate_eq()
479 static void expr_eliminate_dups1(enum expr_type type, struct expr **ep1, struct expr **ep2)  in expr_eliminate_dups1()  argument
488 		expr_eliminate_dups1(type, &l, ep2);  in expr_eliminate_dups1()
489 		expr_eliminate_dups1(type, &r, ep2);  in expr_eliminate_dups1()
493 	if ((*ep2)->type == type) {  in expr_eliminate_dups1()
494 		l = (*ep2)->left.expr;  in expr_eliminate_dups1()
495 		r = (*ep2)->right.expr;  in expr_eliminate_dups1()
498 		*ep2 = expr_alloc_two(type, l, r);  in expr_eliminate_dups1()
506 		tmp = expr_join_or(*ep1, *ep2);  in expr_eliminate_dups1()
509 			*ep2 = tmp;  in expr_eliminate_dups1()
514 		tmp = expr_join_and(*ep1, *ep2);  in expr_eliminate_dups1()
517 			*ep2 = tmp;  in expr_eliminate_dups1()