| commit | 4fa299bf5c0c1322b2562b5d44ff2aed7ed02d84 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Fri, 11 Dec 2015 11:40:17 +0000 (11 12:40 +0100) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Fri, 11 Dec 2015 11:40:17 +0000 (11 12:40 +0100) | ||
| tree | 3c1467ef7fe85d5f56e8bdf3b97338b0558aeb73 | treesnapshot (tar.gz zip) |
| parent | 321de0057f23be5188b8b45ad256bf52884aa86a | commitdiff |
isl_map_power: fix partitioned Floyd-Warshall implementation
When floyd_warshall_with_groups is used to compute the power relation
(i.e., when "project" is not set), then the space of the elements
in the constructed grid is different from the space of the input.
Initialize the union of the elements in the grid as an empty
map with the correct space.
The incorrect initialization has been there all along,
but the difference in space was ignored until commit
19ff2b8 (isl_map_union_disjoint: check spaces before handling
special cases, Thu Apr 24 11:04:13 2014 +0200).
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
When floyd_warshall_with_groups is used to compute the power relation
(i.e., when "project" is not set), then the space of the elements
in the constructed grid is different from the space of the input.
Initialize the union of the elements in the grid as an empty
map with the correct space.
The incorrect initialization has been there all along,
but the difference in space was ignored until commit
19ff2b8 (isl_map_union_disjoint: check spaces before handling
special cases, Thu Apr 24 11:04:13 2014 +0200).
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_test.c | diffblobblamehistory | |
| isl_transitive_closure.c | diffblobblamehistory |