projects / platform / upstream / isl.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 150e387) | patch
isl_map_subtract: handle duplicate divs in subtrahend
authorSven Verdoolaege <skimo@kotnet.org>
Mon, 13 Aug 2012 16:42:04 +0000 (18:42 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Mon, 13 Aug 2012 16:42:04 +0000 (18:42 +0200)
commitc292a3c9e8eaaae427abdfb0964c86767f3a390a
treed7eec333d06fcfdf3002081e073db55a7274a38etree | snapshot
parent150e387007aeb304a0d0e755e5254376899e5367commit | diff
isl_map_subtract: handle duplicate divs in subtrahend

A simplified basic map is not expected to have duplicate divs,
but it may still happen if a div is discovered by isl_basic_map_gauss
without subsequently being compared to other divs.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_map_subtract.c diff | blob | history
Domain: System / Uncategorized;