| commit | 0ab70da6b1e6dffbab0dc7fd6269d5fbd619e4fe | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Thu, 23 Feb 2012 14:51:59 +0000 (23 15:51 +0100) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Thu, 23 Feb 2012 15:20:35 +0000 (23 16:20 +0100) | ||
| tree | 431cefef0163b4c24e0495c08d4601f468cec1c7 | treesnapshot (tar.gz zip) |
| parent | b7c226dd56c931af95e5b1c3eeabb27e18bcc086 | commitdiff |
isl_coalesce.c: wrap_in_facets: bail out if any of the facets are empty
It the tableau corresponding to a facet is empty, then we don't have
accurate information on the ridges and we can't call add_wraps.
The facet can have no integer points due to other constraints.
An alternative would be to temporarily treat the tableau as a rational
tableau.
Reported-by: Tobias Grosser <tobias@grosser.es>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
It the tableau corresponding to a facet is empty, then we don't have
accurate information on the ridges and we can't call add_wraps.
The facet can have no integer points due to other constraints.
An alternative would be to temporarily treat the tableau as a rational
tableau.
Reported-by: Tobias Grosser <tobias@grosser.es>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_coalesce.c | diffblobblamehistory | |
| isl_test.c | diffblobblamehistory |