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_ast_codegen.c: generate_sorted_domains: avoid invalid access on error
[platform/upstream/isl.git]
/
isl_morph.c
diff --git
a/isl_morph.c
b/isl_morph.c
index
bd5733d
..
b5bfa18
100644
(file)
--- a/
isl_morph.c
+++ b/
isl_morph.c
@@
-1,7
+1,7
@@
/*
* Copyright 2010 INRIA Saclay
*
/*
* Copyright 2010 INRIA Saclay
*
- * Use of this software is governed by the
GNU LGPLv2.1
license
+ * Use of this software is governed by the
MIT
license
*
* Written by Sven Verdoolaege, INRIA Saclay - Ile-de-France,
* Parc Club Orsay Universite, ZAC des vignes, 4 rue Jacques Monod,
*
* Written by Sven Verdoolaege, INRIA Saclay - Ile-de-France,
* Parc Club Orsay Universite, ZAC des vignes, 4 rue Jacques Monod,
@@
-520,7
+520,7
@@
__isl_give isl_morph *isl_basic_set_parameter_compression(
H = isl_mat_right_inverse(H);
if (!H || !d)
goto error;
H = isl_mat_right_inverse(H);
if (!H || !d)
goto error;
-
isl_seq_set(d->el, H->row[0][0], d->size
);
+
d = isl_vec_set(d, H->row[0][0]
);
H = isl_mat_drop_rows(H, 0, 1);
H = isl_mat_drop_cols(H, 0, 1);
B = isl_mat_product(H, B);
H = isl_mat_drop_rows(H, 0, 1);
H = isl_mat_drop_cols(H, 0, 1);
B = isl_mat_product(H, B);
@@
-581,6
+581,7
@@
static __isl_give isl_basic_set *add_strides(__isl_take isl_basic_set *bset,
div = isl_basic_set_alloc_div(bset);
if (div < 0)
goto error;
div = isl_basic_set_alloc_div(bset);
if (div < 0)
goto error;
+ isl_int_set_si(bset->div[div][0], 0);
k = isl_basic_set_alloc_equality(bset);
if (k < 0)
goto error;
k = isl_basic_set_alloc_equality(bset);
if (k < 0)
goto error;