isl_map_{domain,range}_product: remove possible obvious duplicates
commit0fd368bf7969741d5fd60fed4a18d6a39eb6e49b
authorSven Verdoolaege <skimo@kotnet.org>
Fri, 9 May 2014 14:30:06 +0000 (9 16:30 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Thu, 4 Sep 2014 12:32:20 +0000 (4 14:32 +0200)
treeaf177946f01520c099ad2d11af673a9456dcd3f0
parentcd4d976f819add4061840aa00b4cd2cb75174fb3
isl_map_{domain,range}_product: remove possible obvious duplicates

If the inputs of isl_map_domain_product or isl_map_range_product
have the same non-disjoint range or domain, then the result may
contain duplicates.  Remove the obvious cases.

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