xref: /openbmc/linux/scripts/kconfig/symbol.c (revision 1fa6ac37) 
1 /*
2  * Copyright (C) 2002 Roman Zippel <zippel@linux-m68k.org>
3  * Released under the terms of the GNU GPL v2.0.
4  */
5 
6 #include <ctype.h>
7 #include <stdlib.h>
8 #include <string.h>
9 #include <regex.h>
10 #include <sys/utsname.h>
11 
12 #define LKC_DIRECT_LINK
13 #include "lkc.h"
14 
15 struct symbol symbol_yes = {
16 	.name = "y",
17 	.curr = { "y", yes },
18 	.flags = SYMBOL_CONST|SYMBOL_VALID,
19 }, symbol_mod = {
20 	.name = "m",
21 	.curr = { "m", mod },
22 	.flags = SYMBOL_CONST|SYMBOL_VALID,
23 }, symbol_no = {
24 	.name = "n",
25 	.curr = { "n", no },
26 	.flags = SYMBOL_CONST|SYMBOL_VALID,
27 }, symbol_empty = {
28 	.name = "",
29 	.curr = { "", no },
30 	.flags = SYMBOL_VALID,
31 };
32 
33 struct symbol *sym_defconfig_list;
34 struct symbol *modules_sym;
35 tristate modules_val;
36 
37 struct expr *sym_env_list;
38 
39 static void sym_add_default(struct symbol *sym, const char *def)
40 {
41 	struct property *prop = prop_alloc(P_DEFAULT, sym);
42 
43 	prop->expr = expr_alloc_symbol(sym_lookup(def, SYMBOL_CONST));
44 }
45 
46 void sym_init(void)
47 {
48 	struct symbol *sym;
49 	struct utsname uts;
50 	static bool inited = false;
51 
52 	if (inited)
53 		return;
54 	inited = true;
55 
56 	uname(&uts);
57 
58 	sym = sym_lookup("UNAME_RELEASE", 0);
59 	sym->type = S_STRING;
60 	sym->flags |= SYMBOL_AUTO;
61 	sym_add_default(sym, uts.release);
62 }
63 
64 enum symbol_type sym_get_type(struct symbol *sym)
65 {
66 	enum symbol_type type = sym->type;
67 
68 	if (type == S_TRISTATE) {
69 		if (sym_is_choice_value(sym) && sym->visible == yes)
70 			type = S_BOOLEAN;
71 		else if (modules_val == no)
72 			type = S_BOOLEAN;
73 	}
74 	return type;
75 }
76 
77 const char *sym_type_name(enum symbol_type type)
78 {
79 	switch (type) {
80 	case S_BOOLEAN:
81 		return "boolean";
82 	case S_TRISTATE:
83 		return "tristate";
84 	case S_INT:
85 		return "integer";
86 	case S_HEX:
87 		return "hex";
88 	case S_STRING:
89 		return "string";
90 	case S_UNKNOWN:
91 		return "unknown";
92 	case S_OTHER:
93 		break;
94 	}
95 	return "???";
96 }
97 
98 struct property *sym_get_choice_prop(struct symbol *sym)
99 {
100 	struct property *prop;
101 
102 	for_all_choices(sym, prop)
103 		return prop;
104 	return NULL;
105 }
106 
107 struct property *sym_get_env_prop(struct symbol *sym)
108 {
109 	struct property *prop;
110 
111 	for_all_properties(sym, prop, P_ENV)
112 		return prop;
113 	return NULL;
114 }
115 
116 struct property *sym_get_default_prop(struct symbol *sym)
117 {
118 	struct property *prop;
119 
120 	for_all_defaults(sym, prop) {
121 		prop->visible.tri = expr_calc_value(prop->visible.expr);
122 		if (prop->visible.tri != no)
123 			return prop;
124 	}
125 	return NULL;
126 }
127 
128 static struct property *sym_get_range_prop(struct symbol *sym)
129 {
130 	struct property *prop;
131 
132 	for_all_properties(sym, prop, P_RANGE) {
133 		prop->visible.tri = expr_calc_value(prop->visible.expr);
134 		if (prop->visible.tri != no)
135 			return prop;
136 	}
137 	return NULL;
138 }
139 
140 static int sym_get_range_val(struct symbol *sym, int base)
141 {
142 	sym_calc_value(sym);
143 	switch (sym->type) {
144 	case S_INT:
145 		base = 10;
146 		break;
147 	case S_HEX:
148 		base = 16;
149 		break;
150 	default:
151 		break;
152 	}
153 	return strtol(sym->curr.val, NULL, base);
154 }
155 
156 static void sym_validate_range(struct symbol *sym)
157 {
158 	struct property *prop;
159 	int base, val, val2;
160 	char str[64];
161 
162 	switch (sym->type) {
163 	case S_INT:
164 		base = 10;
165 		break;
166 	case S_HEX:
167 		base = 16;
168 		break;
169 	default:
170 		return;
171 	}
172 	prop = sym_get_range_prop(sym);
173 	if (!prop)
174 		return;
175 	val = strtol(sym->curr.val, NULL, base);
176 	val2 = sym_get_range_val(prop->expr->left.sym, base);
177 	if (val >= val2) {
178 		val2 = sym_get_range_val(prop->expr->right.sym, base);
179 		if (val <= val2)
180 			return;
181 	}
182 	if (sym->type == S_INT)
183 		sprintf(str, "%d", val2);
184 	else
185 		sprintf(str, "0x%x", val2);
186 	sym->curr.val = strdup(str);
187 }
188 
189 static void sym_calc_visibility(struct symbol *sym)
190 {
191 	struct property *prop;
192 	tristate tri;
193 
194 	/* any prompt visible? */
195 	tri = no;
196 	for_all_prompts(sym, prop) {
197 		prop->visible.tri = expr_calc_value(prop->visible.expr);
198 		tri = EXPR_OR(tri, prop->visible.tri);
199 	}
200 	if (tri == mod && (sym->type != S_TRISTATE || modules_val == no))
201 		tri = yes;
202 	if (sym->visible != tri) {
203 		sym->visible = tri;
204 		sym_set_changed(sym);
205 	}
206 	if (sym_is_choice_value(sym))
207 		return;
208 	tri = no;
209 	if (sym->rev_dep.expr)
210 		tri = expr_calc_value(sym->rev_dep.expr);
211 	if (tri == mod && sym_get_type(sym) == S_BOOLEAN)
212 		tri = yes;
213 	if (sym->rev_dep.tri != tri) {
214 		sym->rev_dep.tri = tri;
215 		sym_set_changed(sym);
216 	}
217 }
218 
219 static struct symbol *sym_calc_choice(struct symbol *sym)
220 {
221 	struct symbol *def_sym;
222 	struct property *prop;
223 	struct expr *e;
224 
225 	/* is the user choice visible? */
226 	def_sym = sym->def[S_DEF_USER].val;
227 	if (def_sym) {
228 		sym_calc_visibility(def_sym);
229 		if (def_sym->visible != no)
230 			return def_sym;
231 	}
232 
233 	/* any of the defaults visible? */
234 	for_all_defaults(sym, prop) {
235 		prop->visible.tri = expr_calc_value(prop->visible.expr);
236 		if (prop->visible.tri == no)
237 			continue;
238 		def_sym = prop_get_symbol(prop);
239 		sym_calc_visibility(def_sym);
240 		if (def_sym->visible != no)
241 			return def_sym;
242 	}
243 
244 	/* just get the first visible value */
245 	prop = sym_get_choice_prop(sym);
246 	expr_list_for_each_sym(prop->expr, e, def_sym) {
247 		sym_calc_visibility(def_sym);
248 		if (def_sym->visible != no)
249 			return def_sym;
250 	}
251 
252 	/* no choice? reset tristate value */
253 	sym->curr.tri = no;
254 	return NULL;
255 }
256 
257 void sym_calc_value(struct symbol *sym)
258 {
259 	struct symbol_value newval, oldval;
260 	struct property *prop;
261 	struct expr *e;
262 
263 	if (!sym)
264 		return;
265 
266 	if (sym->flags & SYMBOL_VALID)
267 		return;
268 	sym->flags |= SYMBOL_VALID;
269 
270 	oldval = sym->curr;
271 
272 	switch (sym->type) {
273 	case S_INT:
274 	case S_HEX:
275 	case S_STRING:
276 		newval = symbol_empty.curr;
277 		break;
278 	case S_BOOLEAN:
279 	case S_TRISTATE:
280 		newval = symbol_no.curr;
281 		break;
282 	default:
283 		sym->curr.val = sym->name;
284 		sym->curr.tri = no;
285 		return;
286 	}
287 	if (!sym_is_choice_value(sym))
288 		sym->flags &= ~SYMBOL_WRITE;
289 
290 	sym_calc_visibility(sym);
291 
292 	/* set default if recursively called */
293 	sym->curr = newval;
294 
295 	switch (sym_get_type(sym)) {
296 	case S_BOOLEAN:
297 	case S_TRISTATE:
298 		if (sym_is_choice_value(sym) && sym->visible == yes) {
299 			prop = sym_get_choice_prop(sym);
300 			newval.tri = (prop_get_symbol(prop)->curr.val == sym) ? yes : no;
301 		} else {
302 			if (sym->visible != no) {
303 				/* if the symbol is visible use the user value
304 				 * if available, otherwise try the default value
305 				 */
306 				sym->flags |= SYMBOL_WRITE;
307 				if (sym_has_value(sym)) {
308 					newval.tri = EXPR_AND(sym->def[S_DEF_USER].tri,
309 							      sym->visible);
310 					goto calc_newval;
311 				}
312 			}
313 			if (sym->rev_dep.tri != no)
314 				sym->flags |= SYMBOL_WRITE;
315 			if (!sym_is_choice(sym)) {
316 				prop = sym_get_default_prop(sym);
317 				if (prop) {
318 					sym->flags |= SYMBOL_WRITE;
319 					newval.tri = EXPR_AND(expr_calc_value(prop->expr),
320 							      prop->visible.tri);
321 				}
322 			}
323 		calc_newval:
324 			newval.tri = EXPR_OR(newval.tri, sym->rev_dep.tri);
325 		}
326 		if (newval.tri == mod && sym_get_type(sym) == S_BOOLEAN)
327 			newval.tri = yes;
328 		break;
329 	case S_STRING:
330 	case S_HEX:
331 	case S_INT:
332 		if (sym->visible != no) {
333 			sym->flags |= SYMBOL_WRITE;
334 			if (sym_has_value(sym)) {
335 				newval.val = sym->def[S_DEF_USER].val;
336 				break;
337 			}
338 		}
339 		prop = sym_get_default_prop(sym);
340 		if (prop) {
341 			struct symbol *ds = prop_get_symbol(prop);
342 			if (ds) {
343 				sym->flags |= SYMBOL_WRITE;
344 				sym_calc_value(ds);
345 				newval.val = ds->curr.val;
346 			}
347 		}
348 		break;
349 	default:
350 		;
351 	}
352 
353 	sym->curr = newval;
354 	if (sym_is_choice(sym) && newval.tri == yes)
355 		sym->curr.val = sym_calc_choice(sym);
356 	sym_validate_range(sym);
357 
358 	if (memcmp(&oldval, &sym->curr, sizeof(oldval))) {
359 		sym_set_changed(sym);
360 		if (modules_sym == sym) {
361 			sym_set_all_changed();
362 			modules_val = modules_sym->curr.tri;
363 		}
364 	}
365 
366 	if (sym_is_choice(sym)) {
367 		struct symbol *choice_sym;
368 		int flags = sym->flags & (SYMBOL_CHANGED | SYMBOL_WRITE);
369 
370 		prop = sym_get_choice_prop(sym);
371 		expr_list_for_each_sym(prop->expr, e, choice_sym) {
372 			choice_sym->flags |= flags;
373 			if (flags & SYMBOL_CHANGED)
374 				sym_set_changed(choice_sym);
375 		}
376 	}
377 
378 	if (sym->flags & SYMBOL_AUTO)
379 		sym->flags &= ~SYMBOL_WRITE;
380 }
381 
382 void sym_clear_all_valid(void)
383 {
384 	struct symbol *sym;
385 	int i;
386 
387 	for_all_symbols(i, sym)
388 		sym->flags &= ~SYMBOL_VALID;
389 	sym_add_change_count(1);
390 	if (modules_sym)
391 		sym_calc_value(modules_sym);
392 }
393 
394 void sym_set_changed(struct symbol *sym)
395 {
396 	struct property *prop;
397 
398 	sym->flags |= SYMBOL_CHANGED;
399 	for (prop = sym->prop; prop; prop = prop->next) {
400 		if (prop->menu)
401 			prop->menu->flags |= MENU_CHANGED;
402 	}
403 }
404 
405 void sym_set_all_changed(void)
406 {
407 	struct symbol *sym;
408 	int i;
409 
410 	for_all_symbols(i, sym)
411 		sym_set_changed(sym);
412 }
413 
414 bool sym_tristate_within_range(struct symbol *sym, tristate val)
415 {
416 	int type = sym_get_type(sym);
417 
418 	if (sym->visible == no)
419 		return false;
420 
421 	if (type != S_BOOLEAN && type != S_TRISTATE)
422 		return false;
423 
424 	if (type == S_BOOLEAN && val == mod)
425 		return false;
426 	if (sym->visible <= sym->rev_dep.tri)
427 		return false;
428 	if (sym_is_choice_value(sym) && sym->visible == yes)
429 		return val == yes;
430 	return val >= sym->rev_dep.tri && val <= sym->visible;
431 }
432 
433 bool sym_set_tristate_value(struct symbol *sym, tristate val)
434 {
435 	tristate oldval = sym_get_tristate_value(sym);
436 
437 	if (oldval != val && !sym_tristate_within_range(sym, val))
438 		return false;
439 
440 	if (!(sym->flags & SYMBOL_DEF_USER)) {
441 		sym->flags |= SYMBOL_DEF_USER;
442 		sym_set_changed(sym);
443 	}
444 	/*
445 	 * setting a choice value also resets the new flag of the choice
446 	 * symbol and all other choice values.
447 	 */
448 	if (sym_is_choice_value(sym) && val == yes) {
449 		struct symbol *cs = prop_get_symbol(sym_get_choice_prop(sym));
450 		struct property *prop;
451 		struct expr *e;
452 
453 		cs->def[S_DEF_USER].val = sym;
454 		cs->flags |= SYMBOL_DEF_USER;
455 		prop = sym_get_choice_prop(cs);
456 		for (e = prop->expr; e; e = e->left.expr) {
457 			if (e->right.sym->visible != no)
458 				e->right.sym->flags |= SYMBOL_DEF_USER;
459 		}
460 	}
461 
462 	sym->def[S_DEF_USER].tri = val;
463 	if (oldval != val)
464 		sym_clear_all_valid();
465 
466 	return true;
467 }
468 
469 tristate sym_toggle_tristate_value(struct symbol *sym)
470 {
471 	tristate oldval, newval;
472 
473 	oldval = newval = sym_get_tristate_value(sym);
474 	do {
475 		switch (newval) {
476 		case no:
477 			newval = mod;
478 			break;
479 		case mod:
480 			newval = yes;
481 			break;
482 		case yes:
483 			newval = no;
484 			break;
485 		}
486 		if (sym_set_tristate_value(sym, newval))
487 			break;
488 	} while (oldval != newval);
489 	return newval;
490 }
491 
492 bool sym_string_valid(struct symbol *sym, const char *str)
493 {
494 	signed char ch;
495 
496 	switch (sym->type) {
497 	case S_STRING:
498 		return true;
499 	case S_INT:
500 		ch = *str++;
501 		if (ch == '-')
502 			ch = *str++;
503 		if (!isdigit(ch))
504 			return false;
505 		if (ch == '0' && *str != 0)
506 			return false;
507 		while ((ch = *str++)) {
508 			if (!isdigit(ch))
509 				return false;
510 		}
511 		return true;
512 	case S_HEX:
513 		if (str[0] == '0' && (str[1] == 'x' || str[1] == 'X'))
514 			str += 2;
515 		ch = *str++;
516 		do {
517 			if (!isxdigit(ch))
518 				return false;
519 		} while ((ch = *str++));
520 		return true;
521 	case S_BOOLEAN:
522 	case S_TRISTATE:
523 		switch (str[0]) {
524 		case 'y': case 'Y':
525 		case 'm': case 'M':
526 		case 'n': case 'N':
527 			return true;
528 		}
529 		return false;
530 	default:
531 		return false;
532 	}
533 }
534 
535 bool sym_string_within_range(struct symbol *sym, const char *str)
536 {
537 	struct property *prop;
538 	int val;
539 
540 	switch (sym->type) {
541 	case S_STRING:
542 		return sym_string_valid(sym, str);
543 	case S_INT:
544 		if (!sym_string_valid(sym, str))
545 			return false;
546 		prop = sym_get_range_prop(sym);
547 		if (!prop)
548 			return true;
549 		val = strtol(str, NULL, 10);
550 		return val >= sym_get_range_val(prop->expr->left.sym, 10) &&
551 		       val <= sym_get_range_val(prop->expr->right.sym, 10);
552 	case S_HEX:
553 		if (!sym_string_valid(sym, str))
554 			return false;
555 		prop = sym_get_range_prop(sym);
556 		if (!prop)
557 			return true;
558 		val = strtol(str, NULL, 16);
559 		return val >= sym_get_range_val(prop->expr->left.sym, 16) &&
560 		       val <= sym_get_range_val(prop->expr->right.sym, 16);
561 	case S_BOOLEAN:
562 	case S_TRISTATE:
563 		switch (str[0]) {
564 		case 'y': case 'Y':
565 			return sym_tristate_within_range(sym, yes);
566 		case 'm': case 'M':
567 			return sym_tristate_within_range(sym, mod);
568 		case 'n': case 'N':
569 			return sym_tristate_within_range(sym, no);
570 		}
571 		return false;
572 	default:
573 		return false;
574 	}
575 }
576 
577 bool sym_set_string_value(struct symbol *sym, const char *newval)
578 {
579 	const char *oldval;
580 	char *val;
581 	int size;
582 
583 	switch (sym->type) {
584 	case S_BOOLEAN:
585 	case S_TRISTATE:
586 		switch (newval[0]) {
587 		case 'y': case 'Y':
588 			return sym_set_tristate_value(sym, yes);
589 		case 'm': case 'M':
590 			return sym_set_tristate_value(sym, mod);
591 		case 'n': case 'N':
592 			return sym_set_tristate_value(sym, no);
593 		}
594 		return false;
595 	default:
596 		;
597 	}
598 
599 	if (!sym_string_within_range(sym, newval))
600 		return false;
601 
602 	if (!(sym->flags & SYMBOL_DEF_USER)) {
603 		sym->flags |= SYMBOL_DEF_USER;
604 		sym_set_changed(sym);
605 	}
606 
607 	oldval = sym->def[S_DEF_USER].val;
608 	size = strlen(newval) + 1;
609 	if (sym->type == S_HEX && (newval[0] != '0' || (newval[1] != 'x' && newval[1] != 'X'))) {
610 		size += 2;
611 		sym->def[S_DEF_USER].val = val = malloc(size);
612 		*val++ = '0';
613 		*val++ = 'x';
614 	} else if (!oldval || strcmp(oldval, newval))
615 		sym->def[S_DEF_USER].val = val = malloc(size);
616 	else
617 		return true;
618 
619 	strcpy(val, newval);
620 	free((void *)oldval);
621 	sym_clear_all_valid();
622 
623 	return true;
624 }
625 
626 const char *sym_get_string_value(struct symbol *sym)
627 {
628 	tristate val;
629 
630 	switch (sym->type) {
631 	case S_BOOLEAN:
632 	case S_TRISTATE:
633 		val = sym_get_tristate_value(sym);
634 		switch (val) {
635 		case no:
636 			return "n";
637 		case mod:
638 			return "m";
639 		case yes:
640 			return "y";
641 		}
642 		break;
643 	default:
644 		;
645 	}
646 	return (const char *)sym->curr.val;
647 }
648 
649 bool sym_is_changable(struct symbol *sym)
650 {
651 	return sym->visible > sym->rev_dep.tri;
652 }
653 
654 static unsigned strhash(const char *s)
655 {
656 	/* fnv32 hash */
657 	unsigned hash = 2166136261U;
658 	for (; *s; s++)
659 		hash = (hash ^ *s) * 0x01000193;
660 	return hash;
661 }
662 
663 struct symbol *sym_lookup(const char *name, int flags)
664 {
665 	struct symbol *symbol;
666 	char *new_name;
667 	int hash;
668 
669 	if (name) {
670 		if (name[0] && !name[1]) {
671 			switch (name[0]) {
672 			case 'y': return &symbol_yes;
673 			case 'm': return &symbol_mod;
674 			case 'n': return &symbol_no;
675 			}
676 		}
677 		hash = strhash(name) % SYMBOL_HASHSIZE;
678 
679 		for (symbol = symbol_hash[hash]; symbol; symbol = symbol->next) {
680 			if (symbol->name &&
681 			    !strcmp(symbol->name, name) &&
682 			    (flags ? symbol->flags & flags
683 				   : !(symbol->flags & (SYMBOL_CONST|SYMBOL_CHOICE))))
684 				return symbol;
685 		}
686 		new_name = strdup(name);
687 	} else {
688 		new_name = NULL;
689 		hash = 0;
690 	}
691 
692 	symbol = malloc(sizeof(*symbol));
693 	memset(symbol, 0, sizeof(*symbol));
694 	symbol->name = new_name;
695 	symbol->type = S_UNKNOWN;
696 	symbol->flags |= flags;
697 
698 	symbol->next = symbol_hash[hash];
699 	symbol_hash[hash] = symbol;
700 
701 	return symbol;
702 }
703 
704 struct symbol *sym_find(const char *name)
705 {
706 	struct symbol *symbol = NULL;
707 	int hash = 0;
708 
709 	if (!name)
710 		return NULL;
711 
712 	if (name[0] && !name[1]) {
713 		switch (name[0]) {
714 		case 'y': return &symbol_yes;
715 		case 'm': return &symbol_mod;
716 		case 'n': return &symbol_no;
717 		}
718 	}
719 	hash = strhash(name) % SYMBOL_HASHSIZE;
720 
721 	for (symbol = symbol_hash[hash]; symbol; symbol = symbol->next) {
722 		if (symbol->name &&
723 		    !strcmp(symbol->name, name) &&
724 		    !(symbol->flags & SYMBOL_CONST))
725 				break;
726 	}
727 
728 	return symbol;
729 }
730 
731 struct symbol **sym_re_search(const char *pattern)
732 {
733 	struct symbol *sym, **sym_arr = NULL;
734 	int i, cnt, size;
735 	regex_t re;
736 
737 	cnt = size = 0;
738 	/* Skip if empty */
739 	if (strlen(pattern) == 0)
740 		return NULL;
741 	if (regcomp(&re, pattern, REG_EXTENDED|REG_NOSUB|REG_ICASE))
742 		return NULL;
743 
744 	for_all_symbols(i, sym) {
745 		if (sym->flags & SYMBOL_CONST || !sym->name)
746 			continue;
747 		if (regexec(&re, sym->name, 0, NULL, 0))
748 			continue;
749 		if (cnt + 1 >= size) {
750 			void *tmp = sym_arr;
751 			size += 16;
752 			sym_arr = realloc(sym_arr, size * sizeof(struct symbol *));
753 			if (!sym_arr) {
754 				free(tmp);
755 				return NULL;
756 			}
757 		}
758 		sym_calc_value(sym);
759 		sym_arr[cnt++] = sym;
760 	}
761 	if (sym_arr)
762 		sym_arr[cnt] = NULL;
763 	regfree(&re);
764 
765 	return sym_arr;
766 }
767 
768 
769 static struct symbol *sym_check_expr_deps(struct expr *e)
770 {
771 	struct symbol *sym;
772 
773 	if (!e)
774 		return NULL;
775 	switch (e->type) {
776 	case E_OR:
777 	case E_AND:
778 		sym = sym_check_expr_deps(e->left.expr);
779 		if (sym)
780 			return sym;
781 		return sym_check_expr_deps(e->right.expr);
782 	case E_NOT:
783 		return sym_check_expr_deps(e->left.expr);
784 	case E_EQUAL:
785 	case E_UNEQUAL:
786 		sym = sym_check_deps(e->left.sym);
787 		if (sym)
788 			return sym;
789 		return sym_check_deps(e->right.sym);
790 	case E_SYMBOL:
791 		return sym_check_deps(e->left.sym);
792 	default:
793 		break;
794 	}
795 	printf("Oops! How to check %d?\n", e->type);
796 	return NULL;
797 }
798 
799 /* return NULL when dependencies are OK */
800 static struct symbol *sym_check_sym_deps(struct symbol *sym)
801 {
802 	struct symbol *sym2;
803 	struct property *prop;
804 
805 	sym2 = sym_check_expr_deps(sym->rev_dep.expr);
806 	if (sym2)
807 		return sym2;
808 
809 	for (prop = sym->prop; prop; prop = prop->next) {
810 		if (prop->type == P_CHOICE || prop->type == P_SELECT)
811 			continue;
812 		sym2 = sym_check_expr_deps(prop->visible.expr);
813 		if (sym2)
814 			break;
815 		if (prop->type != P_DEFAULT || sym_is_choice(sym))
816 			continue;
817 		sym2 = sym_check_expr_deps(prop->expr);
818 		if (sym2)
819 			break;
820 	}
821 
822 	return sym2;
823 }
824 
825 static struct symbol *sym_check_choice_deps(struct symbol *choice)
826 {
827 	struct symbol *sym, *sym2;
828 	struct property *prop;
829 	struct expr *e;
830 
831 	prop = sym_get_choice_prop(choice);
832 	expr_list_for_each_sym(prop->expr, e, sym)
833 		sym->flags |= (SYMBOL_CHECK | SYMBOL_CHECKED);
834 
835 	choice->flags |= (SYMBOL_CHECK | SYMBOL_CHECKED);
836 	sym2 = sym_check_sym_deps(choice);
837 	choice->flags &= ~SYMBOL_CHECK;
838 	if (sym2)
839 		goto out;
840 
841 	expr_list_for_each_sym(prop->expr, e, sym) {
842 		sym2 = sym_check_sym_deps(sym);
843 		if (sym2) {
844 			fprintf(stderr, " -> %s", sym->name);
845 			break;
846 		}
847 	}
848 out:
849 	expr_list_for_each_sym(prop->expr, e, sym)
850 		sym->flags &= ~SYMBOL_CHECK;
851 
852 	if (sym2 && sym_is_choice_value(sym2) &&
853 	    prop_get_symbol(sym_get_choice_prop(sym2)) == choice)
854 		sym2 = choice;
855 
856 	return sym2;
857 }
858 
859 struct symbol *sym_check_deps(struct symbol *sym)
860 {
861 	struct symbol *sym2;
862 	struct property *prop;
863 
864 	if (sym->flags & SYMBOL_CHECK) {
865 		fprintf(stderr, "%s:%d:error: found recursive dependency: %s",
866 		        sym->prop->file->name, sym->prop->lineno,
867 			sym->name ? sym->name : "<choice>");
868 		return sym;
869 	}
870 	if (sym->flags & SYMBOL_CHECKED)
871 		return NULL;
872 
873 	if (sym_is_choice_value(sym)) {
874 		/* for choice groups start the check with main choice symbol */
875 		prop = sym_get_choice_prop(sym);
876 		sym2 = sym_check_deps(prop_get_symbol(prop));
877 	} else if (sym_is_choice(sym)) {
878 		sym2 = sym_check_choice_deps(sym);
879 	} else {
880 		sym->flags |= (SYMBOL_CHECK | SYMBOL_CHECKED);
881 		sym2 = sym_check_sym_deps(sym);
882 		sym->flags &= ~SYMBOL_CHECK;
883 	}
884 
885 	if (sym2) {
886 		fprintf(stderr, " -> %s", sym->name ? sym->name : "<choice>");
887 		if (sym2 == sym) {
888 			fprintf(stderr, "\n");
889 			zconfnerrs++;
890 			sym2 = NULL;
891 		}
892 	}
893 
894 	return sym2;
895 }
896 
897 struct property *prop_alloc(enum prop_type type, struct symbol *sym)
898 {
899 	struct property *prop;
900 	struct property **propp;
901 
902 	prop = malloc(sizeof(*prop));
903 	memset(prop, 0, sizeof(*prop));
904 	prop->type = type;
905 	prop->sym = sym;
906 	prop->file = current_file;
907 	prop->lineno = zconf_lineno();
908 
909 	/* append property to the prop list of symbol */
910 	if (sym) {
911 		for (propp = &sym->prop; *propp; propp = &(*propp)->next)
912 			;
913 		*propp = prop;
914 	}
915 
916 	return prop;
917 }
918 
919 struct symbol *prop_get_symbol(struct property *prop)
920 {
921 	if (prop->expr && (prop->expr->type == E_SYMBOL ||
922 			   prop->expr->type == E_LIST))
923 		return prop->expr->left.sym;
924 	return NULL;
925 }
926 
927 const char *prop_get_type_name(enum prop_type type)
928 {
929 	switch (type) {
930 	case P_PROMPT:
931 		return "prompt";
932 	case P_ENV:
933 		return "env";
934 	case P_COMMENT:
935 		return "comment";
936 	case P_MENU:
937 		return "menu";
938 	case P_DEFAULT:
939 		return "default";
940 	case P_CHOICE:
941 		return "choice";
942 	case P_SELECT:
943 		return "select";
944 	case P_RANGE:
945 		return "range";
946 	case P_UNKNOWN:
947 		break;
948 	}
949 	return "unknown";
950 }
951 
952 static void prop_add_env(const char *env)
953 {
954 	struct symbol *sym, *sym2;
955 	struct property *prop;
956 	char *p;
957 
958 	sym = current_entry->sym;
959 	sym->flags |= SYMBOL_AUTO;
960 	for_all_properties(sym, prop, P_ENV) {
961 		sym2 = prop_get_symbol(prop);
962 		if (strcmp(sym2->name, env))
963 			menu_warn(current_entry, "redefining environment symbol from %s",
964 				  sym2->name);
965 		return;
966 	}
967 
968 	prop = prop_alloc(P_ENV, sym);
969 	prop->expr = expr_alloc_symbol(sym_lookup(env, SYMBOL_CONST));
970 
971 	sym_env_list = expr_alloc_one(E_LIST, sym_env_list);
972 	sym_env_list->right.sym = sym;
973 
974 	p = getenv(env);
975 	if (p)
976 		sym_add_default(sym, p);
977 	else
978 		menu_warn(current_entry, "environment variable %s undefined", env);
979 }
980