102 void menu_add_dep(struct expr *dep)  in menu_add_dep()  argument
104 	current_entry->dep = expr_alloc_and(current_entry->dep, menu_check_dep(dep));  in menu_add_dep()
122 …uct property *menu_add_prop(enum prop_type type, char *prompt, struct expr *expr, struct expr *dep)  in menu_add_prop()  argument
128 	prop->visible.expr = menu_check_dep(dep);  in menu_add_prop()
145 struct property *menu_add_prompt(enum prop_type type, char *prompt, struct expr *dep)  in menu_add_prompt()  argument
147 	return menu_add_prop(type, prompt, NULL, dep);  in menu_add_prompt()
150 void menu_add_expr(enum prop_type type, struct expr *expr, struct expr *dep)  in menu_add_expr()  argument
152 	menu_add_prop(type, NULL, expr, dep);  in menu_add_expr()
155 void menu_add_symbol(enum prop_type type, struct symbol *sym, struct expr *dep)  in menu_add_symbol()  argument
157 	menu_add_prop(type, NULL, expr_alloc_symbol(sym), dep);  in menu_add_symbol()
233 	struct expr *parentdep, *basedep, *dep, *dep2, **ep;  in menu_finalize()  local
252 			parentdep = parent->dep;  in menu_finalize()
255 			basedep = expr_transform(menu->dep);  in menu_finalize()
258 			menu->dep = basedep;  in menu_finalize()
266 				dep = expr_transform(prop->visible.expr);  in menu_finalize()
267 				dep = expr_alloc_and(expr_copy(basedep), dep);  in menu_finalize()
268 				dep = expr_eliminate_dups(dep);  in menu_finalize()
270 					dep = expr_trans_bool(dep);  in menu_finalize()
271 				prop->visible.expr = dep;  in menu_finalize()
275 							expr_alloc_and(expr_alloc_symbol(menu->sym), expr_copy(dep)));  in menu_finalize()
287 			dep = menu->prompt ? menu->prompt->visible.expr : menu->dep;  in menu_finalize()
288 			if (!expr_contains_symbol(dep, sym))  in menu_finalize()
290 			if (expr_depends_symbol(dep, sym))  in menu_finalize()
292 			dep = expr_trans_compare(dep, E_UNEQUAL, &symbol_no);  in menu_finalize()
293 			dep = expr_eliminate_dups(expr_transform(dep));  in menu_finalize()
295 			expr_eliminate_eq(&dep, &dep2);  in menu_finalize()
296 			expr_free(dep);  in menu_finalize()