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
Initialize compiler builtins
2014-07-17
Sven Verdoo
l
aege
pet_tree_dump:
f
ix t
y
p
o
in outp
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sv
e
n
Ve
r
doo
l
aege
scop
.
c
:
fix typo
in
c
o
m
m
ent
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven Ver
d
oola
e
ge
sc
o
p
.
c: scop_alloc: plug
m
emory le
a
k on error path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sve
n
V
e
rdoo
l
aege
expr
.
c
:
extract
_
affine_m
u
l: ab
o
rt on error rather than
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
S
v
en
V
e
r
d
oolaege
PetScan
:
:set_upper_bounds: handle arrays decla
r
ed inside
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-09
Sven van Ha
a
str
e
gt
allow specifi
c
a
tion of summary fu
n
c
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-09
S
v
en
Verdoo
l
aege
d
e
r
ive acc
e
ss
relations of call expressio
n
s f
r
om function
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven
Verdoola
e
ge
ad
d
pet_expr_map_call
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
oolaege
add pet_expr_access_get_augmented_domain_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdool
a
eg
e
P
e
tScan::extract_expr(Cal
l
Expr *):
e
xt
r
act fun
c
tion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en
Ver
d
oolaege
p
e
t_expr:
k
eep track of function summaries in call
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdoolaeg
e
p
et_exp
r
: put pet_expr_cal
l
f
i
eld in sub
s
t
ructure
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdo
o
laege
introduce pe
t
_
functi
o
n
_
summary
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdoola
e
ge
pet_expr_access_set_a
c
cess: set rea
d
/
write on
n
on-empty
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
oolaege
break up access relati
o
ns into ma
y
_read/m
a
y_write/must_wr
i
te
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
V
erdoolaege
add pe
t
_union_m
a
p_move_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
oola
e
ge
i
n
troduce
p
e
t
_
expr_access
_
type
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdo
o
laege
d
rop pe
t
_
expr
_
fro
m
_access_and_in
d
ex
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
r
doolaege
expli
c
itly m
a
rk kill access
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verd
o
olaege
pet_exp
r
: repres
e
nt re
a
d/wri
t
e flags as
b
its
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Ver
d
oolae
g
e
pet_e
x
pr: docum
e
nt th
e
read and write field
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n
V
erdoola
e
ge
break up access relations into may_read/may
_
write
/
mu
s
t_wr
i
te
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
er
d
oo
l
aege
pet_exp
r
_tag_access: avoi
d
use of t
a
rget space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
o
o
laege
post
p
o
ne introduction of access
relati
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
V
erdo
o
laege
emit
.
c:
e
m
i
t
_
ex
p
r
:
e
xtract o
u
t emit_access_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
e
n
Verdoolaege
drop pet_expr_access_get_a
c
cess
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
nest
.
c:
move
i
s_sub_acce
s
s
t
o
expr
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolae
g
e
tree2scop
.
c:
extract_kill: upd
a
te
k
i
ll ex
p
ression rather
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoo
l
a
e
ge
pet_ex
p
r
_is_affine: av
o
id using
a
c
cess
r
elation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verd
o
o
l
a
e
ge
pet_expr_filt
e
r: avoid
u
s
ing ac
c
ess rel
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erd
o
o
la
e
ge
pet_ex
p
r
_
a
c
cess_update
_
domain:
avoid
using
acce
s
s rel
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoola
e
ge
p
e
t_expr_acc
e
ss_get_must_access:
a
v
o
id u
s
ing ac
c
e
ss
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoo
l
aege
pet
_
expr_access_get_
i
d: avoid u
s
in
g
a
ccess relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoola
e
ge
expr
.
c: acces
s
_ad
d
_ref_
i
d: avoi
d
using a
c
cess relat
i
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoola
e
g
e
scop
.
c: access_collect_params: avoid using access relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
oolaege
scop
.
c:
i
mp
l
ies_fil
t
er: avoid using access r
e
lation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
oolaege
scop
.
c
:
access_ext
r
act_
c
ontext:
avoi
d
u
s
ing access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
ool
a
eg
e
scop
.
c:
e
x
p
r_extr
a
ct_con
t
ex
t
:
a
void usin
g
access rela
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoola
e
ge
sc
o
p
.
c: extract out
s
h
ared drop_arguments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoo
l
aege
pe
t
_
e
x
p
r_a
c
cess_update_domain: minor clean-
u
p of
expression
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
V
e
r
doolaege
f
u
rther
g
enera
l
iz
e
comp
u
t
e_to
_
inner to
suppo
r
t
p
et_scop_comp
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
ge
n
eralize com
p
ut
e
_
t
o_inner to support
p
et_scop_compute
_
o
ute
.
.
.
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
ner: micro
-
optimization
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-19
Sven Verdoolaege
tr
e
e
2scop
.
c: is_
n
ested_allowed: do n
o
t a
l
low n
e
s
t
in
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-05-26
Sven Ve
r
d
o
olae
g
e
PetScan::set_upper_bou
n
ds: use declar
e
d size
o
f static
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
S
v
en Verd
o
olaege
scop
.
c:
r
e
strict_skip: update documentation to change
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven
V
e
r
doolaege
tree2sc
o
p
.
c: scop_add_inc: take into
a
c
c
oun
t
a
ffine
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdoolae
g
e
tree2scop
.
c: mov
e
up apply_a
f
f
i
ne_conti
n
ue
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven Ve
r
doo
l
aege
tree2scop
.
c: s
c
op_from_non_affine_while: extra
c
t
out
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
S
v
e
n Verdoolaege
pet 0
.
05
commit
|
commitdiff
|
tree
2014-04-14
S
ven Ver
d
oolae
g
e
up
d
a
t
e is
l
to
v
ersion
0
.
13
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-13
Sven Ve
r
doolaege
README: update LLVM/clang
i
nstallation instructions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdool
a
ege
interface/extract_
i
nterface
.
cc: ex
p
licitl
y
inclu
d
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
S
v
en Verdoo
l
a
e
ge
u
p
d
a
t
e
f
or
c
h
ange in ar
g
um
e
nt
s
of Compiler
I
nst
a
n
c
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Ver
d
o
olaege
pet
.
cc:
add spac
e
betw
e
en liter
a
l and identi
f
ier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verd
o
o
laege
upda
t
e isl fo
r
support
f
or recent
c
langs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sve
n
Verd
o
olaege
pet_stmt_
f
ro
m
_pet_tr
e
e: avoid
f
re
e
of unin
i
tialized
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-06
Sven Verd
o
olaege
scan
.
cc: fix typo in
comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verdoolaege
pet_scop_fr
o
m_pet_stmt: do not ext
r
act
c
ontex
t
f
r
om
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sve
n
V
e
rdoolaege
PetScan::extract_argumen
t
: handle
passing of entire
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verdoolaege
Makefil
e
.
a
m: add dummy C++ source fi
l
e to pet_scop_
c
mp
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven Ver
d
oolaege
h
a
ndle pen
c
il
independent pragmas
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoo
l
aege
PetS
c
an: keep track of
l
ine number of c
u
r
rent Stmt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sv
e
n
V
e
rdoolaege
pet
.
cc: extract out PetAST
C
onsumer::ad
d
_pragma_handlers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
v
e
n
Verdoolaege
ad
d
encapsulate
_
dynamic_co
n
t
r
o
l
o
p
tio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ve
r
doo
l
aeg
e
pet_scop_fr
o
m_pet_tree: create
s
tatemen
t
s direc
t
ly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ver
d
o
o
l
aege
repl
a
c
e
pet_stm
t
_
f
rom_
p
e
t_expr by
p
et_stmt_from_pe
t
_tree
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
ven Verdoolaege
p
e
t_stmt: use pet_tree to represent state
m
ent bo
d
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sve
n
Verdool
a
e
g
e
scop
.
c: extract
out pet_stmt_is
_
affine_as
s
ume an
d
pet_stmt_a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoo
l
aege
s
c
op
.
c: s
t
mt_col
l
ect
_
accesses:
use pet_expr_foreach_
a
cce
s
s_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ver
d
oolaege
scop
.
c: stmt_collect_pa
r
a
m
s
: u
s
e pet_expr_foreach
_
acces
s
_exp
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
v
en Ve
r
doolaege
keep t
r
ack of indentation of extracted
c
ode
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven V
e
r
d
oolaege
update test cas
e
outputs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoo
l
aege
extract enum c
o
nstan
t
s
a
s their intege
r
v
alues
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
P
e
t
S
c
an::
e
x
t
ract_i
n
t: separate out extraction from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
ge
PetScan::extra
c
t_un
s
i
g
n
ed: turn in
t
o a static fun
c
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
scan
.
cc: chan
g
e textual order of extra
c
t
_unsigne
d
and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
pet_
c
heck_co
d
e
.
c: use pet_
e
x
pr_extract_affine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
exp
o
r
t pet_expr_
e
x
t
ract_
a
ffine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
p
e
t_c
o
ntext: no longer keep track o
f
"
u
nknown" values
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
pet_exp
r
_extract_
a
ffine: no longer cre
a
te new paramet
e
rs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
e
g
e
Pet
S
can::e
x
t
r
act
_
scop:
p
opula
t
e
pet_con
t
ext with pa
r
am
e
t
er
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
scan
.
cc:
move
up stati
c
get_array_type functio
n
i
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
PetScan
:
:
g
et_array_s
i
ze: c
a
che results
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdool
a
ege
PetScan::set_upper_bounds
:
extract out P
e
t
S
can::get
_
a
rray_size
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
pe
t
_expr_is_
e
qual: com
p
a
r
e
i
ndex expressions
u
p
to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
V
erdoolaege
pet_expr_extra
c
t_affine: exploit do
m
ain
i
nformation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdo
o
laege
a
d
d
p
et_
c
ontext_get_gist_dom
a
i
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aege
tree2
s
cop
.
c: sco
p
_from_block: colle
c
t
affine continue
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolae
g
e
pet_
s
c
op_fr
o
m_pet_t
r
ee: extract pet_scop f
r
om the
roo
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
ad
d
fun
c
t
i
ons for man
i
pulating the dom
a
in of a
pet
_
c
ontext
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdo
o
laege
pet_scop_restrict
:
also restrict virtual array extents
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet
_
context_evaluat
e
_expr: first insert domai
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
pet
_
check_
c
ode
:
remove tracking of assignments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoo
l
aege
drop pe
t
_scop_detect_parameter_accesse
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven V
e
rdoolae
g
e
pet_conte
x
t
_
eva
l
uate_exp
r
: also plug i
n
a
f
fi
n
e expr
e
ssion
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolae
g
e
separate out pet_context
_
evaluate
_
expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaeg
e
d
r
op
p
et_contex
t
_mark_a
s
signed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
P
e
tSc
a
n
:
:
extract_s
c
op:
clear
writes a
t
outer level
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
Verdoolaege
Pe
t
Scan::extract_scop: locally
c
onstruc
t
pet_context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next