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: drop allow_nested attribute
2014-03-21
Sven Verdoolaege
e
xtract
inte
g
e
r
s as int
e
ger
expr
e
s
sio
n
s rather
than
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven
V
e
r
doolae
g
e
update
test case out
p
u
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolaege
a
d
d s
u
pport for int expressions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
S
ven Verd
o
o
la
e
g
e
pet_check_code
.
c
: pass alon
g
iterati
o
n sp
a
ce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
S
ven Verdoolaege
extract
o
ut shared pet_s
t
mt_
g
et_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolae
g
e
ex
p
ort
p
e
t_expr_f
r
om_index
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
S
v
en Verdoolaege
p
et_scop_embed: p
a
ss isl
_
aff sc
h
e
dul
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven V
e
rd
o
olaege
ex
t
rac
t
out pet_stmt_is
_
assig
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Ver
d
o
o
laeg
e
extract out common pet_stmt
_
is_kill
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sv
e
n
Verdoolae
g
e
PetScan::
e
xtr
a
ct_incre
m
ent: improve error message
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoo
l
a
e
ge
s
u
pport logical operators
in expres
s
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdo
o
l
aege
support
i
ntMod, intCeil and
i
ntFlo
o
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
provide ge
t
ter and
sett
e
r
f
or detect-co
n
d
i
tion
a
l
-
assign
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdo
o
laege
pet_check_code: dum
p
iteration d
o
mains if they are
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven V
e
rdoo
l
aege
pet_check_c
o
de: parse i
s
l options
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoola
e
ge
scan
.
cc
:
ind
i
cato
r
_
function:
c
oales
c
e dom
a
in before
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
S
ven
Verdoolae
g
e
s
c
op
.
c: f
i
x
t
y
pos in co
m
men
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
s
c
a
n
.
cc: fix typos
in co
m
ments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Ve
r
doolaege
pet_scop_r
e
str
i
ct_sk
i
p
:
fix typo in
e
rror message
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Ve
r
d
o
olaege
PetScan::is_n
e
sted_allowed:
check
f
or sk
i
p conditi
o
ns
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
S
v
en Verdoolaege
p
rin
t
.
c:
p
rint_p
e
t
_
e
xpr
:
fix
memory man
a
gement annotation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sv
e
n
Verdoolaege
drop
dead
m
ethod PetScan::is_a
f
f
i
ne
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdool
a
e
g
e
scop
.
c: e
m
bed_access: drop redu
n
dant variab
l
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven
V
erdoolaege
pet_scop_fil
t
e
r_skip: avoid recomputation
o
f te
s
t
express
i
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoo
l
aege
Pe
t
S
can::extract_n
o
n
_
a
f
f
ine_condition: remove redu
n
dant
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
s
e
parate
o
ut
shared PetScan::update_
s
cop_sta
r
t
_
end
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolae
g
e
pet_
e
xpr_dum
p
: on
l
y print expr->a
c
c
.
ref_id if it is set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sve
n
Verdool
a
eg
e
scop
.
c: stmt
_
pr
o
pagate_params: also
update a
c
c
e
sses
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Ve
r
d
oolaege
s
c
op
.
c: s
t
m
t
_collect_par
a
ms: also c
o
llect parameters
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sve
n
V
erdoolae
g
e
scop
.
c: *_c
o
llect_params:
fix error
h
andling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verd
o
olaege
p
e
t_
s
cop_align_params:
improve
e
rror han
d
ling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdool
a
e
ge
pet_scop_align_
p
arams: rename "dim" variable to "
s
pace"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
Pe
t
Scan::extr
a
ct_nested: pl
u
g memory leak on
e
rror
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven
Verdoolae
g
e
s
c
an
.
cc:
c
lear_
a
ssignment:
f
ix lo
g
ic
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
Pet
S
can::extra
c
t
(IfStmt
*)
:
c
l
ea
r
assig
n
ments in body
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoo
l
aege
P
e
t
S
c
a
n::extract_infinite_for: also clear
a
s
signments
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verd
o
olaege
PetScan::ext
r
act_for: a
l
w
ays keep virt
u
a
l iterator
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sv
e
n
Verdool
a
ege
modif
y
tests/unsigned3
.
c test
c
a
s
e to us
e
the it
e
rator
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-14
Sv
e
n Verdoolae
g
e
when autode
t
ecting only s
k
ip
i
n
i
tial
d
ecl
a
rations in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-14
Sven V
e
rdoolaege
do n
o
t
e
xtrac
t
loop a
r
ound partial
b
ody wh
e
n a
u
tod
e
tecting
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-14
Sv
e
n Verdoolaege
Pet
S
can::extr
a
ct_non_affine_cond
i
tion: t
a
ke
state
m
en
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-14
Sven Verdoolaege
P
e
tScan::
e
xtract_
f
or: do not allow init
i
al value to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-14
Sven Verdo
o
l
a
ege
P
e
tScan::extract_fo
r
: clear assi
g
n
ment to
iterator
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-07
Sven Verdoolaeg
e
P
e
tScan::uns
u
pported: pas
s
fixed character string to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-07
Sven
V
erdool
a
ege
configure
.
ac: add
l
lvm-config --system-libs t
o
CLANG
_
LIBS
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-07
Sven Verd
o
ol
a
ege
update i
s
l fo
r
support for recen
t
clang
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-01-29
Sven Ve
r
doo
l
aege
M
akefile
.
am: avoid us
e
of
I
NCLUDES
v
a
r
iable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-01-06
Sven Verdoolaege
A
X_DETECT_GIT_HEAD:
d
etect git version with newer versions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-12-06
Sve
n
Ver
d
ool
a
eg
e
README: a
d
d
c
ontac
t
in
f
ormation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-11-27
Sven V
e
rdo
o
laege
add affine assumptio
n
s to the co
n
tex
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-11-27
Sven Verdool
a
e
ge
parse __pencil_as
s
u
me statements
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-10-17
Sv
e
n Ve
r
do
o
laege
extract out Pet
S
can::e
x
tr
a
ct_argumen
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-10-16
Sven
V
e
r
do
o
laege
add suppor
t
f
or structs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
add pet_scop_coll
e
ct_tagged_m
u
st
_
kills
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Ver
d
oolaege
ad
d
pet_scop_collect_must_ki
l
ls
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven
Verdoolaege
scop
.
c:
e
xtract out expr_col
l
ect_
a
cc
e
ss
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven
Verdoola
e
ge
scop
.
c: scop_coll
e
ct_accesses: rename "d
i
m" varia
b
l
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
ad
d
p
et
_
expr_access
_
get
_
tagged
_
may_access
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven V
e
rdoolaege
add
p
e
t_scop
_
c
oll
e
ct_tagged_
{
may,mus
t
}_{r
e
ads,w
r
ites}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven
V
erdoolaege
expo
r
t pet_expr_acc
e
ss
_
g
e
t_may_access
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Ver
d
oolaege
scop
.
c: expr_collect_a
c
c
es
s
es: plu
g
memory
leak on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
extrac
t
out pet_clan
g
_ba
s
e_type into se
p
arate file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
S
v
e
n Verdool
a
ege
scan
.
cc:
ext
r
act o
u
t subscript
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven
V
e
r
doolae
g
e
scop
.
c
: extract out
*_
i
s_virt
u
al_arr
a
y fun
c
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
S
ven
V
e
rdoola
e
ge
pet_
e
xpr_fro
m
_index_a
n
d_de
p
t
h
:
e
x
t
r
act out extend_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
intr
o
duce pet_type
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoola
e
ge
use isl_*
_
r
eset_user inst
e
ad
of *_anonymize
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven
V
erdo
o
laege
upd
a
te isl for support
for membe
r
accesses
i
n
A
ST
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven
V
er
d
o
o
laege
pet
_
e
x
pr
_
f
r
ee: return
struct
p
et
_
expr *
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
S
v
en Verdoolaege
Pet
S
can::resolve_ne
s
ted(struct pet_stmt *)
:
rem
o
v
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven
Verd
o
olaege
PetScan::resolve
_
nested(stru
c
t pet_e
x
p
r *): remove
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Ve
r
d
o
olaege
s
c
an
.
c
c:
c
o
mp
u
te_wrapp
i
ng: remove u
n
us
e
d variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaeg
e
scan
.
cc:
e
xtract_
s
kip_seq:
r
emove unused variabl
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven
Verdoolaege
scan
.
cc: universally: remove
u
nu
s
e
d
va
r
iab
l
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
S
ven Verdoolaege
P
e
tS
c
an
:
:extract_a
f
fine: re
m
o
ve
unused variab
l
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
S
v
en Verdoolae
g
e
Makefile
.
am: add d
u
mmy
C
+
+
source fil
e
to pet
and pet_chec
k
_c
o
de
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven
Verdoolaege
stop linking in cla
n
g librar
i
e
s directly into p
e
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven
Ve
r
dool
a
eg
e
also pr
i
nt clan
g
versi
o
n when pri
n
ting pe
t
ver
s
i
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
S
ven V
e
r
do
o
laeg
e
REA
D
ME: updat
e
lat
e
st re
l
ease of LLVM/clang
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-17
Sven V
e
rd
o
olaege
parse
.
c: remove spurio
u
s d
u
p
licate d
e
claration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-17
Sve
n
Verdoola
e
ge
pet_scop_f
r
ee:
r
eturn struct pet_scop *
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-17
S
v
e
n Verdoolaege
PetScan
:
:extract(StmtRa
n
ge, bool, bool): bre
a
k out
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-11
Sven Verd
o
olaege
pet_scop_c
o
llect_{re
a
d
s
,writes}: take
a
rguments int
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-11
Sven
Verd
o
olaeg
e
pe
t
_sc
o
p_col
l
ect_{
r
eads,writes}: intersect
r
anges with
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-11
Sven Verdoolae
g
e
scan
.
cc: ext
r
act_depth: u
s
e correct
d
i
mens
i
on type
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-11
Sven Verdoolaege
pe
t
_
e
xpr_fr
o
m_ac
c
ess_and_index
:
p
l
u
g
m
emo
r
y
leak on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-08
Sven Verdoola
e
ge
c
onfi
g
ure
.
a
c
: remove expl
i
cit de
p
e
n
dence on gm
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-30
Sven
Verdoolaege
discard incompletely ex
t
rac
t
ed
compound statements
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-30
Sv
e
n Verdoolaege
fix handling
o
f compou
n
d s
t
atements with in
i
t
ia
l
p
a
r
t
ial
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
ve
n
Ver
d
oola
e
ge
pet_transform_C_source: h
a
ndle multiple explicitly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
add pet_sco
p
_pri
n
t_o
r
ig
i
nal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoo
l
aege
add pet_trans
f
orm_
C
_
s
o
u
r
ce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n
Verdoolaeg
e
extend Pet
A
STConsumer to extract a scop for each function
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
p
ost-proscess scops inside PetASTConsumer
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven V
e
r
d
oolaege
a
dd pet_
s
tmt_buil
d
_as
t
_exprs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdool
a
ege
ad
d
pet_stmt_prin
t
_body
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Ver
d
oo
l
aeg
e
add pe
t
_
s
cop_has
_
data_d
e
p
endent_co
n
ditio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en V
e
rdoolaege
ad
d
pet_scop_has_data_dependent_accesses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en Ver
d
oolaege
pet_c
h
eck_code: u
s
e i
n
dex expre
s
s
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven
V
e
r
do
o
l
a
ege
pet_check_code: use is
l
_id_to_pw_aff fo
r
k
eeping track
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next