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
PetScan::extract_non_affine_condition: remove redundant resolve_nested
2014-03-19
S
v
en Verdoolaege
PetScan::extract_non_
a
f
fine_condition: r
e
move redunda
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
separate out shared PetScan::updat
e
_sco
p
_start_end
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdo
o
lae
g
e
pet_expr_dump
:
o
nly print exp
r
->acc
.
ref_id
i
f it is set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven
Verdo
o
l
a
eg
e
s
cop
.
c: stmt_
p
ropagate_params: also up
d
a
te a
c
cesses
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
S
v
e
n Verdoolae
g
e
scop
.
c
: stmt_collect_params: also co
l
l
e
c
t parameters
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
S
v
en Verdoolaege
scop
.
c: *_collect
_
pa
r
ams:
f
ix error ha
n
d
l
ing
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sve
n
Verdoolaege
pet_scop_a
l
ign_para
m
s
:
i
mprove error
h
andling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
pet_scop_align_params: r
e
name
"
dim" v
a
ri
a
ble to "space"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
P
e
tScan::extract_nested:
plug m
e
mory
l
eak
o
n
error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Ve
r
d
o
olaege
scan
.
cc: clear_assignment:
fix
l
ogic
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sve
n
Ver
d
oolaege
PetScan::extract
(
IfStmt *): clear assignment
s
in body
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
Pet
S
can::
e
xt
r
a
ct_infinite_for: also clear assignment
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sv
e
n Ver
d
oolaege
PetSc
a
n::extract_for: a
l
ways ke
e
p virtual i
t
erator
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven
V
e
rdoola
e
ge
modify t
e
sts
/
unsigned3
.
c test case t
o
u
se th
e
it
e
ra
t
or
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-14
S
v
en Ver
d
oo
l
aege
whe
n
a
u
t
o
detecting
only skip initial declara
t
ions
i
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-14
Sven V
e
rdool
a
eg
e
do
n
ot ex
t
ract loop around partial bo
d
y when autodete
c
ting
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-14
Sven
Ver
d
oolaege
PetScan::extract_non_affine_condition: take st
a
tement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-14
S
v
en Verdool
a
e
g
e
PetS
c
an::ext
r
act_fo
r
: do not allow initia
l
value to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-14
Sven
V
erdoo
l
aege
P
e
t
Scan::extract_fo
r
: clear assign
m
ent to iterator
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-07
S
ven Verdoolaege
PetSca
n
::unsuppo
r
ted: pass fixed character string
t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-07
S
v
en
V
e
r
d
o
ola
e
ge
configu
r
e
.
ac
:
add
l
l
v
m-config --sy
s
tem
-
l
ibs to CLANG_LIBS
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-07
Sv
e
n Verd
o
olae
g
e
update is
l
f
o
r supp
o
rt for rec
e
nt
c
la
n
gs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-01-29
Sven
V
erdoolaege
Ma
k
efile
.
am: avoi
d
us
e
of
I
N
C
L
U
DES
v
a
ri
a
ble
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-01-06
Sven Verdoolae
g
e
AX_
D
E
TECT_GIT_HEA
D
:
d
etec
t
git versio
n
wit
h
n
ewer ve
r
si
o
n
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-12-06
S
ven Verdo
o
laege
RE
A
DME
:
add
c
ontact
info
r
ma
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-11-27
S
ven Verdoola
e
g
e
add
a
ffine a
s
su
m
p
t
i
o
ns to
t
h
e c
o
ntext
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-11-27
Sven
V
e
r
doola
e
ge
p
a
rse __
p
encil
_
assume statements
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-10-17
Sven Verdoolaege
extra
c
t out PetScan::extract
_
argu
m
ent
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-10-16
Sven V
e
r
d
oola
e
ge
a
dd su
p
por
t
for structs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoo
l
aege
a
dd pet_scop_col
l
ect_tagged_must_k
i
ll
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdo
o
laege
ad
d
pet_sc
o
p_collect_must
_
kills
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven
V
erdoola
e
ge
s
cop
.
c: ext
r
act out expr_collec
t
_ac
c
ess
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven V
e
rdool
a
ege
sco
p
.
c
:
scop_collect_accesses: ren
a
m
e
"
dim
"
variable
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
add pet_expr_access_get_tagged_
m
ay_access
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
S
v
en Verdoo
l
aege
ad
d
pet_scop_colle
c
t_tagged_{may,mu
s
t
}_{rea
d
s,writes
}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verd
o
o
la
e
ge
e
xpor
t
pet_e
x
pr_access_get_may_access
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoo
l
ae
g
e
sco
p
.
c: expr
_
collect_accesses: plug memory leak
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verd
o
olaege
ex
t
ract out pet_clan
g
_base_type into sep
a
rate file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
s
c
an
.
cc: ext
r
a
ct out subscript
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
S
v
e
n Verdool
a
ege
sc
o
p
.
c: ex
t
ract out *_is_vi
r
tu
a
l
_
array functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven
V
e
rd
o
o
l
ae
g
e
pet_
e
xpr_f
r
om_index_an
d
_depth: extract ou
t
ext
e
nd_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sv
e
n Verdool
a
e
g
e
i
ntrodu
c
e pet_
t
ype
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Ve
r
doolaege
use
isl_
*
_reset_user ins
t
ead o
f
*_anonym
i
ze
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Ver
d
oolaeg
e
update i
s
l for support for mem
b
er access
e
s in AST
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoola
e
ge
pe
t
_expr
_
free:
return
s
t
ru
c
t pet_expr *
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdo
o
laege
PetS
c
an::resolve_nested(struct pet_stmt *): remove
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
P
e
tScan
:
:
r
e
s
olve_nested(struc
t
pet_expr
*
)
:
remove
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
S
ven Ve
r
doolaege
scan
.
cc
:
c
om
p
ute_wrapping: remov
e
unused va
r
i
able
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sv
e
n
Verdoolaeg
e
scan
.
cc
:
e
x
tract
_
skip_seq:
r
em
o
ve unused var
i
able
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
scan
.
c
c: univ
e
r
sally: remove unused vari
a
ble
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven
V
erdoolaege
PetSca
n
::
e
xtract_aff
i
ne:
r
emove unused
v
ariable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven
V
e
rdool
a
ege
M
ak
e
file
.
a
m: add du
m
m
y
C++ sourc
e
file
t
o pet an
d
pe
t
_check_co
d
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
S
ven Ver
d
o
o
lae
g
e
s
top
linking in cl
a
n
g
l
i
braries d
i
rec
t
ly
i
nto pet
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
also
print clang v
e
rs
i
on when printin
g
pet version
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Ver
d
o
olaege
README: u
p
d
a
te latest release of LLVM/clang
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-17
Sven
V
e
rdoolaege
p
a
rse
.
c: remo
v
e sp
u
rious duplicate declaration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-17
S
v
e
n
Verdoo
l
aege
pet_scop_fre
e
:
return struc
t
pet_scop *
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-17
Sven Verd
o
olaege
PetScan::extr
a
ct(StmtRa
n
ge, bool
,
b
o
ol)
:
break out
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-11
Sven
V
erdoolaege
pet_
s
c
op_collect_{reads,wr
i
tes}
:
take arguments into
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-11
Sve
n
Verdoolaege
pet_
s
cop_collect_{read
s
,
w
r
ites}: int
e
rsect rang
e
s with
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-11
Sven Verdoola
e
g
e
scan
.
cc: extr
a
ct_depth: use correct dimension ty
p
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-11
Sven Verdo
o
la
e
ge
pet_ex
p
r
_
from_access_and_in
d
ex: plug memory leak on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-08
Sven Ver
d
o
ola
e
ge
configure
.
a
c:
remove ex
p
licit dependence
on
gmp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-30
Sven
V
erdoolaege
di
s
card i
n
complete
l
y extracted co
m
pound stateme
n
t
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-30
Sven Verdoolaege
fix ha
n
dling of compound
s
tatements with in
i
tial partial
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
p
et_trans
f
orm_C_s
o
urce: ha
n
dle mult
i
p
l
e explicitly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaeg
e
add pet_scop_print
_
original
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
add p
e
t_transform_C_source
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
ven Verdoolaege
exten
d
PetASTC
o
nsu
m
er to extract a scop f
o
r
each function
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven
V
e
rdoolaege
post-proscess scops insid
e
P
etA
S
TC
o
nsum
e
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
add
pet_stmt_build
_
ast
_
e
x
prs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
ven Verdoolaege
add pet_stmt_print_body
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
ven Verdoolae
g
e
add pe
t
_scop_has_
d
a
t
a_dep
e
ndent_c
o
n
ditions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en Verdoolaege
a
dd pet_scop_has_
d
ata_dependent_
a
c
c
e
sses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n Ve
r
d
o
o
la
e
g
e
pet_che
c
k
_
code: use in
d
e
x
e
xpressions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Ver
d
oolaege
pet_check_code: use isl_id_to_p
w
_aff for
k
eeping track
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven
V
erdoolaeg
e
upd
a
te is
l
for isl_id_
t
o_pw
_
aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Ver
d
oolaege
k
eep track of
i
n
dex
expre
s
sio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoo
l
aege
s
c
o
p
.
c:
f
ix typo i
n
com
m
en
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sve
n
V
erdoo
l
aege
update test cas
e
outputs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n
Ver
d
oolaege
scop
.
c:
insert_fil
t
er_map: construct function inte
a
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en Verdoolaege
scop
.
c
:
u
pdate_domain: use function intead of
relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven
V
erdoolaege
sco
p
.
c:
u
pdate
_
d
o
m
ain:
rename var
i
a
ble
"
dim" to "sp
a
ce"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven
Ve
r
doolaeg
e
PetScan::resolve_
n
ested: us
e
fu
n
ction
to emb
e
d ar
g
uments
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
PetSc
a
n
:
:
kill: use p
e
t_expr_kill_from_acce
s
s_and
_
ind
e
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
v
e
n
Ver
d
ool
a
e
g
e
scop_
a
dd_array
:
take ind
e
x expre
s
sion instead
o
f
a
ccess
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven V
e
rdoolae
g
e
p
et_scop_filter: take
i
ndex ex
p
re
s
s
ion in
s
tead of ac
c
ess
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en V
e
rdool
a
e
ge
use an i
s
l_
m
ulti_p
w
_aff to
r
e
p
resent a skip cond
i
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en Verdoolaege
pet_s
k
ip_info: use isl_multi_pw_a
f
f
to represent sk
i
p
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven V
e
rdoolaege
PetS
c
an::extra
c
t_non
_
aff
i
n
e_condition: ta
k
e index expression
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en
Verdoola
e
ge
scan
.
cc: ext
r
act_sk
i
p: use pet_exp
r
_from
_
i
ndex
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
ven Ver
d
oolaege
pet_skip_info_if
:
:extrac
t
:
t
ake index expression instead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
scan
.
cc: univ
e
rsally
:
u
s
e pet_exp
r
_from_index
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven V
e
rdoolaege
PetScan::extract_conditiona
l
_
a
ssi
g
n
m
ent:
u
s
e
pet_expr_from_ind
e
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
v
e
n
Verdoolaege
replace
P
etS
c
an::extract_
a
c
c
ess by Pe
t
S
can::extract_index
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en Ve
r
doolaege
scan
.
cc:
extract out extract_access_e
x
pr(ValueDecl
*
)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
ven Verdoolae
g
e
scan
.
cc: extract_expr(C
o
nditionalOperator *): use
pet_ex
p
r_f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
v
e
n Ve
r
d
o
olaege
scan
.
cc: add
c
reate_test
_
index
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
ven Verdoo
l
aege
add
pet_e
x
p
r_kill_f
r
om_access_and_in
d
ex
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoo
l
aege
add
p
e
t_expr_from_in
d
ex_and
_
depth
w
r
apper
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next