| commit | b9cdf9ef6761627e264ab1cfefbf6b46a40fce8c | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Fri, 24 Jun 2016 09:30:38 +0000 (24 11:30 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Mon, 19 Dec 2016 09:05:20 +0000 (19 10:05 +0100) | ||
| tree | 335aac96eddeca990ab329c8b08395be43397b6b | treesnapshot (tar.gz zip) |
| parent | 8f93f6798b8d089d911466e0253750edf104a414 | commitdiff |
isl_local_space_get_div: handle presence of unknown local variables
The original implementation would only check that the integer
division has a (partial) explicit representation. However, it
would not check if the explicit representation is complete and
it would fail if any of the other local variables do not have
an explicit representation.
Properly check that the explicit representation is complete and
drop local variables without an explicit representation such
that the result can be constructed.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
The original implementation would only check that the integer
division has a (partial) explicit representation. However, it
would not check if the explicit representation is complete and
it would fail if any of the other local variables do not have
an explicit representation.
Properly check that the explicit representation is complete and
drop local variables without an explicit representation such
that the result can be constructed.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_local_space.c | diffblobblamehistory |