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
extract out pet_scop_add_boolean_array
2014-03-24
Sven Verdoolaege
extra
c
t out pet
_
scop_add_boo
l
e
an_a
r
ray
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n V
e
r
d
o
olaege
s
can
.
cc: scop_ad
d
_
a
rray: rename "dim"
var
i
a
ble to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n Verdoolaege
pet_
e
x
p
r:
keep
track of type_
s
ize
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ve
r
d
o
olaege
extract share
d
Pe
t
S
c
an::extract_acces
s
_
e
xpr(i
s
l_m
u
lti_pw_af
f
*)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
Verdoo
l
ae
g
e
e
x
tract out
pet
_
c
o
mparis
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ver
d
oolaege
scan
.
cc: move UnaryOperatorKind2pet_op_
t
ype
,
Binary
O
per
a
torK
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoola
e
ge
add pet_stmt_can_build_ast_exprs
a
nd pet_scop
_
can_build_
a
st_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n V
e
rdool
a
eg
e
p
e
t
_
scop_collect_arr
a
ys
:
collect arr
a
ys in a s
o
rt
e
d set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
pet_
s
cop_co
l
lect_arrays:
avoid tryi
n
g to remo
v
e "type
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en Verdoolaege
pet_stmt_from_pet_
e
xpr
:
drop isl_ctx argument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoola
e
ge
make pet_expr objects reference cou
n
ted
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolaege
P
etScan::extract_argu
m
ent: avoid modifying
p
a
r
t of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
S
ven Verdoolaege
update isl for __isl_null
m
emory managem
e
n
t
annotati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
S
ven Verdoolaege
extract some nes
t
ed parameters rela
t
ed code
into nes
t
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoo
l
aege
add pet_expr_access_g
e
t
_
ref_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven
Verdoolaege
add pet_e
x
pr_ac
c
ess_is_read
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
S
ven Verd
o
olaege
ad
d
p
et_expr_acces
s
_is_wri
t
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdool
a
ege
a
dd pet_expr_foreach_call_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
S
v
en
Verdoolaeg
e
add p
e
t_expr_
d
o
u
ble_get_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Ver
d
oolaege
a
d
d pet_expr_ac
c
ess_get_dependent_access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolaege
add pet_expr_access_g
e
t_must_access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sve
n
Verdoolaeg
e
upd
a
te
i
sl
f
o
r isl_spa
c
e_domain_fa
c
tor_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Ve
r
d
o
olaege
export pet_expr_access_get
_
id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolaege
e
xport pet
_
expr_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Ve
r
d
o
o
l
a
ege
expo
r
t pet_exp
r
_is_
a
ffin
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolaege
ex
p
ort pet_e
x
p
r_for
e
ach_access_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Ve
r
do
o
laege
ex
t
ract out pet_expr_access_pullback_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven
Verdoola
e
ge
ex
t
ract out p
e
t
_
expr_access_move_di
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolaege
extract out pet_ex
p
r
_access_get_p
a
ram
e
ter_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
S
v
en
V
erdoolaege
ex
t
ract
out p
e
t
_
expr_access_get_data_s
p
a
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sv
e
n
Ve
r
d
ool
a
eg
e
ext
r
act out pet_expr_gi
s
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sv
e
n Verdoo
l
aege
extract out pet_
v
alue_bou
n
ds_
a
pply to a separa
t
e file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolae
g
e
m
o
ve pet_expr functi
o
n
s
to s
e
pa
r
ate file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolaege
scop
.
c: expr_writes: use
p
et_expr_foreach_a
c
c
e
s
s_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
S
ve
n
Verdoolaege
s
c
o
p
.
c:
e
xpr_
d
etect_param
e
t
e
r_a
c
cesses: us
e
pet_expr_ma
p
_access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
S
v
e
n
V
e
r
d
oolae
g
e
pet_
s
c
o
p
_detect_p
a
ram
e
ter_accesses: rename "di
m
" variab
l
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolaege
sc
o
p
.
c: expr_propaga
t
e_param
s
: use pe
t
_expr_map_access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven V
e
rdoola
e
g
e
e
x
tr
a
ct ou
t
pet_
f
i
lter_insert_pma to separate file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sve
n
Verdo
o
l
a
ege
a
d
d more
t
es
t
cases
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Ver
d
oolaege
pe
t
_expr
:
m
e
rge unary,
binary and tern
a
ry types
into
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sv
e
n Verdoolaege
extract integers as in
t
e
g
e
r
e
xp
r
ess
i
ons r
a
ther than
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
S
v
en Verdoo
l
aege
u
p
date test c
a
s
e
ou
t
puts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolaeg
e
ad
d
support for int expressions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
S
v
en V
e
rdo
o
laege
pet_c
h
e
c
k_code
.
c: pass
along it
e
ration spac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Ve
r
doolae
g
e
extract out sh
a
red pet_stmt_get_spac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sv
e
n Verdoolaege
export
p
et_e
x
p
r
_from
_
index
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
S
ven Ver
d
oolae
g
e
pet_scop_emb
e
d: pass isl_aff s
c
hedule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sve
n
Verdoolae
g
e
e
xtract out pet_
s
tmt_is_as
s
i
gn
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolaege
e
x
t
ract out com
m
on p
e
t_st
m
t_is_ki
l
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoola
e
ge
PetS
c
an::extract_in
c
r
e
m
ent:
improve error message
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
S
ven Verdoolaege
s
u
ppo
r
t logical operator
s
in ex
p
ressions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
S
ven Verdoolaege
support int
M
od
,
i
n
t
Ceil and
i
ntF
l
oor
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sve
n
V
erdoolaege
provide
getter and
s
etter for de
t
ect-co
n
d
i
t
ional-assi
g
nment
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
pet_ch
e
c
k
_
c
ode
:
dump ite
r
ati
o
n domains if they
a
re
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sve
n
Verdoolaege
pet_ch
e
c
k_code: parse
isl optio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
S
v
e
n Verdoo
l
aege
s
c
an
.
cc:
indicator_function: coalesce d
o
ma
i
n b
e
f
o
re
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sve
n
V
e
r
d
oolae
g
e
scop
.
c
:
fi
x
t
y
pos
in
c
omments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sve
n
V
erdoolaege
scan
.
c
c
: fix typos in comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
S
ve
n
V
erdoo
l
aege
pet
_
s
cop_r
e
strict_skip: fix typ
o
in erro
r
message
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaeg
e
P
etScan::i
s
_n
e
sted_allowed
:
check
for skip conditions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
S
v
en Verdo
o
la
e
ge
pri
n
t
.
c: print_pet_exp
r
:
fix m
e
mo
r
y mana
g
e
m
e
nt
a
nnotation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verd
o
ol
a
ege
drop dead method Pet
S
can
:
:is_affine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
scop
.
c:
embed_acces
s
: d
r
o
p
r
edundan
t
variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Ve
r
d
oolaege
pet_scop_filt
e
r_sk
i
p: avoid recomputation o
f
test
e
xpression
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Ve
r
d
o
olaege
PetSca
n
:
:
extract_non_affine
_
condition:
r
e
m
o
v
e
redundant
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
separate out share
d
PetS
c
an:
:
update_scop
_
s
tart_en
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven
V
erdoolaeg
e
pet_expr_d
u
mp: o
n
ly p
r
int expr-
>
ac
c
.
re
f
_id if it is set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven V
e
rdoolaege
scop
.
c: stmt_propagate_params:
a
lso update accesses
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sve
n
Ve
r
d
o
o
laege
scop
.
c: st
m
t_coll
e
ct_params
:
also collect parameters
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
S
v
en Verdoolaege
scop
.
c:
*_collect_param
s
:
f
i
x erro
r
handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaeg
e
pet_scop_alig
n
_para
m
s: improve erro
r
handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolae
g
e
pet_sco
p
_align_pa
r
a
ms: re
n
am
e
"d
i
m"
va
r
iable to
"spac
e
"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven
Verdo
o
laeg
e
PetScan::extract_nested: plug memory lea
k
on
e
rror
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoo
l
aege
scan
.
c
c: cle
a
r
_
ass
i
gnment:
fix l
o
gic
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
S
v
e
n
Ve
r
do
o
laege
PetScan:
:
ext
r
act(IfStmt *): clear assignments in body
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven V
e
r
d
oolaege
P
et
S
can:
:
extract_
i
n
finite_fo
r
:
a
lso clear assignm
e
nts
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
S
v
e
n Verdoolaege
PetScan::extract_f
o
r
: always keep virtual
iterat
o
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sv
e
n Verdoolaege
modify
test
s
/unsi
g
n
ed3
.
c test case to
u
se
t
h
e
iterato
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-14
S
ven
V
e
r
do
o
laege
when autode
t
ecting only skip initial
de
c
larations in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-14
Sven
Ve
r
d
o
olaege
do no
t
extract loop ar
o
und partial bod
y
when autode
t
e
c
ting
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-14
Sven Verdoola
e
ge
PetScan::ext
r
act_non
_
af
f
in
e
_condition
:
tak
e
statement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-14
Sven Verdoolaeg
e
Pet
S
c
a
n::ex
t
ract_f
o
r: d
o
not allow init
i
al value to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-14
Sven Verdoolaeg
e
PetSca
n
:
:e
x
tract_for
:
clear as
s
ignment to ite
r
ator
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-07
Sven Verdoolaege
PetScan::unsu
p
po
r
ted: pass fi
x
e
d character string t
o
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-07
Sve
n
Verdoolaege
confi
g
ure
.
ac: add llv
m
-config --
s
ystem-
l
ib
s
to CL
A
NG_LIBS
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-07
Sv
e
n Ver
d
oolaege
update isl for suppor
t
f
o
r recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-01-29
Sven Verdoolaege
Makefile
.
am:
a
void use of INC
L
UDES variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-01-06
Sven Verdool
a
eg
e
AX_DETECT_GIT_H
E
AD: detect git ve
r
sion wit
h
newer ve
r
sions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-12-06
S
v
en Verdoo
l
aege
R
E
ADME: a
d
d cont
a
ct info
r
mation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-11-27
Sven Verdoolaege
ad
d
affine assumptions to the
c
ontext
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-11-27
Sve
n
Verdoo
l
aege
p
a
rse __pencil_assume state
m
e
n
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-10-17
Sven Verdoolaege
extract out
PetScan::extract_
a
r
gument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-10-16
Sven Verdoolaege
add suppor
t
for stru
c
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sve
n
Verdool
a
e
g
e
a
d
d
pet_scop_collect
_
t
a
gg
e
d
_
m
u
st_ki
l
ls
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoo
l
aege
a
d
d
pet_s
c
op_col
l
e
ct
_
m
u
st_k
i
lls
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
S
ven Verd
o
olaege
scop
.
c: e
x
tr
a
ct out expr_collect
_
access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
scop
.
c
: s
c
op_collect_access
e
s: rename "dim" variable
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
add pe
t
_expr_access_get_tagged_may_acces
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
add
pet_sc
o
p_collec
t
_tagged_{m
a
y,
m
ust}_{reads,writes}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sve
n
Ver
d
oolaege
ex
p
ort pet_expr_access_get_may_access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next