scripts/kconfig/expr.c

39 	e->right.expr = e2;
48 	e->right.sym = s2;
89 		e->right.sym = org->right.sym;
95 		e->right.expr = expr_copy(org->right.expr);
128 		expr_free(e->right.expr);
156 		__expr_eliminate_eq(type, &e1->right.expr, &e2);
161 		__expr_eliminate_eq(type, &e1, &e2->right.expr);
272 		return e1->left.sym == e2->left.sym && e1->right.sym == e2->right.sym;
323 		e->right.expr = expr_eliminate_yn(e->right.expr);
327 				expr_free(e->right.expr);
330 				e->right.expr = NULL;
334 				tmp = e->right.expr;
335 				*e = *(e->right.expr);
340 		if (e->right.expr->type == E_SYMBOL) {
341 			if (e->right.expr->left.sym == &symbol_no) {
343 				expr_free(e->right.expr);
346 				e->right.expr = NULL;
348 			} else if (e->right.expr->left.sym == &symbol_yes) {
349 				free(e->right.expr);
359 		e->right.expr = expr_eliminate_yn(e->right.expr);
363 				tmp = e->right.expr;
364 				*e = *(e->right.expr);
369 				expr_free(e->right.expr);
372 				e->right.expr = NULL;
376 		if (e->right.expr->type == E_SYMBOL) {
377 			if (e->right.expr->left.sym == &symbol_no) {
378 				free(e->right.expr);
383 			} else if (e->right.expr->left.sym == &symbol_yes) {
385 				expr_free(e->right.expr);
388 				e->right.expr = NULL;
411 		e->right.expr = expr_trans_bool(e->right.expr);
416 			if (e->right.sym == &symbol_no) {
418 				e->right.sym = NULL;
461 		    ((e1->right.sym == &symbol_yes && e2->right.sym == &symbol_mod) ||
462 		     (e1->right.sym == &symbol_mod && e2->right.sym == &symbol_yes))) {
467 		    ((e1->right.sym == &symbol_yes && e2->right.sym == &symbol_no) ||
468 		     (e1->right.sym == &symbol_no && e2->right.sym == &symbol_yes))) {
473 		    ((e1->right.sym == &symbol_mod && e2->right.sym == &symbol_no) ||
474 		     (e1->right.sym == &symbol_no && e2->right.sym == &symbol_mod))) {
524 	if ((e1->type == E_SYMBOL && e2->type == E_EQUAL && e2->right.sym == &symbol_yes) ||
525 	    (e2->type == E_SYMBOL && e1->type == E_EQUAL && e1->right.sym == &symbol_yes))
529 	if ((e1->type == E_SYMBOL && e2->type == E_UNEQUAL && e2->right.sym == &symbol_no) ||
530 	    (e2->type == E_SYMBOL && e1->type == E_UNEQUAL && e1->right.sym == &symbol_no))
534 	if ((e1->type == E_SYMBOL && e2->type == E_UNEQUAL && e2->right.sym == &symbol_mod) ||
535 	    (e2->type == E_SYMBOL && e1->type == E_UNEQUAL && e1->right.sym == &symbol_mod))
542 			sym2 = e1->right.sym;
543 			if ((e2->right.sym->flags & SYMBOL_CONST) && (sym2->flags & SYMBOL_CONST))
544 				return sym2 != e2->right.sym ? expr_alloc_comp(E_EQUAL, sym1, sym2)
549 			sym2 = e2->right.sym;
550 			if ((e1->right.sym->flags & SYMBOL_CONST) && (sym2->flags & SYMBOL_CONST))
551 				return sym2 != e1->right.sym ? expr_alloc_comp(E_EQUAL, sym1, sym2)
555 			   ((e1->right.sym == &symbol_yes && e2->right.sym == &symbol_no) ||
556 			    (e1->right.sym == &symbol_no && e2->right.sym == &symbol_yes)))
561 			   ((e1->right.sym == &symbol_yes && e2->right.sym == &symbol_mod) ||
562 			    (e1->right.sym == &symbol_mod && e2->right.sym == &symbol_yes)))
567 			   ((e1->right.sym == &symbol_mod && e2->right.sym == &symbol_no) ||
568 			    (e1->right.sym == &symbol_no && e2->right.sym == &symbol_mod)))
572 		if ((e1->type == E_SYMBOL && e2->type == E_EQUAL && e2->right.sym == &symbol_mod) ||
573 		    (e2->type == E_SYMBOL && e1->type == E_EQUAL && e1->right.sym == &symbol_mod) ||
574 		    (e1->type == E_SYMBOL && e2->type == E_UNEQUAL && e2->right.sym == &symbol_yes) ||
575 		    (e2->type == E_SYMBOL && e1->type == E_UNEQUAL && e1->right.sym == &symbol_yes))
606 		expr_eliminate_dups1(type, &e1->right.expr, &e2);
611 		expr_eliminate_dups1(type, &e1, &e2->right.expr);
712 		e->right.expr = expr_transform(e->right.expr);
719 		if (e->right.sym == &symbol_no) {
722 			e->right.sym = NULL;
725 		if (e->right.sym == &symbol_mod) {
729 			e->right.sym = NULL;
732 		if (e->right.sym == &symbol_yes) {
734 			e->right.sym = NULL;
741 		if (e->right.sym == &symbol_no) {
743 			e->right.sym = NULL;
746 		if (e->right.sym == &symbol_mod) {
750 			e->right.sym = NULL;
753 		if (e->right.sym == &symbol_yes) {
756 			e->right.sym = NULL;
798 			e->right.expr = expr_alloc_one(E_NOT, tmp->right.expr);
800 			tmp->right.expr = NULL;
807 			e->right.expr = expr_alloc_one(E_NOT, tmp->right.expr);
809 			tmp->right.expr = NULL;
860 		       expr_contains_symbol(dep->right.expr, sym);
870 		       dep->right.sym == sym;
887 		       expr_depends_symbol(dep->right.expr, sym);
892 			if (dep->right.sym == &symbol_yes || dep->right.sym == &symbol_mod)
898 			if (dep->right.sym == &symbol_no)
935 		e2 = expr_trans_compare(e->right.expr, E_EQUAL, sym);
945 		e2 = expr_trans_compare(e->right.expr, E_EQUAL, sym);
1047 		val2 = expr_calc_value(e->right.expr);
1051 		val2 = expr_calc_value(e->right.expr);
1069 	sym_calc_value(e->right.sym);
1071 	str2 = sym_get_string_value(e->right.sym);
1073 	if (e->left.sym->type != S_STRING || e->right.sym->type != S_STRING) {
1075 		k2 = expr_parse_string(str2, e->right.sym->type, &rval);
1165 		fn(data, e->right.sym, e->right.sym->name);
1174 		fn(data, e->right.sym, e->right.sym->name);
1183 		fn(data, e->right.sym, e->right.sym->name);
1191 		fn(data, e->right.sym, e->right.sym->name);
1196 		expr_print(e->right.expr, fn, data, E_OR);
1201 		expr_print(e->right.expr, fn, data, E_AND);
1204 		fn(data, e->right.sym, e->right.sym->name);
1214 		fn(data, e->right.sym, e->right.sym->name);
1285 		expr_print_revdep(e->right.expr, fn, data, pr_type, title);