| commit | 363829e49d41061a306fc23018fc429149006c23 | |
| author | Sven Verdoolaege <sven.verdoolaege@gmail.com> | |
| Mon, 11 Jun 2018 14:05:00 +0000 (11 16:05 +0200) | ||
| committer | Sven Verdoolaege <sven.verdoolaege@gmail.com> | |
| Mon, 11 Jun 2018 20:53:10 +0000 (11 22:53 +0200) | ||
| tree | fa88f318cdbbebf52ce173dab48fd48f27d8e4dc | treesnapshot (tar.gz zip) |
| parent | 8f581da808b29631c7016d2a38e5251bfe97f2ba | commitdiff |
isl_map_intersect: add missing isl_map_unmark_normalized
When a single constraint gets added to a convex map,
the intersection is performed in-place.
Since a constraint gets added to the basic map
without a subsequent normalization of this basic map,
the containing map can no longer be assumed to be normalized.
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
When a single constraint gets added to a convex map,
the intersection is performed in-place.
Since a constraint gets added to the basic map
without a subsequent normalization of this basic map,
the containing map can no longer be assumed to be normalized.
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
| isl_map.c | diffblobblamehistory |