add isl_id_set_free_user
authorSven Verdoolaege <skimo@kotnet.org>
Mon, 10 Sep 2012 12:23:40 +0000 (14:23 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Tue, 18 Sep 2012 13:08:22 +0000 (15:08 +0200)
commitf4f57da3f20b0a47381d34e7f5d663c012926ff4
tree9f77a390e76a91781bc44b845cba9d6dbb7f199c
parent554e4d0ca049892d9c799adedcbd3b27017bd496
add isl_id_set_free_user

Allow the user to specify a callback to be called on the user pointer
when the last reference to the isl_id disappears.  This is convenient
for attaching dynamically allocated data structures to isl_ids,
especially in annotations to AST nodes.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
doc/user.pod
include/isl/id.h
isl_id.c
isl_id_private.h