| commit | c98b1bcd6b69c6bb1fb31d019c10e28cb5b2812a | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Sun, 14 Oct 2012 14:38:21 +0000 (14 16:38 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Sun, 14 Oct 2012 14:38:21 +0000 (14 16:38 +0200) | ||
| tree | 1e2ebf7f1afeb57d7ded68ad42543f4354001bec | treesnapshot (tar.gz zip) |
| parent | 662b20a5d9869f6e09975cc045209070ecee427c | commitdiff |
isl_map_plain_is_disjoint: handle inputs with different parameters
In particular, make sure we do not call isl_basic_map_plain_is_disjoint
if the input relations do not have the same parameters.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
In particular, make sure we do not call isl_basic_map_plain_is_disjoint
if the input relations do not have the same parameters.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_map_simplify.c | diffblobblamehistory |