summaryrefslogtreecommitdiffhomepage
path: root/ir/ident
diff options
context:
space:
mode:
authorMichael Beck <beck@ipd.info.uni-karlsruhe.de>2008-04-30 13:50:20 +0200
committerMichael Beck <beck@ipd.info.uni-karlsruhe.de>2008-04-30 13:50:20 +0200
commitbc79a622b9bb6d5802fd836f1af697a35f70963f (patch)
treed4ee11ea0b5861514dcb8c695a3b35b1264464e1 /ir/ident
parentf98168f632912cb97ed79c4f02cdb49e9083ac92 (diff)
add a comment that memcmp is not hostile here
[r19466]
Diffstat (limited to 'ir/ident')
-rw-r--r--ir/ident/ident.c1
1 files changed, 1 insertions, 0 deletions
diff --git a/ir/ident/ident.c b/ir/ident/ident.c
index b8cbd83..47838da 100644
--- a/ir/ident/ident.c
+++ b/ir/ident/ident.c
@@ -282,6 +282,7 @@ void init_ident(ident_if_t *id_if, int initial_n_idents)
impl.get_id_wcslen = set_get_id_wcslen;
#endif /* FIRM_ENABLE_WCHAR */
+ /* it's ok to use memcmp here, we check only strings */
impl.handle = new_set(memcmp, initial_n_idents);
}
}