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
S
ven Verdoolaege
p
e
t
_
t
r
ee_dump: fix typo
in out
p
ut
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verd
o
olaege
scop
.
c: fix typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdool
a
ege
scop
.
c: sc
o
p_alloc:
p
lug memory
l
eak o
n
e
rror p
a
th
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sv
e
n
Ver
d
oolaege
expr
.
c: ex
t
rac
t
_aff
i
ne_mul
:
abort on error ra
t
her than
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoolae
g
e
PetScan:
:
set_upper
_
bound
s
: handle
a
r
rays declared
inside
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-09
S
ven van Haastregt
all
o
w specification
o
f sum
m
ary
f
unc
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-09
Sven Ve
r
doola
e
g
e
derive
a
c
c
ess relations of call expressions f
r
om
function
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
e
rdoolaege
add pet_e
x
p
r_map_c
a
ll
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
add pet_exp
r
_
access_get_augm
e
n
t
e
d
_domain_
s
p
a
ce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rdoolaege
P
e
tS
c
a
n
::extract_exp
r
(CallExpr
*
):
e
xt
r
a
c
t function
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaeg
e
p
et_exp
r
: keep tr
a
ck of function summaries in call
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdoolaeg
e
pe
t
_expr:
p
ut pet_expr_cal
l
field
in subs
t
ructure
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdoolaege
introduce
p
et_funct
i
on_
s
ummary
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erdoolaege
pet_expr_
a
cce
s
s_set_acces
s
: set read/w
r
ite on
n
o
n-
e
m
p
ty
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en
Ve
r
doo
l
aege
b
reak u
p
access relations into m
a
y_rea
d
/
may_w
r
ite
/
must_writ
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
er
d
oolaege
add
p
et_union_
m
ap_move_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolae
g
e
i
ntroduce
p
et_expr_access_type
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
d
rop pet_expr_
f
rom_acc
e
ss_and_ind
e
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ve
n
V
e
rdoolaege
e
xp
l
ici
t
l
y mark kill accesses
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdoo
l
aege
pet_e
x
pr:
represent read
/
write flags
a
s bi
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pe
t
_
e
x
pr: document
the read a
n
d write
f
ields
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdoolaege
break up
a
cc
e
ss
r
elations into ma
y
_
r
ead/may_write/must_write
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Ver
d
oolaege
pet_ex
p
r_tag_acce
s
s: av
o
id use of
t
arget spa
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
e
n Verdoolaege
postpone in
t
roduct
i
on of
a
c
cess rela
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdoolaege
emit
.
c
:
emit_expr: extra
c
t out
e
m
i
t_access_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
V
er
d
o
olaege
drop pet_expr_access_
g
et_a
c
cess
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoola
e
ge
nest
.
c: mov
e
is_sub_access to expr
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en
Verd
o
olaege
t
r
e
e2scop
.
c: extra
c
t_kill: update kil
l
e
x
press
i
o
n
rather
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoola
e
ge
pet_expr_is_affine:
avoid using acces
s
relatio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
V
e
rdo
o
laege
pe
t
_exp
r
_filter: a
v
o
id using access re
l
a
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoola
e
ge
pet_ex
p
r_access_up
d
ate_domain: avo
i
d using access
r
e
lation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet_expr_access_get_must_access: avoid
us
i
n
g
access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erdoolaege
p
e
t_expr_access_g
e
t_id:
a
void using access
r
elation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n
V
e
rdoolaege
ex
p
r
.
c: acc
e
ss_add_
r
ef_id: avoid using a
c
cess relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
e
rdoolaege
sc
o
p
.
c: access_collect_params:
a
void us
i
ng access r
e
lati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
s
cop
.
c
:
implie
s
_filt
e
r: avoid us
i
ng access
r
e
lati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Ver
d
oolaege
scop
.
c: access_
e
xtract_context: avoid using
access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdo
o
laege
scop
.
c: exp
r
_
extract_
c
onte
x
t
: avoid u
s
in
g
ac
c
ess r
e
lation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
V
erdoolaege
sc
o
p
.
c: e
x
tract ou
t
sha
r
ed
d
r
o
p
_
arguments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n V
e
rdoolaege
pet_
e
xpr_acces
s
_update_domain: minor clean-u
p
of expr
e
s
sion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
er
d
o
o
l
ae
g
e
further
ge
n
eralize c
o
mpute_to_inner to support pe
t
_scop_comp
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erdoolaege
genera
l
ize c
o
mpute
_
to_inner to s
u
ppo
r
t pet
_
s
cop_compute_ou
t
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en V
e
r
d
o
o
laege
s
c
op
.
c:
com
p
u
te_to_in
n
er:
m
icro-optimization
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-19
Sve
n
V
e
rdool
a
e
ge
tree2scop
.
c
:
is_nes
t
e
d
_
al
l
owed:
do
n
ot a
l
low nesting
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-05-26
Sven V
e
r
dool
a
ege
PetSc
a
n::s
e
t_upper_boun
d
s:
u
se
dec
l
are
d
s
i
z
e of
static
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdoolaege
scop
.
c: re
s
trict_skip: updat
e
documen
t
atio
n
to
change
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sv
e
n Ver
d
oola
e
ge
t
r
ee
2
s
cop
.
c
:
scop_add_inc: take into account a
f
fi
n
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
S
v
en Verdoo
l
aege
t
ree2scop
.
c:
move up apply_af
f
i
ne_cont
i
nue
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdoolaege
tree2scop
.
c: scop_from_non_affine
_
whil
e
: extract
out
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
S
v
en
V
erd
o
olaege
p
et 0
.
05
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdo
o
laege
u
p
date
i
s
l to ver
s
i
on
0
.
13
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-13
Sven
V
erd
o
ol
a
ege
README: u
p
dat
e
LLVM/clang
i
nstall
a
tion instruction
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
S
v
en Ver
d
oolaege
interface/ex
t
ract_interface
.
cc: expl
i
citly include
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Ve
r
do
o
l
a
ege
up
d
a
te for c
h
ange in argume
n
t
s of Compi
l
erInstance
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verd
o
olaege
pet
.
cc: add
s
pa
c
e between literal and identif
i
er
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoolaege
update isl for support f
o
r rec
e
nt clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoola
e
ge
pet_stm
t
_fr
o
m
_pe
t
_tree
:
avoid free of un
i
nitialize
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-06
Sven Verdoola
e
ge
scan
.
cc: fix typo in
c
omment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sv
e
n Verd
o
olaege
pet_scop_from_pet_st
m
t
:
do not extract context from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sven V
e
rdool
a
ege
P
e
t
S
can::extract
_
argu
m
e
n
t: h
a
ndle
passi
n
g
of enti
r
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
S
ven Verdoolaege
Makefile
.
am: add dummy C++ s
o
u
rc
e
f
i
le to p
e
t_
s
cop_c
m
p
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verdoolaege
h
a
ndl
e
pencil
i
nde
p
endent pragmas
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven
V
erdoolaege
PetScan: keep track of line number of current St
m
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
pet
.
cc:
extract out PetASTConsu
m
er::ad
d
_pragma
_
ha
n
d
lers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
a
d
d
e
ncaps
u
late_d
y
nam
i
c_control option
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sve
n
Verdo
o
laege
pe
t
_scop_
f
rom_pet_tree: crea
t
e statem
e
n
ts dir
e
ctly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
r
e
pl
a
c
e pet_stmt_from_p
e
t
_
expr by pet_stmt_from_pe
t
_
tree
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
pet_s
t
mt: use pet_t
r
ee to
rep
r
esent statement body
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
v
en Verdoola
e
ge
scop
.
c: ex
t
ract out pe
t
_stm
t
_
is_affine_a
s
s
um
e
a
nd pet_stmt
_
a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
v
en Verdoola
e
ge
s
c
op
.
c: stmt_coll
e
ct_acces
s
es:
u
s
e
pet
_
expr_foreach_ac
c
e
s
s
_
e
xpr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sve
n
Ve
r
d
oola
e
ge
scop
.
c: stmt_
c
o
l
lect_params:
u
se
p
e
t_expr_foreach_acce
s
s_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ve
r
doolaege
ke
e
p tra
c
k
of in
d
enta
t
i
o
n
of extracted code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
v
en Verdool
a
e
g
e
u
pdate tes
t
case outputs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolae
g
e
extract enum
c
on
s
t
an
t
s
a
s
thei
r
int
e
ger values
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoo
l
aege
PetScan::extract_int: separ
a
te ou
t
extraction from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n Verdoolaege
PetSca
n
::extract_unsign
e
d: tu
r
n into a stati
c
function
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n
V
erdoola
e
ge
scan
.
cc:
change text
u
al order of extract_unsigned an
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet
_
c
heck_code
.
c: use pet_exp
r
_ex
t
ract_affine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
la
e
ge
expo
r
t pet_expr_extract
_
affi
n
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_context: n
o
longer keep tr
a
ck of "unknown" values
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolae
g
e
pet_expr_extract_aff
i
ne: no
longe
r
cre
a
te ne
w
pa
r
ameters
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoo
l
aege
PetScan
:
:extra
c
t_scop
:
populate pet_conte
x
t
with parameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
scan
.
cc: move up stat
i
c get_arra
y
_type function
in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
PetScan::get
_
a
rray_size: cache r
e
sults
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven
Ver
d
oolaege
P
etScan::set_up
p
e
r
_bounds:
extract out PetScan::get_a
r
r
a
y_s
i
z
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
pet_e
x
p
r_is_e
q
ua
l
: compare inde
x
expre
s
s
ion
s
up to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_e
x
pr
_
extract_a
f
fin
e
: exploit domain i
n
formation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
add
pet_cont
e
xt_get
_
gis
t
_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoola
e
g
e
tree2sc
o
p
.
c
:
sc
o
p_
f
rom_
b
lock: collect affine continue
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
pet_scop_from_pet_tree: extract pet_scop from the
ro
o
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoo
l
aege
add funct
i
ons
for manip
u
lating the do
m
ain of
a
pet_context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
rdoolaege
pet_s
c
op_r
e
strict: also restrict vir
t
ual array
e
xtents
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
p
e
t_contex
t
_evaluate_ex
p
r: first i
n
sert domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
pet_
c
heck_co
d
e:
r
emove
tracking of assi
g
nments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
l
aege
d
r
op
p
et_scop_detec
t
_pa
r
ameter_acce
s
ses
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_context_
e
valuate_expr: also plug in affi
n
e expressions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
separate
out pet_context_evaluat
e
_exp
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoo
l
aege
d
ro
p
pet_context_
m
ark_assig
n
ed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
PetScan::extract_sc
o
p: clea
r
w
r
i
t
es at outer level
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
Pe
t
S
can::extract_sco
p
: lo
c
a
l
l
y
construct pet_
c
onte
x
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next
