DEFINE_PROCESS_UDATA_ATTRIBUTE(byte_size)
 DEFINE_PROCESS_UDATA_ATTRIBUTE(encoding)
 
+/* Match functions -- die_match_callback_t */
+#define DEFINE_MATCH(type)                                     \
+       static bool match_##type##_type(Dwarf_Die *die)        \
+       {                                                      \
+               return dwarf_tag(die) == DW_TAG_##type##_type; \
+       }
+
+DEFINE_MATCH(formal_parameter)
+
 bool match_all(Dwarf_Die *die)
 {
        return true;
        Dwarf_Die current;
        int res;
 
+       /* Track the first item in lists. */
+       if (state)
+               state->first_list_item = true;
+
        res = checkp(dwarf_child(die, ¤t));
        while (!res) {
                if (match(¤t)) {
                        /* <0 = error, 0 = continue, >0 = stop */
                        res = checkp(func(state, cache, ¤t));
                        if (res)
-                               return res;
+                               goto out;
                }
 
                res = checkp(dwarf_siblingof(¤t, ¤t));
        }
 
-       return 0;
+       res = 0;
+out:
+       if (state)
+               state->first_list_item = false;
+
+       return res;
 }
 
 static int process_type(struct state *state, struct die *parent,
        process(cache, "base_type void");
 }
 
+static void process_list_comma(struct state *state, struct die *cache)
+{
+       if (state->first_list_item) {
+               state->first_list_item = false;
+       } else {
+               process(cache, " ,");
+               process_linebreak(cache, 0);
+       }
+}
+
+/* Comma-separated with DW_AT_type */
+static void __process_list_type(struct state *state, struct die *cache,
+                               Dwarf_Die *die, const char *type)
+{
+       const char *name = get_name_attr(die);
+
+       process_list_comma(state, cache);
+       process(cache, type);
+       process_type_attr(state, cache, die);
+       if (name) {
+               process(cache, " ");
+               process(cache, name);
+       }
+}
+
+#define DEFINE_PROCESS_LIST_TYPE(type)                                       \
+       static void process_##type##_type(struct state *state,               \
+                                         struct die *cache, Dwarf_Die *die) \
+       {                                                                    \
+               __process_list_type(state, cache, die, #type " ");           \
+       }
+
+DEFINE_PROCESS_LIST_TYPE(formal_parameter)
+
 /* Container types with DW_AT_type */
 static void __process_type(struct state *state, struct die *cache,
                           Dwarf_Die *die, const char *type)
 DEFINE_PROCESS_TYPE(volatile)
 DEFINE_PROCESS_TYPE(typedef)
 
+static void __process_subroutine_type(struct state *state, struct die *cache,
+                                     Dwarf_Die *die, const char *type)
+{
+       process(cache, type);
+       process(cache, " (");
+       process_linebreak(cache, 1);
+       /* Parameters */
+       check(process_die_container(state, cache, die, process_type,
+                                   match_formal_parameter_type));
+       process_linebreak(cache, -1);
+       process(cache, ")");
+       process_linebreak(cache, 0);
+       /* Return type */
+       process(cache, "-> ");
+       process_type_attr(state, cache, die);
+}
+
+static void process_subroutine_type(struct state *state, struct die *cache,
+                                   Dwarf_Die *die)
+{
+       __process_subroutine_type(state, cache, die, "subroutine_type");
+}
+
 static void process_base_type(struct state *state, struct die *cache,
                              Dwarf_Die *die)
 {
        PROCESS_TYPE(rvalue_reference)
        PROCESS_TYPE(shared)
        PROCESS_TYPE(volatile)
+       /* Subtypes */
+       PROCESS_TYPE(formal_parameter)
        /* Other types */
        PROCESS_TYPE(base)
+       PROCESS_TYPE(subroutine)
        PROCESS_TYPE(typedef)
        default:
                debug("unimplemented type: %x", tag);
 static int __process_subprogram(struct state *state, struct die *cache,
                                Dwarf_Die *die)
 {
-       process(cache, "subprogram");
+       __process_subroutine_type(state, cache, die, "subprogram");
        return 0;
 }