repo.or.cz
/
pet.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
pet 0.06
2014-10-26
Sven V
e
r
d
ool
a
ege
p
e
t 0
.
06
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolaege
update isl to
version
0
.
14
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolaege
PetSca
n
:
:set_upper_bound
s
: fix
t
ypo b
r
eakin
g
non-1
D
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-16
S
v
e
n
V
e
rdoolaege
update isl for
change in isl_map_subtract
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-02
Sve
n
Verdoolaege
update for change
i
n Ta
r
g
e
tOptions r
e
f
count
i
ng
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-02
Sven Ver
d
oolaege
u
p
date for remo
v
al of llvm/ADT/Ow
n
i
n
gPt
r
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-31
Sven Verdoolaege
i
n
terface/extract_interface
.
cc: av
o
id use
o
f S
o
urceManager
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-31
Sven Verdoolaege
update for removal of DefaultImageName
Driver constructor
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-31
S
v
en Verd
o
o
l
aege
update isl for support fo
r
recent clan
g
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-11
S
v
en Ver
d
o
olaege
pet_ex
p
r_new_unary: take type siz
e
argu
m
ent
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-06
Sven Verdoolaege
pet_s
c
o
p_collect_d
o
mains
:
pro
p
erl
y
handle statements
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verd
o
olaeg
e
pet_st
m
t_print_body: do
n
ot
pr
i
nt anything for kill
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sv
e
n Ver
d
ool
a
ege
fi
x
quasi_affine tes
t
case
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdo
o
laeg
e
pet_tree_dump:
fix typo in output
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven
V
erdool
a
e
g
e
scop
.
c: fix typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven
V
erdoolaege
s
c
o
p
.
c: scop_
a
lloc
:
plug memory
l
e
ak on error
p
a
t
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoo
l
aege
expr
.
c
:
extract_a
f
fine_mul: a
b
ort
o
n
e
rror rather than
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sve
n
Verdoolaege
PetScan::se
t
_upper_bounds: handle
arrays decla
r
ed in
s
ide
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-09
Sven Verdoo
l
aege
de
r
ive access relati
o
ns of
c
all expressions from
f
unction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erdoolaege
add pe
t
_expr_ma
p
_ca
l
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdool
a
e
ge
add pet_e
x
pr
_
access_get_
a
ugmented_d
o
ma
i
n_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
oolaege
PetScan::e
x
t
r
act
_
e
x
pr(CallExpr *): ex
t
ra
c
t f
u
nction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verd
o
ol
a
ege
pet_expr: keep tra
c
k of fu
n
c
t
ion summ
a
ries
in c
a
ll
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoolaeg
e
pet_expr: p
u
t p
e
t_
e
xpr_call
fiel
d
in substruct
u
re
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoola
e
ge
i
n
troduce pet_func
t
ion_sum
m
ary
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdoolae
g
e
pe
t
_e
x
pr_acce
s
s_set_
a
cces
s
: set re
a
d/wri
t
e on non-e
m
pty
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
break
u
p access relations into may_read/may_wri
t
e/must_
w
ri
t
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolae
g
e
a
d
d p
e
t_uni
o
n
_
m
ap_move_dim
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
er
d
oolaege
introduce pet_expr_ac
c
e
ss_ty
p
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n
V
erdoolaege
d
rop
pet_expr_
f
rom_
a
ccess_and_index
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
explicitly mark kil
l
a
cce
s
ses
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
e
n
Verdoo
l
aege
pe
t
_expr: represent read/write fla
g
s
a
s
bits
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdo
o
lae
g
e
pet_expr: document the read and
w
rite fields
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
V
e
r
doola
e
ge
break up
a
ccess relation
s
in
t
o may_read/may_writ
e
/
must
_
write
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erdo
o
la
e
g
e
pet_e
x
p
r_tag_ac
c
ess: avoid use of target space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdoola
e
ge
postpon
e
in
t
rodu
c
tion of acces
s
rel
a
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
emit
.
c
: em
i
t_expr:
ex
t
ract ou
t
emit_a
c
cess_ex
p
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
d
o
olaege
dr
o
p
pet_
e
xpr
_
access_get_access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoo
l
aeg
e
nest
.
c
:
mov
e
is_sub_acce
s
s to expr
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
tree2scop
.
c
:
extr
a
ct_kill: upd
a
te kil
l
expression rather
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
V
er
d
ool
a
ege
pet_
e
xp
r
_is_affine: avoid u
s
ing access r
e
lation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verd
o
olaege
pet_expr_
f
i
lter: avoid
u
sing ac
c
ess relatio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
do
o
laege
p
e
t_ex
p
r_access_update
_
domain:
a
v
oid using a
c
cess re
l
ation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoo
l
a
ege
pe
t
_ex
p
r_access_get_must_
a
c
c
ess: avoid using access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoolaege
pet_
e
xpr_a
c
c
e
s
s
_get_id
:
avoid using access r
e
lation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaeg
e
e
x
pr
.
c: access_add_
r
ef_id: avoid using access relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
doolaege
s
c
o
p
.
c: access
_
collect_pa
r
am
s
: avoid using acces
s
r
e
lation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
doolaege
s
c
op
.
c: implies_filter: avoid using acc
e
ss rel
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdool
a
e
g
e
sco
p
.
c:
a
c
cess
_
e
xtract_context:
a
void usi
n
g
access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoolaeg
e
s
cop
.
c: expr_extract_con
t
e
xt: a
v
oid us
i
ng ac
c
es
s
re
l
ation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
scop
.
c: extract
o
ut shared
drop_argum
e
nts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verd
o
o
l
aege
pet_
e
xpr
_
ac
c
ess_update_domain
:
min
o
r clean
-
up
o
f expression
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven
Verdool
a
ege
furt
h
er g
e
ne
r
al
i
ze c
o
m
p
ute_to_
i
nner
to suppo
r
t pet_scop_comp
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
doolaege
generalize c
o
m
pute_to
_
inner to support pet_scop_com
p
ute_oute
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rdoolaege
s
c
op
.
c: compute_to_i
n
n
e
r: micro-optimization
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-19
Sven Verd
o
olaege
tree2scop
.
c: i
s
_nested_allowe
d
:
do not allow nest
i
n
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-05-26
Sven Verdoolaege
PetSc
a
n
:
:
s
et
_
upper_b
o
unds:
u
se decla
r
e
d siz
e
of
s
t
at
i
c
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdoolaege
scop
.
c
:
restrict_ski
p
: update documentation
to change
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdoola
e
ge
tre
e
2scop
.
c: scop_add_inc: ta
k
e into
a
c
cou
n
t a
f
fine
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdool
a
ege
tree2scop
.
c: move up app
l
y
_
affi
n
e_con
t
inu
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sv
e
n V
e
r
do
o
lae
g
e
tree2
s
cop
.
c: scop
_
fro
m
_non_affine_while: extr
a
c
t
out
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdoo
l
a
ege
pet
0
.
05
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdoola
e
ge
update isl to version 0
.
13
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-13
Sven Verdoolaege
README: update LLV
M
/clang installation
i
nstructions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Ve
r
doo
l
aege
interfac
e
/
extr
a
ct_interface
.
c
c: ex
p
l
icitly
i
nclude
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven
V
e
r
dool
a
ege
u
pdate f
o
r chan
g
e
i
n argum
e
nts o
f
C
ompilerInstance
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdo
o
lae
g
e
pet
.
cc: a
d
d spac
e
be
t
w
een literal an
d
i
dent
i
fier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
S
v
en
Verdoolaege
update is
l
f
o
r su
p
por
t
for r
e
cent c
l
a
n
gs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoo
l
aege
pet_s
t
m
t_from_
p
et_tree: avoid free of u
n
initialized
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-06
Sven
V
erdoolaege
scan
.
c
c
:
fi
x
ty
p
o
i
n comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
S
ven Verdoolaege
pet
_
scop_from_pet_s
t
mt
:
do no
t
extract cont
e
xt from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verdoolaege
Pet
S
c
an::ex
t
ract_argument: handle
p
ass
i
n
g of
entire
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verdoolaege
Makefile
.
am: a
d
d dummy C++ source file to
p
e
t
_
scop_cm
p
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verdo
o
laege
handle pencil in
d
ependent pra
g
mas
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verd
o
olaege
PetSc
a
n: keep t
r
ack of line number of current Stmt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
ven
Verdool
a
ege
p
e
t
.
cc: ext
r
a
ct out
PetASTConsumer::add_pra
g
ma_han
d
l
e
rs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ver
d
o
o
laege
add e
n
capsulate_
d
yna
m
ic_control option
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdool
a
e
g
e
pet
_
s
co
p
_from_
p
et_tree: cre
a
te sta
t
em
e
n
ts di
r
ect
l
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ve
r
doolaege
rep
l
ace pet_
s
tmt
_
f
r
om_pet_ex
p
r
by pe
t
_stmt_f
r
om_pet
_
tre
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
pet_stmt: use pet_tree to r
e
present sta
t
ement body
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
scop
.
c:
extract ou
t
pet_stmt
_
i
s
_
aff
i
ne_
a
ssume and pet_stmt_a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
v
e
n
Verdoolaege
s
cop
.
c: stmt_coll
e
ct
_
acc
e
sses: use
pet_expr_fo
r
e
a
ch_ac
c
ess
_
e
x
pr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
ven Verdool
a
e
ge
s
cop
.
c:
stmt_co
l
lect
_
params: use pe
t
_e
x
pr_
f
oreach_access_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
v
en
Ve
r
d
oolae
g
e
keep track
o
f ind
e
nt
a
tion of
extracte
d
c
ode
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sve
n
Verdool
a
ege
upda
t
e t
e
s
t case
outputs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laeg
e
e
x
tract
e
num c
o
n
s
tants as thei
r
integer
values
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
P
e
tScan::extract_int
:
separate out extracti
o
n from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Ve
r
doolae
g
e
Pe
t
Scan::extrac
t
_unsi
g
ned: turn into a static functio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n Verdoolaeg
e
sc
a
n
.
c
c
:
cha
n
ge textual order of
e
xt
r
a
c
t_
u
nsigned and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n
V
e
rdool
a
ege
pet_check_c
o
de
.
c
:
u
s
e pet_expr_ex
t
rac
t
_
a
ffine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aege
exp
o
rt pet_expr_extract_
a
ffine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
pet_context: n
o
longer
k
eep trac
k
of "unk
n
own" values
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n V
e
rdoola
e
ge
pet_expr_extract_affine: no longer cr
e
a
t
e new para
m
eters
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
Pet
S
can::ext
r
a
c
t_scop: populate pet_context with par
a
m
e
ter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven
V
erdoolaege
scan
.
cc:
m
ov
e
u
p s
t
atic get_array_type function in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oo
l
ae
g
e
PetS
c
an:
:
g
e
t_array_size:
c
ach
e
result
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
PetScan::set_up
p
er_
b
ou
n
ds:
ext
r
act out P
e
tScan
:
:ge
t
_array
_
size
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
d
o
o
la
e
ge
p
et_e
x
p
r
_is_equal: com
p
are ind
e
x exp
r
essions
u
p
to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oola
e
g
e
pet
_
expr
_
extract_affi
n
e
:
expl
o
it domain information
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Ver
d
o
o
l
aege
a
d
d pet_
c
on
t
ext_get_gi
s
t_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next
