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
introduce pet_loc
2014-03-21
Sven
V
erdoolaege
update
t
e
s
t c
a
s
e
out
p
u
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sve
n
Verdoolaege
add s
u
pport for int
e
xpressions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolaege
pet_check
_
cod
e
.
c
:
pass along iter
a
ti
o
n space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verd
o
o
l
aege
ext
r
act ou
t
shared pet_stmt_get_
s
p
a
c
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
S
ven Verdoo
l
ae
g
e
exp
o
rt
p
et_
e
xpr_from_index
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
S
ven Ve
r
do
o
l
a
eg
e
p
e
t
_sco
p
_embed: pas
s
isl_aff
s
ch
e
dule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolaege
extract out pet_stmt_
i
s_assign
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven V
e
rdoolaege
extract
o
ut common
p
et_stmt_i
s
_kil
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolaege
PetScan::extract_increm
e
nt: improve er
r
o
r
m
e
ss
a
ge
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sv
e
n
Ver
d
o
olaege
suppo
r
t lo
g
ical
o
perators in exp
r
e
s
sio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
S
ven Verdoolaege
su
p
port intMod,
intCei
l
and intFloo
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven
V
erdoola
e
ge
provide getter a
n
d setter for
d
e
tect
-
conditional-assignmen
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
S
v
en Verdoola
e
ge
pet_che
c
k_code:
dump
ite
r
ation domains if they are
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
pet
_
ch
e
ck_code
:
parse
i
sl options
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
S
v
en V
e
rdo
o
la
e
g
e
scan
.
cc: indicat
o
r
_fu
n
ction: coalesce domain befor
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sve
n
Verdoolaege
scop
.
c: fix typos i
n
c
om
m
ents
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaeg
e
s
can
.
c
c:
fix typ
o
s in commen
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven
Verdoolaege
pet_
s
co
p
_
restrict_skip: fix typo in erro
r
message
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
PetSc
a
n::is_n
e
sted
_
allo
w
ed:
c
heck
f
o
r
skip condit
i
ons
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sv
e
n
Ve
r
d
oolaeg
e
print
.
c:
p
r
int
_
pet_expr: fix mem
o
ry management annotation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaeg
e
drop dead m
e
t
h
od
PetScan::is_affin
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
S
ve
n
Verdoola
e
ge
scop
.
c: e
m
bed_acc
e
ss: drop redundant variabl
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven
Ve
r
dool
a
e
g
e
pet
_
scop_
f
ilter_
s
kip: a
v
oid
r
eco
m
put
a
tion of test expressio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sve
n
Verdoo
l
aege
PetScan::e
x
tract_n
o
n_
a
f
fine_cond
i
ti
o
n: r
e
move
redundant
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
S
v
e
n van Haa
s
tregt
A
X
_DETECT_GIT_HEAD: avoid emp
t
y
v
ersion string
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
S
v
en V
e
r
d
oola
e
ge
separ
a
te out shared PetScan::updat
e
_scop_start_end
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verd
o
ol
a
ege
p
e
t_expr_du
m
p: only prin
t
expr->acc
.
ref_id if it is
s
et
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
s
c
op
.
c
: st
m
t_propagate_params: als
o
upda
t
e accesses
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
S
v
en
V
erdoolaege
scop
.
c
:
stmt_
c
ollect
_
p
a
rams: also col
l
ect paramete
r
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaeg
e
scop
.
c:
*_collect_params: fix error handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven V
e
rdoolaege
pe
t
_scop_align_params: impro
v
e
error h
a
ndlin
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sv
e
n Ve
r
doolaege
pet_scop_align
_
param
s
:
r
ename "dim"
variabl
e
to "
s
pace"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
P
e
tScan::extrac
t
_nested:
plug
m
emory
l
eak o
n
e
r
r
o
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
S
v
en Verdoolaeg
e
sca
n
.
c
c
:
c
lear_assign
m
en
t
: fix
l
ogic
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolae
g
e
PetScan::extract(IfStmt
*): clea
r
ass
i
gnments in body
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Ver
d
oolaege
P
et
S
c
a
n::ex
t
ract_infinite_fo
r
: also clear assignme
n
ts
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
P
e
t
Scan
:
:
e
x
tract_f
o
r:
always ke
e
p vi
r
t
ual
it
e
rator
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
m
o
d
if
y
t
ests/u
n
signed3
.
c test cas
e
to us
e
the i
t
erator
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-14
Sven Verdoola
e
ge
when
autodetecting only skip initial declarat
i
ons in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-14
Sven Verdool
a
ege
do not extra
c
t loop
aro
u
nd p
a
rt
i
al body when autodete
c
ting
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-14
Sven Verdoolaege
Pe
t
Sc
a
n::extra
c
t
_
non
_
affine
_
cond
i
t
i
on: take st
a
tement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-14
Sven Verdoolaege
PetScan::e
x
tract
_
f
or: d
o
not a
l
l
ow initial val
u
e to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-14
Sven V
e
rdool
a
eg
e
Pe
t
S
can:
:
extr
a
ct_
f
or: clear assi
g
nment to iterator
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-07
Sven Verdo
o
l
aege
PetScan::
u
nsupport
e
d: pas
s
fi
x
ed character string to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-07
Sven Verdoo
l
aege
con
f
igure
.
ac: add
l
lvm-config -
-
sy
s
t
e
m-libs to C
L
ANG_
L
IBS
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-07
Sven Verdool
a
eg
e
up
d
ate isl
f
o
r support for recent cl
a
n
g
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-01-29
Sven Verdoolaege
Makefi
l
e
.
am: avoid use of INCLUDE
S
variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-01-06
S
ven
Verdoolaege
AX_DETECT_GIT_HEAD: detect git version with newer
v
e
r
sions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-12-06
Sven V
e
rdoolaege
R
E
ADME: add cont
a
ct
in
f
ormation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-11-27
A
l
bert C
o
hen
Support for additional binary/
u
na
r
y
operators in C
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-11-27
Sven
Verdoolae
g
e
add affine assumptions t
o
the context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-11-27
Sven Verdoolaege
parse __penc
i
l_assume statements
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-10-17
S
ven Verdool
a
ege
extrac
t
out
PetScan::extr
a
ct_argument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-10-16
Sven Verdoolaege
add
s
upport for stru
c
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Ver
d
oolaege
add pe
t
_sco
p
_collect_tagged_must_kills
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdool
a
ege
add pet_scop_coll
e
ct
_
m
u
st_kill
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
S
ven Verdoolae
g
e
scop
.
c:
e
x
tract
ou
t
expr_collect_access
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdo
o
lae
g
e
scop
.
c: scop_collect_accesses:
rena
m
e
"dim" variable
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sve
n
Verdoolaege
add pet_e
x
pr
_
acces
s
_get_tagged_
m
ay_acce
s
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
S
ven Verdoolaege
add pet_scop_collect_tagg
e
d_{may,must}
_
{reads,writes}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaeg
e
export
p
et_expr_access_get_may_access
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolae
g
e
scop
.
c: exp
r
_coll
e
ct_accesses: plug me
m
o
r
y
leak on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Ve
r
doolae
g
e
extract out pet_
c
la
n
g_
b
a
se_ty
p
e into separate file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven V
e
rdoolaege
scan
.
c
c
: extract out subscript
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Ve
r
doolaeg
e
scop
.
c: extra
c
t out *_is
_
v
irtual_arra
y
f
unctions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
pet
_
expr_from_ind
e
x_an
d
_
depth: extract out
e
xten
d
_rang
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
introduce pet_type
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaeg
e
u
s
e isl_*
_
r
eset_user instead
o
f *_a
n
onymize
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
S
ven Verdoolaege
upda
t
e i
s
l for
suppo
r
t fo
r
member accesses in A
S
T
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
pet_expr_
f
ree: return struc
t
pet_expr *
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven
Verdoolaege
PetScan::resolve_nested(struct pet_stmt *): re
m
ove
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdo
o
lae
g
e
PetScan
:
:resolve
_
nested(s
t
r
u
c
t
pe
t
_e
x
pr *): remove
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoo
l
a
ege
s
c
a
n
.
c
c: compute_
w
rapping:
remov
e
unus
e
d
v
ariable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
S
v
en Verdoolaege
s
c
an
.
cc: extract_skip_seq: remove unu
s
ed variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sv
e
n Verdoo
l
aege
sca
n
.
cc: uni
v
ersally: remove
u
nu
s
ed variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
PetScan::extract_af
f
ine
:
re
m
ove unused variabl
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
S
ven Ver
d
oolaege
M
a
kefile
.
am: add dummy C+
+
source fil
e
to pet and
pet_
c
h
e
c
k
_code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
s
t
op linking in c
l
ang libraries directly into pet
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
S
ven Verdoolaege
a
lso
p
rint
clang
version w
h
e
n pri
n
tin
g
pe
t
versio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
README: upd
a
te latest release of LLVM/
c
la
n
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-17
S
v
e
n Verd
o
olaege
par
s
e
.
c: remove spuriou
s
duplicate
d
eclaration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-17
Sven Verdo
o
laege
pe
t
_sco
p
_f
r
e
e
: return
struct pet
_
scop *
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-17
Sven Verdoolaege
PetScan::extract
(
StmtRange, bool,
b
ool): break out
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-11
Sv
e
n Verdoolaege
pet_s
c
o
p_coll
e
ct_{
r
eads,wr
i
tes}: take arguments into
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-11
S
v
e
n
Verdo
o
lae
g
e
pet_sco
p
_
c
ollect_
{
reads,writes}
:
intersect
r
anges with
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-11
Sven Ve
r
doola
e
ge
sc
a
n
.
c
c: extr
a
ct_depth: use corre
c
t dim
e
nsi
o
n type
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-11
Sven Verdoolaege
pet_expr_from_access_and_ind
e
x: plug m
e
mory le
a
k on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-08
Sven Verdo
o
laege
configure
.
ac
:
remove explicit dependence on g
m
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-30
S
v
en Ve
r
doolaege
discard incompletely extracted compound stateme
n
ts
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-30
S
ven Verdoolaege
fix handlin
g
o
f c
o
mpo
u
nd statemen
t
s with initial p
a
rtial
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdool
a
ege
pet_transfo
r
m_C_
s
ou
r
ce: handle m
u
ltiple e
x
plicitly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdo
o
lae
g
e
a
dd
pet_scop_pri
n
t
_
original
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
add pet_transform_C_sourc
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
exten
d
Pet
A
S
TConsumer
t
o ext
r
ac
t
a scop for
each fun
c
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sve
n
Verd
o
ola
e
ge
post-pro
s
cess s
c
ops insi
d
e PetAS
T
Consumer
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
ven
Verdoolaege
add
p
e
t_stmt
_
build_ast_exp
r
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven
Verdoolaege
a
d
d p
e
t
_stmt_p
r
int_bod
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n
Verdoolae
g
e
add pet_scop
_
has_data_de
p
endent
_
conditions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
ve
n
Verdoolaege
add pet_scop_h
a
s
_
d
a
ta
_
d
epen
d
ent_accesses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven V
e
rdoola
e
g
e
pet
_
check_code: use
index
expressions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next