summaryrefslogtreecommitdiffhomepage
path: root/ir/ident
diff options
context:
space:
mode:
authorChristoph Mallon <mallon@cs.uni-saarland.de>2015-01-28 08:47:46 +0100
committerChristoph Mallon <mallon@cs.uni-saarland.de>2015-01-28 12:46:09 +0100
commit388843af547bdbd89334ea69a9230e42954aa3e1 (patch)
tree4b6021143f02154ed3cdfcb26aab4a1536ac9c0f /ir/ident
parentaf027d188a378eef5737c9b370d7ff901136e02e (diff)
ident: Use new_id_fmt() instead of snprintf() + new_id_from_str().
Diffstat (limited to 'ir/ident')
-rw-r--r--ir/ident/ident.c6
1 files changed, 1 insertions, 5 deletions
diff --git a/ir/ident/ident.c b/ir/ident/ident.c
index 60acc79..4cbddde 100644
--- a/ir/ident/ident.c
+++ b/ir/ident/ident.c
@@ -73,9 +73,5 @@ void finish_ident(void)
ident *id_unique(const char *tag)
{
static unsigned unique_id = 0;
- char buf[256];
-
- snprintf(buf, sizeof(buf), tag, unique_id);
- unique_id++;
- return new_id_from_str(buf);
+ return new_id_fmt(tag, unique_id++);
}