| commit | 2048d7fbebc057d986d7457a63108a0868a144c0 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Wed, 19 Oct 2016 12:04:45 +0000 (19 14:04 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Wed, 2 Nov 2016 07:18:58 +0000 (2 08:18 +0100) | ||
| tree | 3ba384c1b9e96f32ece477d5c8eb663e2afed00f | treesnapshot (tar.gz zip) |
| parent | 6f38bcffe7fbc7dd5d143e86a2af8065984d0c9d | commitdiff |
isl_map_convex_hull: use consistent space when lineality space is detected
Internally, the space of the input to isl_map_convex_hull is ignored and
the space of the result of the internal computation may be slightly
different from the input to this internal computation. This is usually
not a problem because the space of this internal result is replaced by
that of the input of isl_map_convex_hull.
However, when a lineality space is detected during the incremental
convex hull computation, a partial result is combined with a partial input and
in this case a consistent space should be used to prevent
isl_set_add_basic_set from producing an error message.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Internally, the space of the input to isl_map_convex_hull is ignored and
the space of the result of the internal computation may be slightly
different from the input to this internal computation. This is usually
not a problem because the space of this internal result is replaced by
that of the input of isl_map_convex_hull.
However, when a lineality space is detected during the incremental
convex hull computation, a partial result is combined with a partial input and
in this case a consistent space should be used to prevent
isl_set_add_basic_set from producing an error message.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_convex_hull.c | diffblobblamehistory | |
| isl_test.c | diffblobblamehistory |