projects / platform / upstream / isl.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d17afdd) | patch
isl_map_is_subset: a map cannot be as subset of a map in a different space
authorSven Verdoolaege <skimo@kotnet.org>
Wed, 10 Aug 2011 08:17:54 +0000 (10:17 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Wed, 10 Aug 2011 10:10:27 +0000 (12:10 +0200)
commit0c49639375e79641e9ffc0b972584e2820da587d
treeb7c3b3a3646d422eb655d730476a4a7b38ee286etree | snapshot
parentd17afdd1f5e49c0c5dcf6a6e0687330dcdc8e6bfcommit | diff
isl_map_is_subset: a map cannot be as subset of a map in a different space

The only debatable case is that of an empty map, which in principle
could be considered to be a subset of any map.  This patch considers
empty maps not to be subsets of maps in other spaces.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_map_subtract.c diff | blob | history
isl_test.c diff | blob | history
Domain: System / Uncategorized;