isl_space_map_from_set: accept NULL pointer on zero-size allocation
commita2288f66e67f44efee4ce44c4c8d81dab75299a3
authorSven Verdoolaege <skimo@kotnet.org>
Wed, 26 Apr 2017 12:36:13 +0000 (26 14:36 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Wed, 26 Apr 2017 12:41:14 +0000 (26 14:41 +0200)
tree48175f027f5024ed43c80735eab4921a12a8d95e
parent25e7996d749d64fd30c1bddd22264b2bf90100b3
isl_space_map_from_set: accept NULL pointer on zero-size allocation

Or rather, skip the allocation if it is not needed.
The input of isl_space_map_from_set may have been derived from
a space with identifiers that have subsequently been removed.
The ids field may therefore be different from NULL, despite
having a total dimension of zero.

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