isl_map_intersect: detect empty result also in case of adding a single constraint
commitbbbd38bb6ed26e4297e86de22a4318b9c50d62b9
authorSven Verdoolaege <skimo@kotnet.org>
Sat, 20 Feb 2010 23:03:57 +0000 (21 00:03 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Thu, 4 Mar 2010 09:03:48 +0000 (4 10:03 +0100)
treed1548b7173546dc0a2b91bf88362c470e367d3a6
parent49845b4279bb8c3560058f670c32d15dd6664a75
isl_map_intersect: detect empty result also in case of adding a single constraint

Commit ed3b444 (isl_map_intersect: add special case for adding a single
constraint) added a special case of adding a single constraint but
neglected to detect an empty result in this special case.
isl_map.c