| commit | a4d79e58fa4077f88b5242631f016a554ddc9c31 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Sat, 3 Mar 2012 22:52:06 +0000 (3 23:52 +0100) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Tue, 6 Mar 2012 13:27:03 +0000 (6 14:27 +0100) | ||
| tree | 5a41ca7d76c27e4a7ae396bbdc4e8d984dda4d02 | treesnapshot (tar.gz zip) |
| parent | 0ab70da6b1e6dffbab0dc7fd6269d5fbd619e4fe | commitdiff |
isl_union_map_is_subset: properly handle non-obviously empty subsets
If the first argument of isl_union_map_is_subset contains an empty
set in some space that is not present in the second argument,
then isl_union_map_is_subset would incorrectly draw the conclusion
that the first is not a subset of the second.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
If the first argument of isl_union_map_is_subset contains an empty
set in some space that is not present in the second argument,
then isl_union_map_is_subset would incorrectly draw the conclusion
that the first is not a subset of the second.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_union_map.c | diffblobblamehistory |