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_tree_dump: fix typo in output
2014-07-17
Sve
n
Verdoolaeg
e
pet_tre
e
_dump: fix typo in
o
u
t
put
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoolae
g
e
scop
.
c
:
fi
x
t
ypo i
n
com
m
ent
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdool
a
ege
sco
p
.
c: scop_alloc: plug
memory leak
o
n error path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
S
ven V
e
rdoola
e
ge
expr
.
c: e
x
trac
t
_affine_mu
l
: ab
o
rt on erro
r
r
a
ther than
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
S
ven
Verd
o
ola
e
g
e
P
e
tSca
n
::se
t
_upper_
b
ounds: handle arrays
declared insi
d
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-09
Sven Verdoolaege
d
e
ri
v
e acce
s
s relations of call exp
r
essions
from
f
unction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven
V
erdoo
l
aege
add pet_exp
r
_map_
c
all
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdool
a
eg
e
a
d
d pet_expr_a
c
cess_get_aug
m
ented_domain
_
space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
PetSc
a
n
:
:ex
t
ra
c
t_expr(CallExp
r
*): extract functio
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
oolae
g
e
pe
t
_expr: keep tra
c
k of function su
m
maries in call
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verd
o
olaege
pet_expr
:
put pet_expr
_
call field in substructure
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
doolaege
introdu
c
e
pe
t
_
function_summar
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet
_
ex
p
r_acc
e
ss
_
set_access: se
t
read/w
r
i
t
e on no
n
-empty
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
break up
access r
e
lations i
n
to may_read/may_w
r
ite
/
must_write
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoo
l
a
e
g
e
add pet_union_map_move_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdo
o
laege
i
n
trod
u
ce
pet_expr_
a
ccess_t
y
pe
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verd
o
o
laege
drop pet_ex
p
r_from_access_and_
i
ndex
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdool
a
ege
explicitl
y
mark ki
l
l accesses
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n
V
er
d
oolaege
pet_
e
xpr:
represent read/writ
e
f
l
a
g
s
a
s
bits
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rdo
o
la
e
ge
pet_expr: document the read and write fields
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
bre
a
k up ac
c
ess relation
s
into may_read/may_wri
t
e/must_wri
t
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoo
l
aege
pet_expr
_
t
ag_a
c
ce
s
s: avoid use
of target
s
pace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdoolaege
po
s
tpone
i
ntroduction of
access
r
elations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
doolaege
emi
t
.
c: emit_expr: extract out emit_
a
c
c
ess_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven
V
erdoolaege
drop pet_expr_access_get
_
access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
nest
.
c: m
o
ve i
s
_
s
ub_access t
o
expr
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdool
a
ege
t
r
ee2scop
.
c: extract_kill: update kill expr
e
ssi
o
n rather
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet_expr_is_affine: a
v
oid
u
sing access relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet
_
expr_filter: av
o
id us
i
ng acc
e
ss r
e
lation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
p
et_
e
x
pr_access_update_
d
om
a
in:
avoid using a
c
cess relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet_expr_ac
c
ess_get_must_
a
ccess: avoid
us
i
ng acces
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet_expr
_
a
c
cess_get_id:
a
v
o
id us
i
ng access relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolae
g
e
e
x
p
r
.
c: access_
a
dd_r
e
f_i
d
: avoid using access relatio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rdoola
e
ge
s
cop
.
c: acce
s
s_
c
ollect_params:
avoid usi
n
g acces
s
rel
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
scop
.
c: implies_f
i
lter: avoid using access re
l
ati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolae
g
e
scop
.
c: access_extrac
t
_cont
e
xt: avo
i
d
u
sing
access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
e
n
V
erdo
o
laege
scop
.
c: expr
_
extract_con
t
ext: avoid using
acc
e
ss
r
elation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
V
e
rdoolaege
scop
.
c: ex
t
ract
o
ut shared drop_ar
g
uments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
e
n Verdoolaege
pet_expr_access_updat
e
_domain: minor cle
a
n-up of ex
p
ression
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
further generalize compute_t
o
_i
n
n
e
r
to
s
upport
p
et_scop_comp
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
g
eneralize com
p
ute_to_inner
t
o supp
o
rt pet
_
s
c
o
p
_comput
e
_oute
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoo
l
aege
s
c
o
p
.
c: compute_to_inner: m
i
cro-optimization
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-19
Sv
e
n Ve
r
do
o
laeg
e
tre
e
2scop
.
c: is_nested_
a
llowed: do not allow nesting
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-05-26
Sven
Ve
r
doola
e
g
e
PetScan
:
:
s
et_upper_bo
u
nds: us
e
d
eclared size of static
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven
V
e
rdoolaege
s
cop
.
c: restrict_skip: update documentation to
c
hang
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven Ver
d
oolaege
tree2scop
.
c: scop_add_inc: take into ac
c
o
unt affine
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdoola
e
ge
tree2scop
.
c: move up apply_affine_continue
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven
V
e
rdoolaege
tree2scop
.
c:
scop_from_non_affine_wh
i
le:
extr
a
ct out
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
Sv
e
n V
e
rdoolaege
pet 0
.
05
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdoolae
g
e
u
p
date
isl to version
0
.
13
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-13
Sven
V
erdoolaege
READM
E
: upda
t
e LLVM/cl
a
n
g i
n
s
t
a
ll
a
tion
instruct
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Ve
r
doolaege
interfac
e
/extract_interfac
e
.
c
c: exp
l
i
citly
include
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Ver
d
o
o
laeg
e
update for change i
n
ar
g
umen
t
s of Co
m
p
i
l
e
r
Instan
c
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoolaege
pet
.
cc: add space
betw
e
en
lit
e
ral a
n
d
identi
f
ier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoolaege
update is
l
for support f
o
r recent clang
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sv
e
n Verdoolaege
pe
t
_stm
t
_fro
m
_pet_tree: avoid f
r
ee of
uni
n
itia
l
ized
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-06
Sven Verdoolaege
s
c
an
.
cc:
fix t
y
po in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sven
V
erdoolaege
p
et_scop_from_pet_stmt
:
do not
e
xtract
c
ontext fr
o
m
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
S
ven Verdoolae
g
e
Pe
t
Scan::
e
xtract_argum
e
n
t
: hand
l
e passing of entire
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sv
e
n
Verdoolaege
Mak
e
file
.
am:
a
d
d dummy C++ source
fi
l
e to pet_scop_cmp
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verdoolaege
handle pe
n
cil ind
e
pend
e
n
t
prag
m
as
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
v
e
n
V
e
r
dool
a
ege
PetScan: keep
t
r
a
c
k of
l
i
ne n
u
mb
e
r of current
S
tmt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven
V
e
rdoolae
g
e
pet
.
c
c: extract out Pe
t
ASTConsumer::add_pragma_
h
andlers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
v
en Verdoolaege
a
dd enca
p
sulate_dynamic
_
control option
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ve
r
dool
a
ege
pet_scop_from_
p
et_tree: create statements
d
irectly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven V
e
rdoolae
g
e
replace
p
et_stmt_from_pet_e
x
pr
b
y p
e
t
_
stmt_from_pet_tr
e
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
ven Verdoo
l
aege
p
et_stmt: use p
e
t_tree to represent statement
b
ody
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ver
d
oo
l
aege
scop
.
c: extract out pet_stm
t
_is_a
f
fi
n
e_assume and
p
et_s
t
mt_a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sv
e
n V
e
rdool
a
ege
scop
.
c:
st
m
t_collect_a
c
cesses: use pet_expr_f
o
reach_
a
ccess_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaeg
e
scop
.
c:
s
tmt_collect_params: use pet_expr_foreach_access_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven V
e
rdool
a
e
ge
kee
p
t
rack
of ind
e
ntation
of extra
c
ted code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ver
d
oolaege
update test
case outp
u
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doo
l
aege
extract enum cons
t
ants
as
their i
n
teger v
a
lue
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
PetScan::e
x
t
r
act_int: separate out e
x
traction from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Ver
d
o
o
laege
P
etScan
:
:ex
t
r
act_u
n
signed: turn i
n
to a s
t
atic fu
n
ction
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdo
o
laege
scan
.
cc: change textual orde
r
of ex
t
ract_unsigne
d
and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_c
h
eck_cod
e
.
c
:
u
se
p
e
t
_expr_extract_
a
ffine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
ola
e
ge
expor
t
pet_expr_extract_af
f
i
ne
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
r
d
o
olaege
pet_context: no lon
g
er k
e
ep track
o
f "unkn
o
w
n" values
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
V
e
rdoolaege
pet_
e
xpr_extract_
a
ff
i
ne: n
o
l
onger create new parame
t
e
rs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
PetS
c
an::e
x
t
r
act_sco
p
: po
p
ulate pet_co
n
te
x
t
with par
a
met
e
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
scan
.
cc: move up stati
c
g
e
t_
a
rray_type fu
n
ction in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
PetScan::
g
et_array_
s
i
ze: cache re
s
ults
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
PetScan::se
t
_upper_bounds: extract
o
ut Pe
t
Sca
n
::g
e
t_ar
r
ay
_
s
ize
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
pet_expr_is
_
equal: compare
i
ndex e
x
pressions up to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
V
erdo
o
laege
pet_ex
p
r_extract
_
a
f
f
ine: exploit dom
a
in inform
a
tio
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven V
e
rdoolaege
add pet_
c
ont
e
xt_get_gist_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
tree
2
scop
.
c:
scop_fr
o
m_b
l
ock: collect affine cont
i
nu
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
pet_scop_from_
p
e
t_tree: extract pet
_
sc
o
p from the root
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoola
e
ge
add
f
unctions for
m
an
i
pu
l
ating
t
he do
m
ain of
a
pe
t
_
context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
p
et_scop_restrict: als
o
r
e
strict vi
r
tual arr
a
y
extents
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
pet_
c
o
n
text_ev
a
luate_ex
p
r: first i
n
s
e
r
t dom
a
in
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
r
doolaege
pe
t
_check_code: r
e
m
ove
t
racking of assignment
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olae
g
e
dr
o
p pet_scop_
d
etect_parameter_a
c
cesses
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
pet_context_evaluate_expr
:
a
l
s
o
plug in
a
ffine expressions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
separ
a
t
e
out pet_context_
e
va
l
u
ate_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rd
o
o
laege
drop pet_
c
ontext_mark_assig
n
ed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
PetScan::extract
_
scop: clea
r
w
r
i
tes at outer
l
evel
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolae
g
e
PetScan::extract_scop: locally construct pet
_
c
o
ntext
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
V
erdoolaege
PetScan::
e
xtract_sc
o
p: also add all pet_arrays
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next