projects
/
platform
/
upstream
/
isl.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Merge branch 'maint'
[platform/upstream/isl.git]
/
isl_morph.c
diff --git
a/isl_morph.c
b/isl_morph.c
index
5232ae6
..
8a526e7
100644
(file)
--- a/
isl_morph.c
+++ b/
isl_morph.c
@@
-631,6
+631,9
@@
__isl_give isl_basic_set *isl_morph_basic_set(__isl_take isl_morph *morph,
res = add_strides(res, morph);
+ if (isl_basic_set_is_rational(bset))
+ res = isl_basic_set_set_rational(res);
+
res = isl_basic_set_simplify(res);
res = isl_basic_set_finalize(res);