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
extract enum constants as their integer values
2014-03-25
S
v
en
Verdoolaege
ex
t
r
a
c
t en
u
m co
n
stan
t
s
a
s their i
n
teg
e
r va
l
ues
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
P
etScan::extra
c
t_i
n
t: separate out extra
c
tion from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
PetScan::e
x
tract_uns
i
gne
d
: tur
n
into a static function
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaeg
e
s
c
a
n
.
cc:
c
h
a
nge textu
a
l or
d
er of extract_unsi
g
ned and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdool
a
ege
pet_check_c
o
de
.
c: use pet_expr_extr
a
ct_affine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aege
export pet_expr_extract_affine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
ae
g
e
pet_context: no longer keep tra
c
k of "unknown" values
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_e
x
pr_extract_affin
e
: no longer cre
a
te new pa
r
ameter
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
d
oolaege
Pet
S
c
an::extract_
s
co
p
: populate
pet_c
o
ntext with
parameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verd
o
o
l
aege
scan
.
c
c: move
up sta
t
ic
g
et_ar
r
a
y_
t
ype function
in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoo
l
aege
PetScan::
g
et_
a
rray_
s
ize:
cache re
s
u
l
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Ve
r
doolaege
PetSc
a
n::set_upp
e
r_bounds: extrac
t
out PetScan::
g
e
t
_array_size
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_expr
_
is_
e
qual: com
p
are i
n
dex expressions up to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
pet_
e
xpr_extract_affine
:
exploit
d
omain informat
i
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
add pet_
c
on
t
ext_
g
e
t
_gist_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
tree2
s
cop
.
c:
s
cop_from
_
block: collect affine continue
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rd
o
olaege
pet_scop_fr
o
m_pet_
t
ree: extract pe
t
_s
c
op from th
e
root
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaeg
e
add functions for mani
p
u
lating th
e
d
o
ma
i
n of a pet_conte
x
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
d
oolaege
p
e
t_scop_res
t
r
i
ct: also restrict vir
t
ual array
e
xtents
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
pet_conte
x
t_evaluate_expr: first insert domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoola
e
ge
pe
t
_check_code: remo
v
e tracki
n
g of assignments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oo
l
aege
d
r
o
p
pet_scop_detect_parameter_a
c
c
esses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
pet_context_evaluate_expr: also pl
u
g
in affine
e
xpressions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoo
l
ae
g
e
sepa
r
ate out pet_context_evalua
t
e_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
d
ro
p
pet_context_mark_assigned
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
PetSca
n
:
:
extract_scop: cle
a
r writes
at
outer level
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
PetSc
a
n::extr
a
c
t_sc
o
p: loca
l
ly construct
p
et_context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
PetScan::extract
_
sco
p
: also add all pet_ar
r
ay
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdo
o
lae
g
e
p
et_ex
p
r_filter:
avoid introduc
t
ion of constraints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
t
r
ee2scop
.
c: is_simple_bound: h
a
ndle
highe
r
dimensional
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
l
a
ege
tree2scop
.
c:
va
l
id_
f
or_ea
c
h_iteration: ha
n
dle higher
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tr
e
e2sc
o
p
.
c: ad
d
_im
p
lication: handle higher di
m
e
n
sio
n
a
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
tree2scop
.
c
:
map_to_
p
re
v
ious
:
handle higher dime
n
sional
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
ge
tree2scop
.
c:
a
fte
r
: handle higher dimensio
n
al dom
a
ins
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaeg
e
p
et_extract_neste
d
_from
_
space:
add extra
d
imensions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
p
e
t_extract_n
e
s
t
ed_from_space: embed arguments i
n
g
i
v
en
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
a
dd
p
e
t
_expr_access
_
get_doma
i
n_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
p
et_expr_resolve_nested: allow
spec
i
fication of dom
a
i
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aege
tree2
s
c
op
.
c: han
d
le
_
writes:
s
e
parate out handl
i
ng
o
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
tree2scop
.
c: han
d
le_writes: re
m
o
v
e re
d
u
ndant pet_cont
e
xt_
m
ar
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
r
d
o
o
la
e
ge
tr
e
e
2s
c
op
.
c: extract_kill: allow sp
e
cific
a
tion
of stateme
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oo
l
aege
pet_scop_add_bo
o
lean_
a
r
r
ay: allow specificati
o
n of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
p
e
t_skip_i
n
fo_*_extract*: pass along pet_
c
ontext
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
Verdo
o
laege
pet_s
c
op constru
c
tor
s
: allo
w
sp
e
cification of domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
V
erdoolaege
tree2scop
.
c: scop_from_
{
b
r
eak,continue
}
: minor cle
a
n-up
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
tree2scop
.
c: scop_from_{b
r
eak,conti
n
u
e
}: all
o
w
spe
c
ific
a
tion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_create_test_index: a
l
low specificatio
n
of
d
omain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven
V
e
r
doola
e
g
e
p
e
t
_stmt_from_pet
_
expr
:
allow s
p
e
c
i
fication of statement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
p
e
t
_
stmt_
f
rom_pet_expr: mino
r
clean-up
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_st
m
t_from_p
e
t
_ex
p
r: re
n
a
m
e "dim" variable to "space"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven
Ver
d
oolaege
p
e
t
_
cont
e
xt: keep track of domain s
e
t rather than domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doola
e
ge
a
dd pet_nes
t
ed_
r
emove_from_s
p
ace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
t
r
e
e
2
s
cop
.
c: sco
p
_from_non_affine_if: drop
p
reallocation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoola
e
ge
tree2sc
o
p
.
c: s
c
op_from_non_affi
n
e_
i
f:
d
elay co
n
st
r
uction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
tree2sco
p
.
c: scop_from_affin
e
_for:
d
el
a
y cons
t
ructio
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
t
ree2scop
.
c: scop_
f
rom_no
n
_aff
i
n
e
_
w
h
i
le: d
r
op preallocation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
a
e
ge
tre
e
2
s
co
p
.
c: scop_f
r
om_non_af
f
ine_while: d
e
lay
c
onstructi
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoo
l
a
ege
t
r
ee2scop
.
c: sc
o
p_from_i
n
finite_l
o
op:
de
l
ay construct
i
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
t
ree2scop
.
c
:
infini
t
e
_d
o
main: delay i
n
tersection with
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoo
l
ae
g
e
tree
2
s
cop
.
c: extract out share
d
apply_affine_brea
k
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdo
o
laege
tr
e
e2scop
.
c: scop
_
from_aff
i
ne_
f
or
:
remove
p
rea
l
location
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoola
e
g
e
tree2s
c
op
.
c: scop_fr
o
m_affine_fo
r
:
d
e
l
ay construc
t
i
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tre
e
2scop
.
c: scop_f
r
om_
a
ffine_for: i
n
tro
d
uce is_non_a
f
fine
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
tree2sco
p
.
c: scop_from_affin
e
_f
o
r
:
delay inte
r
secti
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rd
o
olaege
add pet_scop_intersect_
d
o
main_prefix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verd
o
olaege
a
d
d pet_prefix
_
project
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en V
e
rdoolaege
scop
.
c: exte
n
t_is_v
i
rt
u
al_arr
a
y: check for members
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdool
a
e
g
e
pet_arr
a
y_em
b
ed
:
s
e
parate out extent_is_vi
r
t
ual_array
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
dr
o
p pe
t
_sco
p
_wr
i
tes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
tree2s
c
op
.
c: is_nested
_
allowed: ta
k
e tree instead of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
pet_s
k
ip_in
f
o_*_e
x
tract*: pass struct
pet_state instead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n Verdool
a
ege
move extraction of pet_scop from
p
et_tree t
o
separate
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
co
n
struct pet_scop
f
rom
intermediate pet_tre
e
data
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ver
d
oo
l
aege
add pet_context_clear_writ
e
s_in_{expr,
t
ree}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaeg
e
introduce
p
et
_
tree
o
bjects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ver
d
oo
l
aege
mo
v
e PetScan
:
:extract_while befor
e
i
ts first use
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven V
e
rdoolaege
move PetScan
:
:is_nes
t
ed_all
o
wed b
e
fore its
f
i
rst
u
se
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
V
e
rdool
a
ege
m
o
ve
P
etScan::extract_non_af
f
ine_co
n
dition be
f
o
re its
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verd
o
olaege
Pet
S
can: drop al
l
ow
_
nested attri
b
ute
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ve
r
doolaege
i
ntr
o
duce
pe
t
_loc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
move pet_sco
p
_ext
r
a
c
t
_
nested to
nest
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
ven
V
erdoolae
g
e
move pe
t
_e
x
pr_extract
_
nested to nest
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en Ve
r
doola
e
ge
Pet
S
can::ext
r
ac
t
_
for: use pet_exp
r
_extract_comparison
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
P
etSc
a
n:
:
scan(FunctionDecl *): c
o
nstru
c
t a pe
t
_c
o
n
text
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ve
r
doolae
g
e
rem
o
ve PetScan::try_extr
a
ct_affine_condition
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
ven Verdoolaege
PetScan
:
:set_upper_bounds: con
v
ert
ar
r
ay bou
n
d
s
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en
V
erdoo
l
a
ege
scan
.
cc: upda
t
e_s
i
ze: handl
e
NULL input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
PetScan
:
:extract_affine(const llvm::APInt &
)
: extr
a
ct
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ver
d
oolaege
post
p
one the detection of affine
assumptio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolae
g
e
extract out pet
_
expr_is_assume
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
P
e
tScan
:
:extract_access_e
x
pr: delay p
l
ugging in the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ve
r
doolaege
PetScan::extract_a
f
fi
n
e(Expr *): stop
taking into account
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
ven Ver
d
oolaege
PetScan::extract_acce
s
s_e
x
pr
:
constru
c
t
a
ccess expression
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven V
e
rdoolaege
PetScan::resolve_n
e
sted:
h
a
nd
l
e
se
l
f dependenc
e
s in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verd
o
olaeg
e
PetSca
n
::resolve_nested: handle pre
s
ence of ar
g
uments
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ve
r
doolaege
add functions for m
a
nipulating expression arguments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
Verdoo
l
aege
add
pet_expr_access_pu
l
lback
_
m
u
lti_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
s
eparat
e
out array index
m
a
n
ipulation
f
unction
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
P
etScan::extra
c
t_
c
onditio
n
a
l_a
s
s
ignmen
t
: e
x
t
r
ac
t
wri
t
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en Verdoolaege
PetScan::mark_w
r
ite: turn into a stati
c
f
u
nction
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next