| commit | 893e50dbc6eeb4f199532a216d0613ccd2e8600b | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Wed, 17 Feb 2016 10:03:27 +0000 (17 11:03 +0100) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Mon, 22 Feb 2016 14:59:49 +0000 (22 15:59 +0100) | ||
| tree | 7e6d8a78e7490ffb9e83f39bc0091e3874fae02e | treesnapshot (tar.gz zip) |
| parent | 8070dbad4c60d5a4b40215d9c03f280ce07b1c00 | commitdiff |
isl_transitive_closure.c: empty_path_is_identity: call gauss on constructed map
The constructed basic map is passed to isl_basic_map_is_equal, which may
internally assume that Gaussian elimination has been applied to the equality
constraints. The missing call to isl_basic_map_gauss does not appear to cause
any problems now, but it might do so in the future when isl_basic_map_is_equal
gets changed.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
The constructed basic map is passed to isl_basic_map_is_equal, which may
internally assume that Gaussian elimination has been applied to the equality
constraints. The missing call to isl_basic_map_gauss does not appear to cause
any problems now, but it might do so in the future when isl_basic_map_is_equal
gets changed.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_transitive_closure.c | diffblobblamehistory |