| commit | d588904e93ad078e7c226856724f61f523083cd9 | |
| author | Tobias Grosser <tobias@grosser.es> | |
| Wed, 22 Jul 2015 05:36:55 +0000 (22 07:36 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Wed, 22 Jul 2015 08:12:40 +0000 (22 10:12 +0200) | ||
| tree | 888acb2789a4294506803d1f1d547c8cd02526bc | treesnapshot (tar.gz zip) |
| parent | 2735d4e21746fdd89ff900d8d09d6178551c3953 | commitdiff |
isl_simple_hull: check for empty/single-disjunct map _after_ detect_equalities
Add an additional check for empty/single-disjunct maps _after_ the
call to isl_map_detect_equalities. This is important as
detect_equalities may remove all disjuncts, but the following code
relies on the map having at least one disjunct.
Signed-off-by: Tobias Grosser <tobias@grosser.es>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Add an additional check for empty/single-disjunct maps _after_ the
call to isl_map_detect_equalities. This is important as
detect_equalities may remove all disjuncts, but the following code
relies on the map having at least one disjunct.
Signed-off-by: Tobias Grosser <tobias@grosser.es>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_convex_hull.c | diffblobblamehistory | |
| isl_test.c | diffblobblamehistory |