isl_id_alloc: allow isl_ids with the same name but different user value
commit2e839aaaed4326ba34dc1f6a055b30fd025a8d3b
authorSven Verdoolaege <skimo@kotnet.org>
Mon, 31 Oct 2011 16:53:12 +0000 (31 17:53 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Mon, 31 Oct 2011 19:31:09 +0000 (31 20:31 +0100)
tree33c96c731f2965c6296e35025368493e3654a51c
parent68da710d190291ebd0fe96f8cf69874301442051
isl_id_alloc: allow isl_ids with the same name but different user value

Although isl_ids were documented as being identified by the pair
of name and pointer value, this was not implemented as such.
Instead, only the name was taken into account.

This commit fixes isl_id_alloc to also take into account the user value.
We also avoid dereferencing possible NULL names.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_id.c