+ mark_entity_visited(ent);
+ do_type_walk((type_or_ent *)get_entity_owner(ent), pre, post, env);
+ do_type_walk((type_or_ent *)get_entity_type(ent), pre, post, env);
+
+ if (get_entity_variability(ent) != variability_uninitialized) {
+ /* walk over the value types */
+ if (is_atomic_entity(ent)) {
+ n = get_atomic_ent_value(ent);
+ irn_type_walker(n, pre, post, env);
+ }
+ else {
+ n_mem = get_compound_ent_n_values(ent);
+ for (i = 0; i < n_mem; ++i) {
+ n = get_compound_ent_value(ent, i);
+ irn_type_walker(n, pre, post, env);
+ }
+ }
+ }
+ break;
+ case k_type:
+ mark_type_visited(tp);
+ switch (get_type_tpop_code(tp)) {
+
+ case tpo_class:
+ n_types = get_class_n_supertypes(tp);
+ for (i = 0; i < n_types; ++i)
+ do_type_walk((type_or_ent *)get_class_supertype(tp, i), pre, post, env);
+
+ n_mem = get_class_n_members(tp);
+ for (i = 0; i < n_mem; ++i)
+ do_type_walk((type_or_ent *)get_class_member(tp, i), pre, post, env);
+
+ n_types = get_class_n_subtypes(tp);
+ for (i = 0; i < n_types; ++i)
+ do_type_walk((type_or_ent *)get_class_subtype(tp, i), pre, post, env);
+ break;
+
+ case tpo_struct:
+ n_mem = get_struct_n_members(tp);
+ for (i = 0; i < n_mem; ++i)
+ do_type_walk((type_or_ent *)get_struct_member(tp, i), pre, post, env);
+ break;
+
+ case tpo_method:
+ n_mem = get_method_n_params(tp);
+ for (i = 0; i < n_mem; ++i)
+ do_type_walk((type_or_ent *)get_method_param_type(tp, i), pre, post, env);
+
+ n_mem = get_method_n_ress(tp);
+ for (i = 0; i < n_mem; ++i)
+ do_type_walk((type_or_ent *)get_method_res_type(tp, i), pre, post, env);
+ break;
+
+ case tpo_union:
+ n_mem = get_union_n_members(tp);
+ for (i = 0; i < n_mem; ++i)
+ do_type_walk((type_or_ent *)get_union_member(tp, i), pre, post, env);
+ break;
+
+ case tpo_array:
+ do_type_walk((type_or_ent *)get_array_element_type(tp),
+ pre, post, env);
+ do_type_walk((type_or_ent *)get_array_element_entity(tp),
+ pre, post, env);
+ break;
+
+ case tpo_enumeration:
+ /* a leave */
+ break;
+
+ case tpo_pointer:
+ do_type_walk((type_or_ent *)get_pointer_points_to_type(tp),
+ pre, post, env);
+ break;
+
+ case tpo_primitive:
+ case tpo_id:
+ case tpo_none:
+ case tpo_unknown:
+ /* a leave. */
+ break;
+ default:
+ assert(0 && "Faulty type");
+ break;
+ }
+ break; /* end case k_type */
+
+ default:
+ printf(" *** Faulty type or entity! \n");
+ break;
+ }
+
+ /* execute post method */
+ if (post)
+ post(tore, env);
+
+ return;
+}
+
+/** Check whether node contains types or entities as an attribute.
+ If so start a walk over that information. */
+static void irn_type_walker(
+ ir_node *node, type_walk_func *pre, type_walk_func *post, void *env)
+{
+ symconst_kind kind;
+
+ assert(node);
+
+ switch (get_irn_opcode(node)) { /* node label */
+ case iro_SymConst:
+ kind = get_SymConst_kind(node);
+ if (kind == symconst_type_tag || kind == symconst_size)
+ do_type_walk((type_or_ent *)get_SymConst_type(node), pre, post, env);
+ else if (kind == symconst_addr_ent)
+ do_type_walk((type_or_ent *)get_SymConst_entity(node), pre, post, env);
+ break;
+ case iro_Sel:
+ do_type_walk((type_or_ent *)get_Sel_entity(node), pre, post, env);
+ break;
+ case iro_Call:
+ do_type_walk((type_or_ent *)get_Call_type(node), pre, post, env);
+ break;
+ case iro_Alloc:
+ do_type_walk((type_or_ent *)get_Alloc_type(node), pre, post, env);
+ break;
+ case iro_Free:
+ do_type_walk((type_or_ent *)get_Free_type(node), pre, post, env);
+ break;
+ case iro_Cast:
+ do_type_walk((type_or_ent *)get_Cast_type(node), pre, post, env);
+ break;
+ default:
+ break;
+ }
+}
+
+/** Check whether node contains types or entities as an attribute.
+ If so start a walk over that information. */
+static void start_type_walk(ir_node *node, void *ctx) {
+ type_walk_env *env = ctx;
+ type_walk_func *pre;
+ type_walk_func *post;
+ void *envi;
+
+ pre = env->pre;
+ post = env->post;
+ envi = env->env;
+
+ irn_type_walker(node, pre, post, envi);
+}
+
+/* walker: walks over all types */
+void type_walk(type_walk_func *pre, type_walk_func *post, void *env) {
+ int i, n_types = get_irp_n_types();
+
+ inc_master_type_visited();
+ for (i = 0; i < n_types; ++i) {
+ do_type_walk((type_or_ent *)get_irp_type(i), pre, post, env);
+ }
+ do_type_walk((type_or_ent *)get_glob_type(), pre, post, env);
+}