1 // SPDX-License-Identifier: GPL-2.0
3  * Copyright (C) 2002 Roman Zippel <zippel@linux-m68k.org>
47 	enum symbol_type type = sym->type;  in sym_get_type()
74  * sym_get_prompt_menu - get the menu entry with a prompt
84 	list_for_each_entry(m, &sym->menus, link)  in sym_get_prompt_menu()
85 		if (m->prompt)  in sym_get_prompt_menu()
92  * sym_get_choice_menu - get the parent choice menu if present
111 		menu = menu->parent;  in sym_get_choice_menu()
112 	} while (menu && !menu->sym);  in sym_get_choice_menu()
114 	if (menu && menu->sym && sym_is_choice(menu->sym))  in sym_get_choice_menu()
125 		prop->visible.tri = expr_calc_value(prop->visible.expr);  in sym_get_default_prop()
126 		if (prop->visible.tri != no)  in sym_get_default_prop()
137 		prop->visible.tri = expr_calc_value(prop->visible.expr);  in sym_get_range_prop()
138 		if (prop->visible.tri != no)  in sym_get_range_prop()
147 	switch (sym->type) {  in sym_get_range_val()
154 	default:  in sym_get_range_val()
157 	return strtoll(sym->curr.val, NULL, base);  in sym_get_range_val()
167 	switch (sym->type) {  in sym_validate_range()
174 	default:  in sym_validate_range()
180 	val = strtoll(sym->curr.val, NULL, base);  in sym_validate_range()
181 	range_sym = prop->expr->left.sym;  in sym_validate_range()
184 		range_sym = prop->expr->right.sym;  in sym_validate_range()
189 	sym->curr.val = range_sym->curr.val;  in sym_validate_range()
196 	list_for_each_entry(menu, &sym->menus, link)  in sym_set_changed()
197 		menu->flags |= MENU_CHANGED;  in sym_set_changed()
211 	tristate tri;  in sym_calc_visibility()  local
214 	tri = no;  in sym_calc_visibility()
216 		prop->visible.tri = expr_calc_value(prop->visible.expr);  in sym_calc_visibility()
217 		tri = EXPR_OR(tri, prop->visible.tri);  in sym_calc_visibility()
219 	if (tri == mod && (sym->type != S_TRISTATE || modules_val == no))  in sym_calc_visibility()
220 		tri = yes;  in sym_calc_visibility()
221 	if (sym->visible != tri) {  in sym_calc_visibility()
222 		sym->visible = tri;  in sym_calc_visibility()
228 	tri = yes;  in sym_calc_visibility()
229 	if (sym->dir_dep.expr)  in sym_calc_visibility()
230 		tri = expr_calc_value(sym->dir_dep.expr);  in sym_calc_visibility()
231 	if (tri == mod && sym_get_type(sym) == S_BOOLEAN)  in sym_calc_visibility()
232 		tri = yes;  in sym_calc_visibility()
233 	if (sym->dir_dep.tri != tri) {  in sym_calc_visibility()
234 		sym->dir_dep.tri = tri;  in sym_calc_visibility()
237 	tri = no;  in sym_calc_visibility()
238 	if (sym->rev_dep.expr)  in sym_calc_visibility()
239 		tri = expr_calc_value(sym->rev_dep.expr);  in sym_calc_visibility()
240 	if (tri == mod && sym_get_type(sym) == S_BOOLEAN)  in sym_calc_visibility()
241 		tri = yes;  in sym_calc_visibility()
242 	if (sym->rev_dep.tri != tri) {  in sym_calc_visibility()
243 		sym->rev_dep.tri = tri;  in sym_calc_visibility()
246 	tri = no;  in sym_calc_visibility()
247 	if (sym->implied.expr)  in sym_calc_visibility()
248 		tri = expr_calc_value(sym->implied.expr);  in sym_calc_visibility()
249 	if (tri == mod && sym_get_type(sym) == S_BOOLEAN)  in sym_calc_visibility()
250 		tri = yes;  in sym_calc_visibility()
251 	if (sym->implied.tri != tri) {  in sym_calc_visibility()
252 		sym->implied.tri = tri;  in sym_calc_visibility()
258  * Find the default symbol for a choice.
259  * First try the default values for the choice symbol
270 	for_all_defaults(choice->sym, prop) {  in sym_choice_default()
271 		prop->visible.tri = expr_calc_value(prop->visible.expr);  in sym_choice_default()
272 		if (prop->visible.tri == no)  in sym_choice_default()
275 		if (def_sym->visible != no)  in sym_choice_default()
281 		if (menu->sym && menu->sym->visible != no)  in sym_choice_default()
282 			return menu->sym;  in sym_choice_default()
289  * sym_calc_choice - calculate symbol values in a choice
302 	list_for_each_entry(sym, &choice->choice_members, choice_link) {  in sym_calc_choice()
304 		if (sym->visible == no)  in sym_calc_choice()
308 		if (sym_has_value(sym) && sym->def[S_DEF_USER].tri == yes) {  in sym_calc_choice()
315 	 * If 'y' is not found in the user input, use the default, unless it is  in sym_calc_choice()
320 		if (res && sym_has_value(res) && res->def[S_DEF_USER].tri == no)  in sym_calc_choice()
324 	/* Still not found. Pick up the first visible, user-unspecified symbol. */  in sym_calc_choice()
327 			sym = menu->sym;  in sym_calc_choice()
329 			if (!sym || sym->visible == no || sym_has_value(sym))  in sym_calc_choice()
342 		list_for_each_entry_reverse(sym, &choice->choice_members,  in sym_calc_choice()
344 			if (sym->visible == no)  in sym_calc_choice()
355 		sym = menu->sym;  in sym_calc_choice()
357 		if (!sym || sym->visible == no)  in sym_calc_choice()
362 		if (sym->curr.tri != val)  in sym_calc_choice()
365 		sym->curr.tri = val;  in sym_calc_choice()
366 		sym->flags |= SYMBOL_VALID | SYMBOL_WRITE;  in sym_calc_choice()
378 		   sym->name);  in sym_warn_unmet_dep()
381 		   sym->dir_dep.tri == mod ? 'm' : 'n');  in sym_warn_unmet_dep()
382 	expr_gstr_print(sym->dir_dep.expr, &gs);  in sym_warn_unmet_dep()
385 	expr_gstr_print_revdep(sym->rev_dep.expr, &gs, yes,  in sym_warn_unmet_dep()
387 	expr_gstr_print_revdep(sym->rev_dep.expr, &gs, mod,  in sym_warn_unmet_dep()
411 	if (sym->flags & SYMBOL_VALID)  in sym_calc_value()
414 	sym->flags |= SYMBOL_VALID;  in sym_calc_value()
416 	oldval = sym->curr;  in sym_calc_value()
418 	newval.tri = no;  in sym_calc_value()
420 	switch (sym->type) {  in sym_calc_value()
434 	default:  in sym_calc_value()
435 		sym->curr.val = sym->name;  in sym_calc_value()
436 		sym->curr.tri = no;  in sym_calc_value()
439 	sym->flags &= ~SYMBOL_WRITE;  in sym_calc_value()
443 	if (sym->visible != no)  in sym_calc_value()
444 		sym->flags |= SYMBOL_WRITE;  in sym_calc_value()
446 	/* set default if recursively called */  in sym_calc_value()
447 	sym->curr = newval;  in sym_calc_value()
456 			newval.tri = sym->curr.tri;  in sym_calc_value()
458 			if (sym->visible != no) {  in sym_calc_value()
460 				 * if available, otherwise try the default value  in sym_calc_value()
463 					newval.tri = EXPR_AND(sym->def[S_DEF_USER].tri,  in sym_calc_value()
464 							      sym->visible);  in sym_calc_value()
468 			if (sym->rev_dep.tri != no)  in sym_calc_value()
469 				sym->flags |= SYMBOL_WRITE;  in sym_calc_value()
473 					newval.tri = EXPR_AND(expr_calc_value(prop->expr),  in sym_calc_value()
474 							      prop->visible.tri);  in sym_calc_value()
475 					if (newval.tri != no)  in sym_calc_value()
476 						sym->flags |= SYMBOL_WRITE;  in sym_calc_value()
478 				if (sym->implied.tri != no) {  in sym_calc_value()
479 					sym->flags |= SYMBOL_WRITE;  in sym_calc_value()
480 					newval.tri = EXPR_OR(newval.tri, sym->implied.tri);  in sym_calc_value()
481 					newval.tri = EXPR_AND(newval.tri,  in sym_calc_value()
482 							      sym->dir_dep.tri);  in sym_calc_value()
486 			if (sym->dir_dep.tri < sym->rev_dep.tri)  in sym_calc_value()
488 			newval.tri = EXPR_OR(newval.tri, sym->rev_dep.tri);  in sym_calc_value()
490 		if (newval.tri == mod && sym_get_type(sym) == S_BOOLEAN)  in sym_calc_value()
491 			newval.tri = yes;  in sym_calc_value()
496 		if (sym->visible != no && sym_has_value(sym)) {  in sym_calc_value()
497 			newval.val = sym->def[S_DEF_USER].val;  in sym_calc_value()
504 				sym->flags |= SYMBOL_WRITE;  in sym_calc_value()
506 				newval.val = ds->curr.val;  in sym_calc_value()
510 	default:  in sym_calc_value()
514 	sym->curr = newval;  in sym_calc_value()
517 	if (memcmp(&oldval, &sym->curr, sizeof(oldval))) {  in sym_calc_value()
521 			modules_val = modules_sym->curr.tri;  in sym_calc_value()
526 		sym->flags &= ~SYMBOL_WRITE;  in sym_calc_value()
534 		sym->flags &= ~SYMBOL_VALID;  in sym_clear_all_valid()
544 	if (sym->visible == no)  in sym_tristate_within_range()
552 	if (sym->visible <= sym->rev_dep.tri)  in sym_tristate_within_range()
554 	return val >= sym->rev_dep.tri && val <= sym->visible;  in sym_tristate_within_range()
564 	if (!(sym->flags & SYMBOL_DEF_USER) || sym->def[S_DEF_USER].tri != val) {  in sym_set_tristate_value()
565 		sym->def[S_DEF_USER].tri = val;  in sym_set_tristate_value()
566 		sym->flags |= SYMBOL_DEF_USER;  in sym_set_tristate_value()
577  * choice_set_value - set the user input to a choice
590 		if (!menu->sym)  in choice_set_value()
593 		if (menu->sym->visible == no)  in choice_set_value()
596 		val = menu->sym == sym ? yes : no;  in choice_set_value()
598 		if (menu->sym->curr.tri != val)  in choice_set_value()
601 		menu->sym->def[S_DEF_USER].tri = val;  in choice_set_value()
602 		menu->sym->flags |= SYMBOL_DEF_USER;  in choice_set_value()
612 		list_move(&menu->sym->choice_link, &choice->choice_members);  in choice_set_value()
653 	switch (sym->type) {  in sym_string_valid()
658 		if (ch == '-')  in sym_string_valid()
687 	default:  in sym_string_valid()
697 	switch (sym->type) {  in sym_string_within_range()
707 		return val >= sym_get_range_val(prop->expr->left.sym, 10) &&  in sym_string_within_range()
708 		       val <= sym_get_range_val(prop->expr->right.sym, 10);  in sym_string_within_range()
716 		return val >= sym_get_range_val(prop->expr->left.sym, 16) &&  in sym_string_within_range()
717 		       val <= sym_get_range_val(prop->expr->right.sym, 16);  in sym_string_within_range()
729 	default:  in sym_string_within_range()
740 	switch (sym->type) {  in sym_set_string_value()
752 	default:  in sym_set_string_value()
759 	if (!(sym->flags & SYMBOL_DEF_USER)) {  in sym_set_string_value()
760 		sym->flags |= SYMBOL_DEF_USER;  in sym_set_string_value()
764 	oldval = sym->def[S_DEF_USER].val;  in sym_set_string_value()
766 	if (sym->type == S_HEX && (newval[0] != '0' || (newval[1] != 'x' && newval[1] != 'X'))) {  in sym_set_string_value()
768 		sym->def[S_DEF_USER].val = val = xmalloc(size);  in sym_set_string_value()
772 		sym->def[S_DEF_USER].val = val = xmalloc(size);  in sym_set_string_value()
784  * Find the default value associated to a symbol.
787  * If the symbol does not have any default then fallback
788  * to the fixed default values.
799 	val = symbol_no.curr.tri;  in sym_get_string_default()
801 	/* If symbol has a default value look it up */  in sym_get_string_default()
804 		switch (sym->type) {  in sym_get_string_default()
808 			val = EXPR_AND(expr_calc_value(prop->expr), prop->visible.tri);  in sym_get_string_default()
810 		default:  in sym_get_string_default()
813 			 * where a default value is further limited by  in sym_get_string_default()
819 				str = (const char *)ds->curr.val;  in sym_get_string_default()
825 	val = EXPR_OR(val, sym->rev_dep.tri);  in sym_get_string_default()
829 		if (!sym_is_choice_value(sym) && modules_sym->curr.tri == no)  in sym_get_string_default()
833 	if (sym->type == S_BOOLEAN && val == mod)  in sym_get_string_default()
836 	/* adjust the default value if this symbol is implied by another */  in sym_get_string_default()
837 	if (val < sym->implied.tri)  in sym_get_string_default()
838 		val = sym->implied.tri;  in sym_get_string_default()
840 	switch (sym->type) {  in sym_get_string_default()
856 	default:  in sym_get_string_default()
866 	switch (sym->type) {  in sym_get_string_value()
879 	default:  in sym_get_string_value()
882 	return (const char *)sym->curr.val;  in sym_get_string_value()
887 	return !sym_is_choice(sym) && sym->visible > sym->rev_dep.tri;  in sym_is_changeable()
892 	return !list_empty(&sym->choice_link);  in sym_is_choice_value()
914 			if (symbol->name &&  in sym_lookup()
915 			    !strcmp(symbol->name, name) &&  in sym_lookup()
916 			    (flags ? symbol->flags & flags  in sym_lookup()
917 				   : !(symbol->flags & SYMBOL_CONST)))  in sym_lookup()
928 	symbol->name = new_name;  in sym_lookup()
929 	symbol->type = S_UNKNOWN;  in sym_lookup()
930 	symbol->flags = flags;  in sym_lookup()
931 	INIT_LIST_HEAD(&symbol->menus);  in sym_lookup()
932 	INIT_LIST_HEAD(&symbol->choice_link);  in sym_lookup()
934 	hash_add(sym_hashtable, &symbol->node, hash);  in sym_lookup()
957 		if (symbol->name &&  in sym_find()
958 		    !strcmp(symbol->name, name) &&  in sym_find()
959 		    !(symbol->flags & SYMBOL_CONST))  in sym_find()
972  * - first, symbols that match exactly
973  * - then, alphabetical sort
982 	 * - if matched length on symbol s1 is the length of that symbol,  in sym_rel_comp()
984 	 * - if matched length on symbol s2 is the length of that symbol,  in sym_rel_comp()
990 	exact1 = (s1->eo - s1->so) == strlen(s1->sym->name);  in sym_rel_comp()
991 	exact2 = (s2->eo - s2->so) == strlen(s2->sym->name);  in sym_rel_comp()
993 		return -1;  in sym_rel_comp()
998 	return strcmp(s1->sym->name, s2->sym->name);  in sym_rel_comp()
1017 		if (sym->flags & SYMBOL_CONST || !sym->name)  in sym_re_search()
1019 		if (regexec(&re, sym->name, 1, match, 0))  in sym_re_search()
1071 		check_top->next = stack;  in dep_stack_insert()
1072 	stack->prev = check_top;  in dep_stack_insert()
1073 	stack->sym = sym;  in dep_stack_insert()
1079 	check_top = check_top->prev;  in dep_stack_remove()
1081 		check_top->next = NULL;  in dep_stack_remove()
1087  * the ->prev pointer to locate the bottom of the stack.
1100 		last_sym = choice->sym;  in sym_check_print_recursive()
1103 	for (stack = check_top; stack != NULL; stack = stack->prev)  in sym_check_print_recursive()
1104 		if (stack->sym == last_sym)  in sym_check_print_recursive()
1111 	for (; stack; stack = stack->next) {  in sym_check_print_recursive()
1112 		sym = stack->sym;  in sym_check_print_recursive()
1113 		next_sym = stack->next ? stack->next->sym : last_sym;  in sym_check_print_recursive()
1114 		type = stack->prop ? stack->prop->type : P_UNKNOWN;  in sym_check_print_recursive()
1116 		if (stack->sym == last_sym)  in sym_check_print_recursive()
1120 			choice = list_first_entry(&next_sym->menus, struct menu, link);  in sym_check_print_recursive()
1123 				sym->name ? sym->name : "<choice>",  in sym_check_print_recursive()
1124 				choice->filename, choice->lineno);  in sym_check_print_recursive()
1125 		} else if (stack->expr == &sym->dir_dep.expr) {  in sym_check_print_recursive()
1127 				sym->name ? sym->name : "<choice>",  in sym_check_print_recursive()
1128 				next_sym->name);  in sym_check_print_recursive()
1129 		} else if (stack->expr == &sym->rev_dep.expr) {  in sym_check_print_recursive()
1131 				sym->name, next_sym->name);  in sym_check_print_recursive()
1132 		} else if (stack->expr == &sym->implied.expr) {  in sym_check_print_recursive()
1134 				sym->name, next_sym->name);  in sym_check_print_recursive()
1135 		} else if (stack->expr) {  in sym_check_print_recursive()
1137 				sym->name ? sym->name : "<choice>",  in sym_check_print_recursive()
1139 				next_sym->name);  in sym_check_print_recursive()
1142 				sym->name ? sym->name : "<choice>",  in sym_check_print_recursive()
1144 				next_sym->name);  in sym_check_print_recursive()
1149 		"For a resolution refer to Documentation/kbuild/kconfig-language.rst\n"  in sym_check_print_recursive()
1163 	switch (e->type) {  in sym_check_expr_deps()
1166 		sym = sym_check_expr_deps(e->left.expr);  in sym_check_expr_deps()
1169 		return sym_check_expr_deps(e->right.expr);  in sym_check_expr_deps()
1171 		return sym_check_expr_deps(e->left.expr);  in sym_check_expr_deps()
1178 		sym = sym_check_deps(e->left.sym);  in sym_check_expr_deps()
1181 		return sym_check_deps(e->right.sym);  in sym_check_expr_deps()
1183 		return sym_check_deps(e->left.sym);  in sym_check_expr_deps()
1184 	default:  in sym_check_expr_deps()
1187 	fprintf(stderr, "Oops! How to check %d?\n", e->type);  in sym_check_expr_deps()
1200 	stack.expr = &sym->dir_dep.expr;  in sym_check_sym_deps()
1201 	sym2 = sym_check_expr_deps(sym->dir_dep.expr);  in sym_check_sym_deps()
1205 	stack.expr = &sym->rev_dep.expr;  in sym_check_sym_deps()
1206 	sym2 = sym_check_expr_deps(sym->rev_dep.expr);  in sym_check_sym_deps()
1210 	stack.expr = &sym->implied.expr;  in sym_check_sym_deps()
1211 	sym2 = sym_check_expr_deps(sym->implied.expr);  in sym_check_sym_deps()
1217 	for (prop = sym->prop; prop; prop = prop->next) {  in sym_check_sym_deps()
1218 		if (prop->type == P_SELECT || prop->type == P_IMPLY)  in sym_check_sym_deps()
1221 		sym2 = sym_check_expr_deps(prop->visible.expr);  in sym_check_sym_deps()
1224 		if (prop->type != P_DEFAULT || sym_is_choice(sym))  in sym_check_sym_deps()
1226 		stack.expr = &prop->expr;  in sym_check_sym_deps()
1227 		sym2 = sym_check_expr_deps(prop->expr);  in sym_check_sym_deps()
1247 	choice_menu = list_first_entry(&choice->menus, struct menu, link);  in sym_check_choice_deps()
1250 		if (menu->sym)  in sym_check_choice_deps()
1251 			menu->sym->flags |= SYMBOL_CHECK | SYMBOL_CHECKED;  in sym_check_choice_deps()
1254 	choice->flags |= (SYMBOL_CHECK | SYMBOL_CHECKED);  in sym_check_choice_deps()
1256 	choice->flags &= ~SYMBOL_CHECK;  in sym_check_choice_deps()
1261 		if (!menu->sym)  in sym_check_choice_deps()
1263 		sym2 = sym_check_sym_deps(menu->sym);  in sym_check_choice_deps()
1269 		if (menu->sym)  in sym_check_choice_deps()
1270 			menu->sym->flags &= ~SYMBOL_CHECK;  in sym_check_choice_deps()
1290 	if (sym->flags & SYMBOL_CHECK) {  in sym_check_deps()
1294 	if (sym->flags & SYMBOL_CHECKED)  in sym_check_deps()
1303 		sym2 = sym_check_deps(choice->sym);  in sym_check_deps()
1308 		sym->flags |= (SYMBOL_CHECK | SYMBOL_CHECKED);  in sym_check_deps()
1310 		sym->flags &= ~SYMBOL_CHECK;  in sym_check_deps()
1318 	if (prop->expr && prop->expr->type == E_SYMBOL)  in prop_get_symbol()
1319 		return prop->expr->left.sym;  in prop_get_symbol()
1333 		return "default";  in prop_get_type_name()