repo.or.cz
/
isl.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
isl_tab.c: add_div_constraints: return isl_stat
2017-01-25
Sven Verdoo
l
aege
i
s
l_tab
.
c
:
add_div_con
s
trai
n
ts: r
e
t
u
rn is
l
_stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
S
ven Verdoolaege
i
sl_t
a
b
.
c
:
perform_undo:
ret
u
rn
isl_st
a
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
S
v
e
n
Verdoolaege
isl_tab_c
a
llback
.
run: retur
n
i
sl_stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
S
v
en V
e
rdoolaege
isl_
t
ab
.
c: perform_u
n
do_v
a
r:
r
et
u
rn is
l
_s
t
at
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven
V
e
rd
o
olaege
isl
_
ta
b
.
c:
u
n
unrestrict: re
t
urn isl_stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
S
v
en Verdoolaege
isl_
t
ab
.
c: u
n
rel
a
x: re
t
urn isl
_
stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven V
e
rdoolaege
isl_tab
.
c: drop
_
row: return is
l
_st
a
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Ve
r
d
o
olaeg
e
isl_
t
ab
.
c: drop_col: retu
r
n
isl_stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoolaege
isl_t
a
b
_track
_
b
s
et:
r
eturn
isl_stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
S
ven Verdool
a
e
g
e
isl_tab_trac
k
_bm
a
p: return isl_sta
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verd
o
o
l
aege
i
s
l_t
a
b
_add_ineq: return isl_stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven
Verdo
o
laege
isl_tab
_
ma
r
k
_e
m
p
t
y: ret
u
rn isl_stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sv
e
n Ve
r
doolaege
i
s
l
_
f
o
ld
.
c: join_compatible:
r
etu
r
n is
l
_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
S
ven
V
erd
o
ola
e
ge
isl_fold
.
c:
jo
i
n_compa
t
ibl
e
:
a
d
just to isl_s
p
a
c
e
_ma
t
c
h
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verd
o
olaeg
e
isl_fold
.
c: join_compatible: rename "dim" ar
g
uments
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoo
l
aeg
e
isl_*_ma
t
c
h
ing_params: return i
s
l_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven
V
erdoolaege
isl_*_matchin
g
_p
a
rams: adjust
t
o isl_spa
c
e
_
m
a
t
ch
r
eturning
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sve
n
Verdoolaege
isl_space
.
c: match: return
isl_bo
o
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
S
ven
Verdo
o
laege
isl_
p
olynomial
.
c: compati
b
le_divs: return isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sve
n
Verd
o
o
laeg
e
isl_mat_is_equal: return isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verd
o
o
l
aege
is
l
_map_co
n
tains_point: return isl_boo
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Ve
r
doolaege
isl_vertices
.
c; bset
_
cover
s
_
t
ab:
r
eturn
isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven
V
e
r
doolaege
isl_transitive_closure
.
c:
isl_s
e
t
_
overl
a
ps: r
e
turn
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven
Verdoolaege
isl_t
r
ansitive_closure
.
c: parametric_con
s
ta
n
t_never_
p
ositive
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Ve
r
doolaege
isl_
t
ransi
t
ive
_
closure
.
c: is_eq_stride: return i
s
l_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoola
e
ge
isl_scheduler
.
c: has
_
any_
d
efining_equality: return
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoolae
g
e
isl
_
pw_*_has_equa
l
_space: ret
u
rn isl_boo
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
S
v
en Verdoolaeg
e
isl_pw_templ
.
c
: any_divs: return is
l
_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoo
l
aege
i
sl_tab_p
i
p
.
c
:
p
a
rall
e
l_constrain
t
s: return isl_
b
o
o
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
S
v
en Verdool
a
e
g
e
isl_tab_pip
.
c: need_s
p
lit*:
r
et
u
rn isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven
V
erdool
a
ege
is
l
_se
t
_is_bounded
:
return isl_
b
ool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoola
e
g
e
i
s
l_coalesce
.
c:
c
on
t
ain
s
:
return isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdool
a
ege
isl_coalesce
.
c: s
a
me_divs: return isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven
Verdoolae
g
e
isl_coalesce
.
c: same_divs: adjust to isl_basi
c
_map_divs_k
n
ow
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven V
e
rdoolaeg
e
i
sl_coalesce
.
c: is_affected: return
i
s
l
_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdo
o
laege
i
s
l
_coalesc
e
.
c
: has_n
e
sted_div: retur
n
isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Ver
d
o
o
la
e
ge
i
sl_map_
p
lain_is_si
n
g
leton
:
r
eturn isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sve
n
Verdoolaege
i
sl_basic_
m
ap_plain_is_
s
ingleton: ret
u
rn isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sv
e
n V
e
r
d
oolaege
i
s
l
_
set_has_ratio
n
al: r
e
turn i
s
l_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sv
e
n Verdoola
e
ge
isl_map_h
a
s_rational: return isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
S
v
e
n
Verdo
o
l
aege
isl_basic_map_ha
s
_ra
t
ional:
r
eturn isl_b
o
ol
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoolaege
isl_bas
i
c_map_is_rational: return
i
sl
_
bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoolaege
isl_basic_set_has_d
e
fining_i
n
e
q
ua
l
ities: return
i
sl_
b
o
ol
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven
Ve
r
d
o
olae
g
e
isl_
b
asic_set_has_defi
n
ing_e
q
u
a
lity: ret
u
rn
i
sl_b
o
ol
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sv
e
n Verdoo
l
aege
isl_basic_
m
ap
_
has_
d
efining_equality
:
retu
r
n i
s
l_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
S
v
e
n Ver
d
oolaege
isl_basi
c
_{map,set}_is_div_con
s
tr
a
int:
return isl
_
bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoolaeg
e
isl_
m
a
p
_simplify
.
c: s
i
ngl
e
_
unknown: r
e
turn
i
sl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoola
e
ge
i
s
l
_map_
s
i
mplify
.
c: ha
s
_
c
o
e
f
_
o
ne
:
return
isl
_
boo
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoolaege
isl
_
ma
p
_simplify
.
c:
i
s_
o
ppo
s
ite:
return isl_boo
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoolaeg
e
is
l
_
m
a
p
_s
i
mplify
.
c
:
div_is_redundant: return isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven V
e
rdoolaege
isl_map_simplify
.
c: better_div_constra
i
nt: return isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoolaege
isl_
m
a
p_simp
l
ify
.
c
:
ok_to_set_di
v
_from_bound: return
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sve
n
Verdoolaege
isl_ma
p
_simplify
.
c: ok_to_eliminate_div: return isl_b
o
o
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
S
v
en Ver
d
oo
l
ae
g
e
isl_map_simplify
.
c: fix typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdo
o
laege
isl_set_plain_is_fixed: return i
s
l_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sve
n
Verd
o
olaege
is
l
_ma
p
_
plain_is_fixe
d
: return
i
sl_
b
ool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verd
o
o
l
aege
isl_basic_ma
p
_plain_is
_
fixed: r
e
turn isl_
b
ool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdoola
e
ge
i
sl_ma
p
_plain_h
a
s
_
f
i
x
ed
_
var:
retu
r
n
i
sl
_
bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verd
o
olaege
isl_basic
_
map_
i
m
age_i
s
_bounded: re
t
u
rn isl_bo
o
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdoolaege
isl_basic
_
map_i
m
age_is_bou
n
ded:
adjust to isl
_
b
a
sic_s
e
t_is_b
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sve
n
Verd
o
olaege
isl_set_dim_is_b
o
u
nd
e
d:
return isl_b
o
ol
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
S
v
en Ve
r
doolaege
isl_map_dim_is_
b
ounded
:
return isl_b
o
ol
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sve
n
V
e
rd
o
o
l
aege
isl_bas
i
c_map_dim_is_bounded: re
t
urn isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
S
v
e
n Verdoo
l
a
e
ge
isl_map_is_set: return isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sv
e
n
V
er
d
oolaege
isl_m
a
p
_
i
s
_par
a
ms:
r
et
u
rn isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdoolaege
i
sl_m
a
p
_compatible_ran
g
e: return isl_
b
ool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdoolaege
isl_map_com
p
atible
_
domain: r
e
turn isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
S
v
e
n
Verdoolaege
isl_map_compa
t
i
ble_
d
o
mai
n
: add memory
m
a
n
ageme
n
t annota
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdoolaeg
e
iisl
_
set_has_equal_space: return isl_bo
o
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sve
n
Verdoolaege
isl_
m
ap_ha
s
_equal_sp
a
ce: return isl_bo
o
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven
V
erdoolaege
isl_set_is_box
:
return isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven
Verdoolaege
isl_ba
s
ic_
s
et_
i
s_box:
r
eturn isl_
b
ool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven
V
erdoolaege
isl_basic_s
e
t
_
pla
i
n_dim_i
s
_fix
e
d: return isl_b
o
ol
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sve
n
Ver
d
oolaege
is
l
_b
a
sic_map_plain
_
has_fixed_var: return
i
sl_bo
o
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdoolaeg
e
isl_m
a
p
.
c: div_may_involve_output: return is
l
_
bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verd
o
olaege
isl_map
.
c: div_involv
e
s_v
a
rs: return isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
S
ven
V
erd
o
ola
e
ge
isl_basic_map_may_be_set: return isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdoolaege
isl
_
basic_set_is_params: return isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
S
v
en Verdo
o
la
e
g
e
isl_
b
a
sic_
m
ap
_
c
o
mpatible_ra
n
ge: return isl
_
bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdoolaege
isl_basic_
m
ap_co
m
patib
l
e_range: add memory manag
e
ment
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sve
n
V
e
rdoolaege
isl_basic_map_is_set: return
i
sl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdoolaege
i
s
l_local_space_is_div_
c
onstr
a
int: return isl_bo
o
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
S
v
en Verdoo
l
ae
g
e
isl_lo
c
al_space_is_nam
e
d_or_
n
es
t
ed: r
e
t
u
rn
i
sl_bo
o
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdoolaege
is
l
_space_has_named_params: r
e
turn isl
_
bo
o
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sv
e
n Verd
o
o
l
ae
g
e
i
s
l_
s
pace_has_na
m
ed_params: rename "dim" argument
to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven Ve
r
doolaege
i
s
l_space_ma
y
_be_set: retu
r
n isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdoolaege
isl_sp
a
c
e
_is_named
_
or
_
nested: return i
s
l_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdoolaege
isl_
s
p
a
ce
_
may
_
be_set: r
e
name "d
i
m" arg
u
me
n
t to "space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdo
o
l
a
ege
isl_s
p
ace_is_nam
e
d_or_
n
ested: r
e
nam
e
"dim" argument
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-18
Sven Verdool
a
ege
Merg
e
b
ra
n
ch 'maint'
commit
|
commitdiff
|
tree
2017-01-18
Sven V
e
rdo
o
laege
isl_basic_map_contains: return false
i
n ca
s
e
o
f dimension
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-18
Sven Verdool
a
ege
isl_tab_pip
.
c: cont
e
xt_ta
b
_for_l
e
xmi
n
:
plug mem
o
r
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-18
Sven
V
erdoolaege
isl_basic_s
e
t_box_from_
p
oi
n
ts: plu
g
memor
y
leak on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-18
S
v
en Verdoolaeg
e
isl
_
set_bound
e
d_simple_hull: plug
m
e
mory leak on
error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-18
Sven V
e
rdoolaege
isl
_
map_simpl
i
fy
.
c:
n
o
r
mal
i
ze_divs:
plug memory
l
eak
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-18
S
v
en Verdoolaege
isl
_
map_simpli
f
y
.
c: coalesce_or_
d
rop_more_redundant_divs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-18
S
ven Verdool
a
ege
isl_b
a
si
c
_
se
t
_solve_ilp: avoid
d
oubl
e
f
r
e
e on error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-18
S
v
en Verdoo
l
aege
isl_ver
t
ic
e
s
.
c:
triangulate:
imp
r
ove er
r
or handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-18
S
v
en Verd
o
ol
a
eg
e
isl_farka
s
.
c: farkas: impr
o
ve error handl
i
n
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-18
Sven Verdoolae
g
e
isl_basic_map_simplify: impr
o
ve error handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next