projects / platform / upstream / isl.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1e63b4e) | patch
isl_basic_map_overlying_set: don't add div constraints for unknown divs
authorSven Verdoolaege <skimo@kotnet.org>
Sun, 22 Feb 2009 11:22:51 +0000 (12:22 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Sun, 22 Feb 2009 17:01:11 +0000 (18:01 +0100)
commit4bcb615903f5bb5201fa00a81b9e28d0bb0dd664
treec8cfa02695eabca6c00f1b9f9ba218e7b25db62btree | snapshot
parent1e63b4e5d3b17d182983d7ca8fd1a6cc814da398commit | diff
isl_basic_map_overlying_set: don't add div constraints for unknown divs

Constructing div constraints as if the div were known, results in
unsatisfiable constraints.
Perhaps isl_basic_map_overlying_set shouldn't get called with a model
with unknown divs, but we currently allow it.
isl_map.c diff | blob | history
Domain: System / Uncategorized;