projects
/
platform
/
upstream
/
isl.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
isl_local_space_substitute_equalities: improve error message
[platform/upstream/isl.git]
/
isl_local_space.c
diff --git
a/isl_local_space.c
b/isl_local_space.c
index
c9d6d75
..
a8e5eba
100644
(file)
--- a/
isl_local_space.c
+++ b/
isl_local_space.c
@@
-728,7
+728,7
@@
__isl_give isl_local_space *isl_local_space_substitute_equalities(
total = isl_space_dim(eq->dim, isl_dim_all);
if (isl_local_space_dim(ls, isl_dim_all) != total)
isl_die(isl_local_space_get_ctx(ls), isl_error_invalid,
total = isl_space_dim(eq->dim, isl_dim_all);
if (isl_local_space_dim(ls, isl_dim_all) != total)
isl_die(isl_local_space_get_ctx(ls), isl_error_invalid,
- "
dimension
s don't match", goto error);
+ "
space
s don't match", goto error);
total++;
n_div = eq->n_div;
for (i = 0; i < eq->n_eq; ++i) {
total++;
n_div = eq->n_div;
for (i = 0; i < eq->n_eq; ++i) {
@@
-1107,7
+1107,7
@@
__isl_give isl_local_space *isl_local_space_preimage_multi_aff(
continue;
}
isl_seq_preimage(res->div->row[n_div_ma + i], ls->div->row[i],
continue;
}
isl_seq_preimage(res->div->row[n_div_ma + i], ls->div->row[i],
-
ma
, n_div_ma, n_div_ls, f, c1, c2, g, 1);
+
ma, 0, 0
, n_div_ma, n_div_ls, f, c1, c2, g, 1);
normalize_div(res, n_div_ma + i);
}
normalize_div(res, n_div_ma + i);
}