1 files changed, 35 insertions, 3 deletions

diff --git a/scripts/kconfig/menu.c b/scripts/kconfig/menu.c
index e6ef171e5b14..fdad17367f61 100644
--- a/scripts/kconfig/menu.c
+++ b/scripts/kconfig/menu.c
@@ -242,9 +242,11 @@ void menu_finalize(struct menu *parent)
                         for (menu = parent->list; menu; menu = menu->next) {
                                 if (menu->sym) {
                                         current_entry = parent;
-                                        menu_set_type(menu->sym->type);
+                                        if (sym->type == S_UNKNOWN)
+                                                menu_set_type(menu->sym->type);
                                         current_entry = menu;
-                                        menu_set_type(sym->type);
+                                        if (menu->sym->type == S_UNKNOWN)
+                                                menu_set_type(sym->type);
                                         break;
                                 }
                         }
@@ -329,7 +331,37 @@ void menu_finalize(struct menu *parent)
                                             "values not supported");
                         }
                         current_entry = menu;
-                        menu_set_type(sym->type);
+                        if (menu->sym->type == S_UNKNOWN)
+                                menu_set_type(sym->type);
+                        /* Non-tristate choice values of tristate choices must
+                         * depend on the choice being set to Y. The choice
+                         * values' dependencies were propagated to their
+                         * properties above, so the change here must be re-
+                         * propagated. */
+                        if (sym->type == S_TRISTATE && menu->sym->type != S_TRISTATE) {
+                                basedep = expr_alloc_comp(E_EQUAL, sym, &symbol_yes);
+                                basedep = expr_alloc_and(basedep, menu->dep);
+                                basedep = expr_eliminate_dups(basedep);
+                                menu->dep = basedep;
+                                for (prop = menu->sym->prop; prop; prop = prop->next) {
+                                        if (prop->menu != menu)
+                                                continue;
+                                        dep = expr_alloc_and(expr_copy(basedep),
+                                                             prop->visible.expr);
+                                        dep = expr_eliminate_dups(dep);
+                                        dep = expr_trans_bool(dep);
+                                        prop->visible.expr = dep;
+                                        if (prop->type == P_SELECT) {
+                                                struct symbol *es = prop_get_symbol(prop);
+                                                dep2 = expr_alloc_symbol(menu->sym);
+                                                dep = expr_alloc_and(dep2,
+                                                                     expr_copy(dep));
+                                                dep = expr_alloc_or(es->rev_dep.expr, dep);
+                                                dep = expr_eliminate_dups(dep);
+                                                es->rev_dep.expr = dep;
+                                        }
+                                }
+                        }
                         menu_add_symbol(P_CHOICE, sym, NULL);
                         prop = sym_get_choice_prop(sym);
                         for (ep = &prop->expr; *ep; ep = &(*ep)->left.expr)