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_affine_hull.c: outside_point: fix error handling
2010-06-26
Sve
n
Verdoolaege
isl_aff
i
ne_
h
u
ll
.
c
: o
u
tside_point:
f
ix er
r
or handling
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_t
a
b_ro
l
l
b
ack: avoid doubl
e
fre
e
on erro
r
path
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_ta
b
.
c
: tab_ma
t
_pr
o
duct
:
avoid
N
U
L
L point
e
r
de
r
e
f
e
r
en
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdo
o
l
aeg
e
isl
_
tab_e
x
ten
d
_cons: avoid NUL
L
pointer d
e
re
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
erdoolae
g
e
implement a
n
ti
q
uated isl_bas
i
c_set_n
_
* in terms
o
f
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
eg
e
i
sl
_
map_conve
x
_hu
l
l:
av
o
id NUL
L
pointe
r
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_tab_add_valid_
e
q: return int i
n
s
tead of isl_t
a
b *
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_affine_hul
l
.
c: af
f
in
e
_hull_
w
ith_cone: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_equalities
.
c: p
a
rameter_com
p
ress
i
on_multi: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
i
s
l_basic_map
_
projec
t
_
o
ut: avoid NULL point
e
r d
e
r
eference
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
r
doo
l
aeg
e
i
sl_coa
l
esce
.
c: coalesce_pair: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoola
e
ge
isl_c
o
nve
x
_
h
ull
.
c: e
x
tend: fix erro
r
handling
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
rdoo
l
aege
implement
antiquated isl
_
set_
n
_* in terms of i
s
l
_s
e
t_dim
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
Ve
r
doolaege
i
sl_
m
ap_
s
implify
.
c: normalize_di
v
s: avoid NULL pointe
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
i
s
l_input
.
c: vars_dr
o
p:
f
ix er
r
or
h
a
ndling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_con
v
ex_hull
.
c: u
s
et_convex_hull_w
r
ap_b
o
unde
d
:
fix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ver
d
oolae
g
e
isl_set_wrap_f
a
cet
:
fix error
h
a
n
d
ling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_tab
_
mi
n
:
a
void NULL pointer d
e
r
e
f
eren
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
e
rd
o
olaege
isl_affine_hull
.
c: extend_affine_h
u
l
l: avoid N
U
LL p
o
i
n
ter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolae
g
e
isl_basic_map_
e
xtend: plug me
m
ory le
a
k
on
e
r
ror path
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
i
sl_
a
ffi
n
e_hul
l
.
c: equa
l
ities_i
n
_underly
i
n
g
_s
e
t: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_b
a
sic_set
_
p
r
eima
g
e
:
a
void
NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_t
a
b
_
pip
.
c:
n
o
_
sol_in_strict:
f
ix error handlin
g
commit
|
commitdiff
|
tree
2010-06-26
S
v
en V
e
rdoolaege
isl_af
f
in
e
_
h
ull
.
c: equalities_in_u
n
derlyi
n
g_
s
e
t
: plug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_aff
i
ne
_
hull
.
c
:
a
f
f
in
e
_hull: fix erro han
d
l
i
ng
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
lae
g
e
isl_map_pro
j
ect_out:
fix e
r
ror return v
a
lue
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
i
s
l_basic_map_intersect_range:
avoid NULL
po
i
n
t
e
r
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdo
o
laege
i
s
l_tab_pip
.
c: find_s
o
lution
s
: fix error
h
a
ndling
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Ve
r
d
oolaege
isl_basic_map_al
l
oc
_
d
im: fix
e
rror handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_ba
s
ic_map
_
inter
s
ec
t
:
a
void NUL
L
pointer der
e
fere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
a
e
ge
i
sl_t
a
b_pi
p
.
c: sol_map_init: avoi
d
NULL pointer d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl_basic_map_intersect
_
d
o
m
a
in: a
v
oid NUL
L
poin
t
er
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_flow
.
c: comp
u
te_val_b
a
sed_de
p
endences: fix erro
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_flow_al
l
oc: f
i
x error
handling
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_a
c
cess_info_compute_flow: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n V
e
rdool
a
ege
isl_{set,map}_fast_is_empty: a
v
oid NULL
p
ointer de
r
e
f
er
e
nce
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
V
erdo
o
l
a
e
ge
isl_
f
low
.
c
: avoid accessing
d
im fi
e
l
d directly
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoola
e
ge
i
s
l_access_info_c
o
m
p
ute
_
flow: avoid NULL pointer
de
r
efe
r
e
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_input
.
c: o
b
j_read: avoid NULL point
e
r de
r
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_map_subt
r
act
.
c: tab_add
_
c
o
nst
r
ain
t
s:
a
void
N
ULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_
t
a
b
.
c: close_r
o
w: fi
x
er
r
o
r h
a
n
dling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_map_simplify
.
c
: remove_duplicate_divs: avoi
d
NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdool
a
ege
isl_basic
_
map_affine_hull: av
o
id
NULL p
o
in
t
er dere
f
er
e
nce
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
V
e
rdoolaege
isl_tab_add_eq: return
int instead of is
l
_
tab *
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verd
o
olae
g
e
isl_map_
s
impl
i
fy
.
c: r
e
move_duplicate_co
n
straints:
a
void
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdo
o
l
aege
isl
_
map_simplify
.
c
:
el
i
m
i
n
a
te_di
v
s
_
ineq: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verdoolaeg
e
isl_ba
s
i
c_map_eliminate_vars: avoid NUL
L
p
o
i
n
t
e
r derefer
e
n
ce
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_sample
.
c: interv
a
l_sample:
avoid NULL
poi
n
t
er dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
i
s
l_sample
.
c: drop_constraints_in
v
ol
v
ing:
avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_strea
m
_new
:
read_defined_var_
l
ist: a
v
oid double
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verd
o
ola
e
ge
isl
_
basic
_
map_int
e
rsect: avoid NULL pointe
r
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoo
l
a
ege
isl_samp
l
e
.
c: gbr_sample: avoid NULL pointer
d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
ola
e
g
e
isl_test
.
c: avo
i
d NULL
p
oi
n
ter dereference
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoo
l
a
ege
isl_test: avoid accessing basi
c
set internals
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
erdoolaege
is
l
_
i
nput
.
c: read_define
d
_var_list
:
avoid double free
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ve
r
d
oolaege
isl
_
map_conv
e
x_hul
l
: avoid NULL
p
ointer der
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
i
sl_basic_
m
ap_norma
l
ize_constraints: avoid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ve
n
V
e
rdoo
l
ae
g
e
i
s
l_basic_map_t
o
tal
_
dim:
avoid
N
ULL poi
n
ter derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
i
sl_basic_
m
a
p_
o
rder_divs: a
v
o
i
d NULL point
e
r dereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
V
erdool
a
ege
isl_
c
onvex_hull
.
c:
i
sl_bas
i
c
_
s
e
t_add_
e
quality: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_co
n
vex
_
hull
.
c: com
p
ute_facet: av
o
id NULL pointe
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_test
.
c: map
_
is_equal:
check input
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolae
g
e
isl_dim
.
c: copy_names: check input dim
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
e
rdoo
l
a
ege
isl
_
di
m
_d
u
p:
c
heck in
p
ut dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_m
a
p_co
w
: check result
of allocation
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_stream_n
e
w
_s
t
r: ch
e
c
k resul
t
of all
o
c
a
tion
commit
|
commitdiff
|
tree
2010-06-25
Sven Ver
d
oola
e
g
e
is
l
_stre
a
m
.
c: fi
x
typo
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
V
e
rdoolaege
isl_tab_pip
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verd
o
olaege
i
sl_tab
.
c: fix typ
o
s
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Ver
d
oolaege
is
l
_polynomial
.
c: fix
typo
commit
|
commitdiff
|
tree
2010-06-25
Sven V
e
rdoola
e
g
e
isl_vertices
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verd
o
olaege
isl_
m
orph
.
c
:
fix
t
ypo
commit
|
commitdiff
|
tree
2010-06-25
Sven
Ve
r
doolaege
isl_map
.
c:
f
ix ty
p
o
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
Verd
o
olaege
isl_
m
ap_si
m
plify
.
c: f
i
x typo
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Verdoolaege
isl_input
.
c: accept more general affine
expr
e
ssions
commit
|
commitdiff
|
tree
2010-06-25
Sven Verd
o
olaege
add isl_vec_add
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolae
g
e
ad
d
is
l
_
ve
c
_scale
commit
|
commitdiff
|
tree
2010-06-25
Sven V
e
rdoolaeg
e
add isl_set_is_box
commit
|
commitdiff
|
tree
2010-06-24
Sve
n
V
e
r
doolaege
a
dd
isl_m
a
p_is_t
r
anslation
commit
|
commitdiff
|
tree
2010-06-21
Sve
n
Verd
o
olaege
export isl_qpolynomial
_
involves_di
m
s
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdool
a
ege
isl_po
l
ynomial
.
c: add mis
s
ing inclu
d
e
commit
|
commitdiff
|
tree
2010-06-21
Sven V
e
rdoolaeg
e
isl
_
map_transitive_closure: check wh
e
the
r
decom
p
osit
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sven
V
erdoolaege
add i
s
l_stream_flu
s
h_toke
n
s
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
a
d
d
i
sl_str
e
am_sk
i
p_line
commit
|
commitdiff
|
tree
2010-06-19
Sven Verd
o
olaege
add rudiment
a
ry error report
i
ng
m
echanism
commit
|
commitdiff
|
tree
2010-06-19
Sven Ver
d
oolaege
add isl
_
version
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
i
sl_point_alloc
:
a
v
o
i
d
potent
i
al memory leak
o
n e
r
ro
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sv
e
n V
e
rdoo
l
a
ege
d
o
c
: document i
s
l_ma
p
_deltas
commit
|
commitdiff
|
tree
2010-06-15
Sve
n
Ver
d
o
o
laege
isl_tab_pip
.
c: com
p
ar
e
all
coefficie
n
ts
when checking
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sven Ve
r
doolaege
isl
_
pw_q
p
olynomial{,_fold}_gist: us
e
simp
l
e hull
i
nstead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoola
e
g
e
add isl_set_set_dim
_
name
commit
|
commitdiff
|
tree
2010-06-14
Sv
e
n Verdoolaege
add isl
_
s
t
ream_read_set
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
is
l
_qpol
y
nomial_li
f
t:
fix lifting in abse
n
ce
of divs
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
o
o
laeg
e
optionally (an
d
by d
e
fau
l
t) use bernstein expansi
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
pr
i
vately
expo
r
t isl_qpolynomial_fold_
f
o
ld_on_
d
om
a
i
n
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl
_
p
w
_qpolynomi
a
l
_fold_f
o
reach_pi
e
ce
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoola
e
g
e
add parametr
i
c
v
ertex enumer
a
tion
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
add isl_morph_dom_dim and isl_m
o
rph_ran_
d
i
m
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
add is
l
_basic_map_i
s
_rational
commit
|
commitdiff
|
tree
next