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_equalities.c: parameter_compression_multi: avoid NULL pointer dereference
2010-06-26
Sven V
e
r
d
oolaege
isl_e
q
ualities
.
c
: p
a
r
ameter_c
o
m
p
ression_multi: a
v
o
id
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_basic_map_pro
j
ect_out: avoi
d
NULL poin
t
er de
r
ef
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_coalesc
e
.
c: coalesce
_
pair: avoid NULL p
o
inter
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_conve
x
_hull
.
c
:
extend
:
fix
e
rror handli
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
impleme
n
t
a
ntiquated isl_set
_
n_* in terms of isl_set_di
m
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
i
sl_
m
ap_simplify
.
c:
normal
i
ze_divs: avo
i
d NULL
pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaeg
e
i
s
l_
i
nput
.
c:
vars_
d
rop: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
rdoolaege
isl_conve
x
_hull
.
c:
uset_convex_hull_wrap_bounded:
fix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_set_wrap_
f
acet
:
fix e
r
r
o
r han
d
ling
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdool
a
ege
isl_tab_min: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
S
ve
n
V
e
rdoolaege
isl
_
affine_hu
l
l
.
c: ex
t
end_affine_hu
l
l: avoid NU
L
L point
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_
m
ap_
e
xte
n
d: plug
m
emory leak on
error path
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ve
r
doolaege
i
s
l_affine
_
hul
l
.
c
:
equ
a
lities_in_underly
i
ng_set: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolae
g
e
isl
_
basi
c
_set_preimage: a
v
oid N
U
LL
pointer
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_tab_pip
.
c: no_sol_in_s
t
r
i
ct: fix
error ha
n
dli
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_affine
_
hull
.
c: equali
t
ies_in_under
l
yin
g
_s
e
t: plug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolae
g
e
is
l
_affine_hull
.
c: aff
i
n
e_hull: fix erro h
a
ndling
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaeg
e
isl_map_project_out: f
i
x e
r
ror r
e
t
urn value
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_basic_m
a
p
_
i
n
tersect_r
a
nge: avoid N
U
L
L poi
n
ter der
e
ference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_ta
b
_pip
.
c: find_solutions:
f
ix error hand
l
ing
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaeg
e
is
l
_b
a
s
i
c
_map_alloc_dim: fix
e
r
ror handling
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verd
o
olaege
isl_basic_
m
ap_intersect:
a
void NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
S
ven
Verdoolaege
isl_tab_
p
i
p
.
c: sol_map_init: avo
i
d NULL po
i
nt
e
r derefe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_map_
i
ntersect_domain: avoid
N
ULL p
o
i
nt
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_flow
.
c:
c
ompute
_
val_base
d
_dependences: fix error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl_flow_alloc: fix e
r
ro
r
ha
n
dli
n
g
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolae
g
e
isl
_
acces
s
_i
n
fo_compute_flow: f
i
x
e
rror handling
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdo
o
laege
i
s
l_{se
t
,ma
p
}
_fast_is_em
p
ty:
a
v
o
id NULL
p
ointe
r
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdool
a
e
ge
i
s
l
_
flo
w
.
c: avoid acc
e
ssing dim fiel
d
di
r
e
c
t
l
y
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
i
s
l_a
c
c
e
ss_info_c
o
mpute_
f
low: avoid NULL pointe
r
dereferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
e
rdoolaege
isl_inpu
t
.
c: obj_read: av
o
id N
U
LL pointer der
e
ference
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoo
l
aege
i
s
l_
m
ap_subtrac
t
.
c: ta
b
_add_constraints: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verd
o
o
laege
isl_t
a
b
.
c: c
l
ose_
r
ow
:
f
i
x
e
rror handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaeg
e
isl_map
_
sim
p
li
f
y
.
c: remove_
d
uplicate_divs: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
i
sl_basic_map_af
f
ine_hull: avoi
d
NU
L
L pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verd
o
olaeg
e
isl_
t
ab_add
_
eq:
return int
i
n
stead
o
f isl
_
tab *
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_map_sim
p
lify
.
c:
r
e
m
ove_du
p
licate_constraints
:
a
v
oid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
Verdoolaege
isl_map
_
s
implify
.
c: eliminate_divs_ineq: av
o
id NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_ba
s
ic
_
map_eliminate_var
s
: avoid N
U
L
L poin
t
er dereferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
o
ol
a
ege
isl_sample
.
c: interval_s
a
mple: avoid NULL po
i
n
ter
d
erefe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolae
g
e
is
l
_sample
.
c:
d
r
op_constr
a
ints_involving: a
v
oid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoola
e
ge
isl_stream
_
ne
w
: re
a
d
_
de
f
ined_v
a
r
_list: avoid double
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_m
a
p_int
e
rsect: avoid NULL pointer
der
e
ferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ve
r
doolaege
isl_sample
.
c: gbr_
s
amp
l
e: avoid
N
U
L
L
poi
n
ter der
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
i
s
l_test
.
c: avoid NULL pointe
r
de
r
ef
e
ren
c
e
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl
_
test: avo
i
d accessi
n
g bas
i
c
s
et internals
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_input
.
c: read_defined_var_list: avoid d
o
uble fr
e
e
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
m
a
p
_
convex_hull: avoid NULL pointe
r
d
e
ref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl
_
b
a
sic_map_normalize_
c
on
s
traints:
avoid N
U
LL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl
_
ba
s
ic_map_total_dim
:
avoid NUL
L
poi
n
ter derefe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_b
a
sic_map_or
d
er_divs: avoid NULL
pointer de
r
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_co
n
v
ex
_
hull
.
c
: isl_basic_set_add_equality
:
avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdo
o
laege
isl_
c
onvex_hul
l
.
c:
c
ompute_
f
acet: avoid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl
_
test
.
c: map_is_equal:
c
heck inpu
t
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
is
l
_
d
im
.
c
: copy_names:
che
c
k input d
i
m
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_dim_dup:
c
he
c
k input
dim
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
is
l
_basic
_
m
a
p_cow: c
h
eck
res
u
lt of allocation
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_st
r
eam_new_
s
tr: check
result
o
f
a
lloca
t
i
on
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
i
s
l
_
s
tream
.
c: fix ty
p
o
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolae
g
e
isl_tab_
p
ip
.
c
:
f
ix ty
p
os
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_tab
.
c: fix
t
ypos
commit
|
commitdiff
|
tree
2010-06-25
Sven
Verdoo
l
aege
isl_
p
olynomial
.
c: fix
typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_vertices
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
S
v
e
n
V
erdoola
e
g
e
isl_m
o
rph
.
c:
f
ix
typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_map
.
c: f
i
x
t
ypo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
i
sl_map_simp
l
ify
.
c
:
fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoo
l
aege
isl_input
.
c
: a
c
cept m
o
r
e
g
e
n
e
r
al
a
ffine expre
s
s
ions
commit
|
commitdiff
|
tree
2010-06-25
Sven Ver
d
oolaege
add isl_vec_add
commit
|
commitdiff
|
tree
2010-06-25
Sven Ve
r
doolaege
add
isl_
v
ec_scale
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaeg
e
add isl_
s
et_is_box
commit
|
commitdiff
|
tree
2010-06-24
Sven
V
erdoolaege
add isl_ma
p
_is_transla
t
ion
commit
|
commitdiff
|
tree
2010-06-21
Sv
e
n Verdo
o
laege
export isl_qpolynomial_involve
s
_
dims
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoolaege
isl_polynomia
l
.
c: add missing
i
n
clude
commit
|
commitdiff
|
tree
2010-06-21
Sve
n
Ver
d
o
o
lae
g
e
is
l
_map_transitive_c
l
osure
:
c
heck whether d
e
compositio
n
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaeg
e
add
i
s
l
_stream_flush
_
tokens
commit
|
commitdiff
|
tree
2010-06-19
Sven Ve
r
doolaege
ad
d
isl_stream_skip_line
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
add rud
i
mentary error re
p
orti
n
g mechanism
commit
|
commitdiff
|
tree
2010-06-19
Sven
Verdoo
l
ae
g
e
add isl
_
version
commit
|
commitdiff
|
tree
2010-06-19
Sven V
e
rdoolaege
isl_poi
n
t
_
a
l
loc: avo
i
d potential memo
r
y leak on er
r
or
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sven
Ve
r
doo
l
a
e
ge
doc: document
i
s
l_map_deltas
commit
|
commitdiff
|
tree
2010-06-15
Sven Ve
r
do
o
laege
isl_tab_pip
.
c: compare all coeffi
c
ients when checking
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
S
ven Verdoolaege
isl_pw_
q
polynomial{,_fold}_gist:
u
se simple hull
i
nstead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolaeg
e
add isl_
s
et_
s
et_
d
i
m_name
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoola
e
ge
add isl_strea
m
_r
e
ad_set
commit
|
commitdiff
|
tree
2010-06-14
S
v
en
V
erdool
a
ege
doc
:
fi
x
typo
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
isl_qpolyn
o
mial
_
lift: fix l
i
fting in absence
o
f divs
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
opti
o
nally (and by
defau
l
t)
u
se b
e
rnstei
n
ex
p
a
n
sion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
p
rivatel
y
e
x
por
t
i
s
l_qp
o
ly
n
o
mial_
f
old_fold_o
n
_
d
omain
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
add isl_pw_qpolynomial_fo
l
d_for
e
a
c
h_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rd
o
olaege
a
dd pa
r
a
m
etric v
e
rtex enumeration
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
add
i
sl_morp
h
_d
o
m
_
dim and isl
_
morph_ran_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl
_
bas
i
c_map_
i
s_rat
i
onal
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
priv
a
t
e
ly export isl_basic_
s
et_sor
t
_
c
onstr
a
int
s
and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
o
olaege
isl_
t
ab
_
detect_implicit_eq
u
aliti
e
s: also detect
m
anifest
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
isl
_
ta
b
: optio
n
ally only
m
ark strict
l
y r
e
d
undant
r
ows
commit
|
commitdiff
|
tree
2010-06-12
S
ve
n
Verdoo
l
a
ege
gener
a
lize
i
sl_p
w
_qpolynomial_
b
ound to
i
sl_pw_qpo
l
ynomial
_
fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolae
g
e
ex
t
rac
t
ou
t
generic part of isl_pw_qpolyno
m
ial_bound
_
range
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdool
a
ege
isl_pw_qp
o
lynomia
l
_bound_range:
a
lso set
exa
c
tn
e
ss
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Ve
r
doolaege
add is
l
_basic_set_factorizer
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
e
xpo
r
t
i
sl_pw_qp
o
lyno
m
ial_fold_drop
_
dim
s
commit
|
commitdiff
|
tree
next