| commit | dfb595409e82fbfb070f70a81bc881d8163b2303 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Tue, 16 Apr 2013 09:49:05 +0000 (16 11:49 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Mon, 22 Apr 2013 07:38:19 +0000 (22 09:38 +0200) | ||
| tree | 2f1121504695cfec704a3cd864215d012b8fdd57 | treesnapshot (tar.gz zip) |
| parent | 156e2dba0e4a1a4a36a0e160895ca2a949a7f890 | commitdiff |
isl_map_simplify.c: div_is_redundant: ignore coefficients of unknown divs
If a div is unknown, then its coefficients are undefined so we should
not take them into account while checking if some other div is redundant.
In rare cases, looking at those undefined coefficients could result
in system dependent behavior.
Reported-by: Tobias Grosser <tobias@grosser.es>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
If a div is unknown, then its coefficients are undefined so we should
not take them into account while checking if some other div is redundant.
In rare cases, looking at those undefined coefficients could result
in system dependent behavior.
Reported-by: Tobias Grosser <tobias@grosser.es>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_map_simplify.c | diffblobblamehistory |