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
add support for structs
2013-10-16
Sven Verdoolaege
add support for st
r
ucts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
S
ven Verdoolaege
add pet
_
sco
p
_coll
e
c
t
_t
a
gg
e
d_must_
k
ill
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoola
e
g
e
a
dd p
e
t_sc
o
p
_
colle
c
t_mu
s
t_ki
l
l
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
scop
.
c: extract out e
x
pr_col
l
ect_access
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
S
ven Verdoolaege
s
c
op
.
c:
scop_collect_
a
c
cesses:
rename "d
i
m" variab
l
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sv
e
n V
e
rdo
o
laeg
e
ad
d
pet_e
x
pr_access_ge
t
_tagged_may_acces
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sv
e
n Verdoolaeg
e
add pet_scop_co
l
l
ect_tagged_{may,must}
_
{reads,writes}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoo
l
aege
expor
t
pet_expr_access_get_may_access
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
S
v
e
n Ver
d
oolaege
sc
o
p
.
c: expr_collect_accesse
s
: plug
memory leak
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Ver
d
oolaege
extract out
pet_clang_b
a
s
e
_type into se
p
arate file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
scan
.
cc: e
x
tract out subscript
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdo
o
laege
scop
.
c: extract out *_is_virtual
_
array functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sv
e
n Verdoolaege
p
et_expr_from_index
_
and_
d
e
pth: extract out exten
d
_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven
Verdoolaege
int
r
oduce pet_t
y
pe
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
S
ven V
e
rdoola
e
g
e
use isl_*_reset_user ins
t
ead o
f
*_anony
m
ize
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verd
o
olaege
update i
s
l fo
r
sup
p
ort for mem
b
e
r
a
ccesses in
AST
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaeg
e
pet_expr_free: return struct pe
t
_expr
*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
PetScan::resolve_nested(s
t
ruct pet_
s
tmt *):
r
emov
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sve
n
Verdoolaege
PetScan::r
e
solve_nested(stru
c
t pet_
e
xpr
*): remov
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
scan
.
cc: compu
t
e_wrappin
g
: remove unu
s
ed variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdo
o
laege
scan
.
cc: extr
a
ct_skip_
s
eq: remove unused variabl
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdo
o
laege
scan
.
cc:
unive
r
s
a
lly: rem
o
v
e
u
n
use
d
v
ariable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sv
e
n Verdoolaege
PetScan::extract_a
f
fine: remove unused variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sve
n
Verdo
o
laeg
e
Makefile
.
am
:
a
dd dummy C++ sourc
e
file to pet and pet_che
c
k_code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
S
v
e
n
V
erdoolaege
stop linking in c
l
ang libraries direc
t
ly i
n
to pet
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoo
l
a
e
g
e
a
l
s
o
pr
i
nt
clang ver
s
ion when printing pet
v
ersion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoola
e
ge
README: up
d
ate
l
at
e
st release of
LLVM/clang
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-17
Sven
Verd
o
olaege
parse
.
c: remov
e
spurio
u
s duplicate declar
a
ti
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-17
Sven
Verdoolaege
pet_scop_fre
e
: ret
u
r
n
s
t
ruct pet_scop *
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-17
Sven Verdoolaege
PetScan
:
:ex
t
r
a
ct(Stmt
R
ange,
bool, bool): break out
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-11
Sve
n
Verdoolaege
pet_sco
p
_collect_{
r
eads
,
w
rite
s
}:
t
ake argu
m
e
n
ts into
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-11
S
v
en Verdool
a
ege
pet
_
scop_c
o
llect_{rea
d
s
,
w
rites}: intersect ranges with
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-11
Sven Verdool
a
ege
scan
.
c
c: extra
c
t
_
depth: use correct dim
e
n
s
i
on type
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-11
S
v
en Ve
r
do
o
laege
pe
t
_expr
_
from_access_a
n
d_index: plug memor
y
le
a
k
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-08
Sven Verdoolaege
configure
.
ac: remove explicit dependence on gm
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-30
S
v
en Verdoolaege
discard
i
nc
o
mpletely ext
r
a
c
ted
c
ompoun
d
statements
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-30
Sven Ver
d
oolaege
fix handling of compound
s
tatements wit
h
initial partial
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven V
e
rdool
a
ege
pet_transform_C_source
:
handle multi
p
le exp
l
icitly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
ad
d
pet
_
scop_print_ori
g
inal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
ven Ve
r
doolaege
add pet_transform_C_s
o
urce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
extend Pet
A
STConsumer to
e
xtra
c
t a sco
p
for each fu
n
ction
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en Verdo
o
laege
po
s
t-proscess sco
p
s in
s
i
d
e
PetASTConsumer
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven
V
e
rdoolaege
add pet_s
t
mt_build_ast_exp
r
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven
V
erd
o
o
laege
a
d
d pet_s
t
mt_p
r
int_body
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
ad
d
pet
_
scop_has
_
data_dep
e
n
d
en
t
_conditions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven
V
e
rdool
a
ege
add pet_sc
o
p
_has_data
_
dependent_accesses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoo
l
aege
p
e
t_chec
k
_cod
e
:
use index expres
s
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en V
e
r
d
oolae
g
e
pet_check_code
:
u
se isl_id_to_p
w
_aff for keeping track
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven
Verdo
o
laege
update isl for i
s
l_id_to_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
ven Ver
d
oolaege
keep track of
index
expression
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoo
l
aege
s
c
op
.
c: fix typo in comme
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
ven Verdo
o
laege
updat
e
test case outputs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sve
n
Ver
d
oolaege
scop
.
c: insert_
f
ilter_map
:
construc
t
funct
i
on inte
a
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
v
e
n
Verdoo
l
aege
s
co
p
.
c:
u
p
d
a
te
_
dom
a
in: use function intead of r
e
lation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven
Verdoolaege
sc
o
p
.
c: update_domain:
r
ename variable
"
dim" to "space
"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sve
n
V
erdoola
e
ge
PetScan::resolve_nested: use function to e
m
be
d
argume
n
t
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n Verdoolaege
PetSca
n
::ki
l
l
: use p
e
t
_expr_k
i
ll_from_access_
a
nd_i
n
dex
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoo
l
a
ege
scop_a
d
d_array: t
a
ke index
expre
s
sion
i
ns
t
ead of
a
cce
s
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
pet_scop
_
filt
e
r: take index expressi
o
n instead of ac
c
ess
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n Verdoolaeg
e
use an isl_multi
_
p
w
_
aff to
repr
e
sent a
skip condition
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven
V
erdool
a
ege
p
e
t
_
skip_info
:
us
e
isl_multi_pw_aff to r
e
p
re
s
ent
s
k
ip
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verd
o
olaeg
e
P
e
tS
c
an::ext
r
act_n
o
n
_
affine_condition
:
take
in
d
ex expressi
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verd
o
olaege
scan
.
cc
:
ex
t
ra
c
t_skip: use pe
t
_e
x
pr_from
_
index
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolae
g
e
pet_
s
kip_info
_
if::extra
c
t:
take index expression instead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en
Ver
d
oolaege
s
can
.
cc: un
i
v
e
rsally
:
use
p
et_expr_from_ind
e
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoo
l
aege
PetScan::ext
r
ac
t
_
conditional
_
as
s
ignment: use
p
et_e
x
pr_f
r
o
m
_index
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verd
o
ola
e
ge
rep
l
ac
e
PetScan::extra
c
t_access by PetScan::extract_index
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
scan
.
cc
:
ex
t
ract
out extract_
a
c
c
e
s
s
_exp
r
(ValueDe
c
l *)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven
Ve
r
d
oo
l
aege
scan
.
cc: extract_expr(Condit
i
onalOperator
*
)
:
us
e
pet_expr_f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
ven Verdoolaege
scan
.
cc: ad
d
creat
e
_
tes
t
_index
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en V
e
rdoolaege
add pet
_
expr_kill_
f
rom_access_and_index
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven
Ver
d
o
olaege
add pet
_
expr_from_index_and
_
depth wrapper
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaeg
e
add pet_expr_from_inde
x
wra
p
per
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaeg
e
u
p
date is
l
fo
r
impro
v
ed
s
upport fo
r
isl_mul
t
i_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-25
Sven V
e
rd
o
o
la
e
ge
use isl_aff to represent
m
apping from virt
u
al i
t
e
r
a
t
or
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-25
Sven Verdoolae
g
e
sca
n
.
cc: c
o
mpute_w
r
appi
n
g: dr
o
p dead co
d
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-25
Sven Ver
d
oo
l
aege
scan
.
cc: PetScan::extract_for: use i
d
entity_map inst
e
ad
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-25
Sven Verdoolaege
u
s
e
i
m
p
lications to en
c
o
d
e while and
b
reak filters
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-25
Sven Ve
r
doolaeg
e
introduce
p
et
_
implica
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-25
Sven Verd
o
o
la
e
g
e
scan
.
cc: scop_add
_
while:
t
a
k
e
i
s
l_id in
s
tead of
i
s
l_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-25
S
ven Verdoolaege
scan
.
cc: scop
_
add_
b
reak: tak
e
isl_id instead
o
f
isl_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-25
Sven Verdoolaege
add pet_
s
cop_get_skip_
i
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-25
S
ven Verdoolaege
s
c
an
.
cc: extra
c
t out
s
hared pet_s
c
op_get
_
affine_s
k
ip_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-25
Sven Verdoola
e
ge
e
xtract out
shar
e
d pet_expr_a
c
cess_ge
t
_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-25
Sven Verdoolaege
scop
.
c: extra
c
t ou
t
acc
e
s_apply
_
va
l
ue
_
bounds
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-25
Sv
e
n Verdoo
l
aege
extract out sha
r
ed pet_expr_is_scala
r
_access
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-25
S
v
en Verdoo
l
aege
s
cop
.
c: expr_writes: use
pet_expr
_
i
s_
a
ffine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-25
S
ven Verdoolaege
scop_p
l
us
.
c
c: ac
c
ess_coll
e
ct_a
r
rays:
u
s
e pe
t
_
e
xpr_is_affine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-25
Sven Verd
o
olaege
scop
.
c:
expr_
c
o
llect_ac
c
esses: use pet_expr_i
s
_affi
n
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-25
Sven Ve
r
doolaege
ad
d
reference identifiers
to al
l
acce
s
s expressio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaeg
e
update test case o
u
tpu
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdo
o
laege
c
onfigure
.
a
c
:
link
in llv
m
opti
o
n component
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven V
e
r
doolaege
update isl to
v
e
r
sion 0
.
1
2
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-17
Sven Verdoola
e
ge
add pet_expr_foreach_access_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-17
Sve
n
V
e
rdoolaege
rename pet_e
x
pr_
f
or
e
a
ch_access to pet
_
expr_map_a
c
cess
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-17
Sv
e
n Ve
r
dool
a
eg
e
replace pet_e
x
p
r
_foreach_access by pet
_
expr_foreach_access_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-17
Sven Ve
r
doolaege
scan
.
cc: remove_
n
ested_parameters:
u
se
p
et_expr_f
o
reac
h
_acce
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-17
Sv
e
n Verdoolaege
scop
.
c: exp
r
_
e
mbed: use pet_e
x
pr
_
f
o
reach
_
access_e
x
pr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-06
S
ven
Verdo
o
laege
ski
p
compound statement with only
statements that we
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-02
Sven Verdoolaeg
e
pe
t
_array_embed
:
imp
r
ove error handli
n
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next
