summaryrefslogtreecommitdiffhomepage
path: root/ir/ident
diff options
context:
space:
mode:
authorMatthias Braun <matze@braunis.de>2011-12-15 16:19:45 +0100
committerMatthias Braun <matze@braunis.de>2011-12-19 17:34:38 +0100
commit86d52903da8846456936ce528f72a0d738861a73 (patch)
tree7b3b6a5a23ab9b935ce31e65871d53737bfead64 /ir/ident
parent274626e2d58cfa247b88ee05adaca8906b025d93 (diff)
plug more leaks
Diffstat (limited to 'ir/ident')
-rw-r--r--ir/ident/ident_t.h2
-rw-r--r--ir/ident/mangle.c5
2 files changed, 7 insertions, 0 deletions
diff --git a/ir/ident/ident_t.h b/ir/ident/ident_t.h
index a70cae9..74332f7 100644
--- a/ir/ident/ident_t.h
+++ b/ir/ident/ident_t.h
@@ -40,4 +40,6 @@ void finish_ident(void);
/** initializes the name mangling code */
void firm_init_mangle(void);
+void firm_finish_mangle(void);
+
#endif
diff --git a/ir/ident/mangle.c b/ir/ident/mangle.c
index 2d68d85..f9b3ed1 100644
--- a/ir/ident/mangle.c
+++ b/ir/ident/mangle.c
@@ -156,3 +156,8 @@ void firm_init_mangle(void)
{
obstack_init(&mangle_obst);
}
+
+void firm_finish_mangle(void)
+{
+ obstack_free(&mangle_obst, NULL);
+}