isl_input.c: basic_map_read: check type of result returned by obj_read
commit24b2e7841aef872a4b1984852eac03518c03d7ec
authorSven Verdoolaege <skimo@kotnet.org>
Fri, 19 Sep 2014 08:12:18 +0000 (19 10:12 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Fri, 19 Sep 2014 08:12:18 +0000 (19 10:12 +0200)
tree6ac256a2210f58456d350a95bd7d3314f9e16055
parentfec3bd302f36a36ea1df489f9d1d5bed014b1e08
isl_input.c: basic_map_read: check type of result returned by obj_read

Ever since 67fc9fa (add isl_stream_read_obj, Fri Feb 19 13:11:21 2010 +0100),
we simply assume that this result is either a set or a map (or NULL),
which was true back then, but since then obj_read has been modified
to return several different kinds of objects so we need to check
if the returned object is indeed a set or a map.

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