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
provide getter and setter for detect-conditional-assignment option
2014-03-19
Sve
n
Verdoolae
g
e
p
r
o
v
i
d
e
gette
r
and setter
for de
t
ect-conditional-ass
i
g
n
ment
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven
Ve
r
d
o
olaege
pet
_
check_code:
dump ite
r
a
t
ion domains
if they are
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdo
o
laeg
e
pet_check_code: par
s
e
isl options
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Ver
d
oolaege
s
can
.
cc: indica
t
or_function
:
coalesce domain
b
efor
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolae
g
e
scop
.
c
: fix typos i
n
comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Ver
d
oo
l
aege
sca
n
.
cc:
f
ix t
y
pos in comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven V
e
r
doolaege
pet_scop_restrict_skip: fix typo in error m
e
ssage
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdool
a
e
g
e
PetScan::is_nested_allowed: check for skip
c
onditi
o
ns
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
p
rint
.
c: print_pet_e
x
pr
:
fi
x
memory management a
n
n
o
tation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaeg
e
drop dead m
e
tho
d
Pet
S
can::is_affine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
S
v
e
n
Verdoolaege
sc
o
p
.
c: embed_
a
ccess: d
r
op re
d
undant vari
a
ble
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
pet_scop
_
filt
e
r_skip:
a
v
o
i
d recomputation
o
f test expression
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sv
e
n Ver
d
oolaege
Pet
S
can::extract_non
_
a
f
fine
_
condition
:
remove
r
edun
d
ant
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sv
e
n Verdoolaege
separate
o
ut sha
r
ed Pe
t
Sc
a
n::
u
pdate_
s
cop_start_end
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
S
ven
Verdoolaege
pet_expr_dump: only pr
i
nt ex
p
r->acc
.
r
e
f_id if it is set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Ver
d
oolaege
scop
.
c: s
t
mt_propagate
_
params
:
also update acces
s
e
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sve
n
Verdoolaege
sc
o
p
.
c: stmt_collect
_
params: also collect
parameters
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
scop
.
c
: *_colle
c
t
_
pa
r
ams: fi
x
erro
r
handlin
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolae
g
e
p
et_scop_align_params
:
improv
e
error handli
n
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven
V
e
rdoolaege
pet_
s
co
p
_
a
lig
n
_params: rena
m
e "dim" v
a
ri
a
ble
to "space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven
Verd
o
olaege
PetSca
n
::ext
r
a
c
t_nested: plug mem
o
ry
leak on er
r
or
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven V
e
rdoola
e
g
e
sca
n
.
cc: clear_assignmen
t
:
fi
x
lo
g
ic
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoo
l
a
ege
P
etScan::extract(
I
fStmt *): clear a
s
signmen
t
s in body
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sve
n
Verdoolaege
PetScan::extr
a
ct_infinite_for:
a
lso clear a
s
signments
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolae
g
e
PetScan::extract
_
for
:
always
k
eep virtual iterator
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verd
o
olaege
modif
y
t
e
s
ts/unsigned3
.
c test case t
o
use
the iterato
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-14
S
v
e
n Verdoolaege
whe
n
a
u
todetect
i
ng only s
k
ip initial d
e
cl
a
ra
t
i
ons in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-14
S
ven Verdoolaege
do
n
ot e
x
tra
c
t loop ar
o
u
n
d partial body when autodetect
i
n
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-14
Sven Verdoolaege
PetScan::extract_non_affine_conditi
o
n:
t
ak
e
statement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-14
S
v
en Verdo
o
laege
PetScan::
e
xtract_for
:
do
not allow initial value
to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-14
Sven
V
erdoolaege
PetScan::e
x
tract_fo
r
: clear a
s
s
ignment to iterator
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-07
Sven Ve
r
d
oolaege
Pet
S
c
an::uns
u
pport
e
d: pass fixed
character str
i
ng t
o
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-07
Sve
n
Verdoo
l
ae
g
e
configu
r
e
.
ac: add
l
lvm-config --system
-
l
ibs t
o
CLANG_LIBS
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-07
Sven Verdoolaeg
e
u
pdat
e
isl for support for
recent cla
n
g
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-01-29
Sv
e
n
V
erdoolaege
Ma
k
efile
.
a
m
: avoid use o
f
INCLUDES variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-01-06
Sven Verdoola
e
g
e
AX_DETECT
_
GIT_HEAD:
detect git version
with
newer v
e
rsions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-12-06
Sven
V
erd
o
olaege
README: add c
o
ntac
t
information
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-11-27
Sven Verdoola
e
ge
a
d
d af
f
i
n
e a
s
sumpti
o
n
s
to t
h
e context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-11-27
Sven Verdoolaege
parse __pencil_assume sta
t
ements
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-10-17
S
v
en
Verdoola
e
ge
ex
t
ract out Pet
S
can::extrac
t
_
a
r
gument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-10-16
Sven
V
erdoolaeg
e
add sup
p
ort f
o
r
structs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven
Verdoola
e
ge
a
d
d pet_scop_collect_tagged_must_ki
l
ls
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
S
v
en Verdoolaege
a
dd pet_scop_coll
e
c
t_m
u
st_
k
ills
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven
Verdoolaege
scop
.
c: extr
a
ct out expr_collect_access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven V
e
r
d
oolaege
scop
.
c
:
scop
_
coll
e
ct_accesses:
r
e
n
a
me "dim" variabl
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sv
e
n Verdoolaege
add pet_ex
p
r_access
_
get_ta
g
ged
_
may_access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verd
o
o
l
a
e
ge
add pet_scop_collect_t
a
gge
d
_{
m
ay,m
u
st}
_
{r
e
ad
s
,writes}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
S
v
en
V
e
rdoola
e
ge
export pe
t
_
expr
_
access_ge
t
_may_acce
s
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
S
ven Verdoolaege
scop
.
c: expr_coll
e
ct_access
e
s: plug memory leak on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaeg
e
extract o
u
t pet_clang_base_
t
ype into sepa
r
ate file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven
V
erdoolaege
scan
.
cc: e
x
tra
c
t out subscript
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
S
v
en Verdoola
e
ge
scop
.
c
:
extract out
*_is_virtual_array functions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
pet_exp
r
_
from_index_and_depth:
extract out extend_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
S
ve
n
Verdoolaege
int
r
oduce pe
t
_
t
ype
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven
Verdoolaege
use
isl_*_rese
t
_user instead of *_anonymize
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdo
o
laege
update is
l
for support for member acc
e
s
s
es in AST
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven
V
e
rdoola
e
ge
pet_
e
xpr_free: retur
n
struc
t
pet_exp
r
*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven
Verd
o
olaege
Pe
t
S
c
a
n
::resolve_nested(struct
p
et_stmt *): remove
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven
Verdool
a
ege
P
e
t
S
ca
n
:
:
r
e
solve_nested(st
r
uct pet_exp
r
*): remove
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Ve
r
dool
a
e
g
e
s
c
an
.
cc
:
compu
t
e
_
w
rapping
:
remove
unused va
r
iable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdool
a
e
ge
scan
.
c
c
: extract_skip_seq: remove unused vari
a
ble
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
scan
.
cc: un
i
ve
r
sally: r
e
m
o
ve unused vari
a
ble
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Ver
d
oolae
g
e
PetScan
:
:extract_affine: remove unused va
r
iable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven
V
erdoolaege
Makefile
.
am: add dummy C++
source
file to p
e
t and pet_check
_
code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sve
n
Verdoolaege
s
t
o
p
li
n
k
i
n
g in
c
lang libr
a
r
i
e
s directly into pe
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoola
e
ge
a
lso print cla
n
g version
when printing pet version
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoola
e
ge
R
EADME: u
p
dat
e
late
s
t relea
s
e of LLVM/clan
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-17
Sv
e
n Ve
r
doolaege
parse
.
c
:
remove sp
u
ri
o
us
duplicat
e
declaration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-17
Sven Verdo
o
laege
pet_scop_fre
e
: return struct
pet_scop *
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-17
Sv
e
n
Verdoola
e
ge
PetSca
n
::e
x
tract(St
m
t
R
ange, bool, b
o
ol): brea
k
out
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-11
Sven Verdoolaege
pet_scop_co
l
lect_{reads,writes}:
t
ake arguments into
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-11
Sven Ve
r
d
o
olaege
p
et_
s
c
op_collect_{
r
e
a
ds,writes
}
: intersect ran
g
es wit
h
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-11
Sven Verdoolaege
sca
n
.
cc
:
e
xtract_depth: use corr
e
ct dimensio
n
type
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-11
Sven
Verdoolaeg
e
pet_expr_f
r
om_
a
ccess_and_index:
p
lug memory
l
eak on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-08
Sven Verdoolaeg
e
c
o
nfigure
.
a
c
: remove
explicit depen
d
ence on gmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-30
Sven Verdoolaege
d
i
scard inc
o
mpl
e
tely extracte
d
compound s
t
atements
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-30
S
v
e
n
V
erdoo
l
aege
fix hand
l
ing of compo
u
nd s
t
atement
s
with initial parti
a
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sve
n
Verdoola
e
g
e
pet_tra
n
sform_C_s
o
urce: handle multi
p
l
e
e
xplici
t
ly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en Verdoolaege
ad
d
pet_scop_pr
i
nt_ori
g
i
nal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven V
e
r
d
oolaege
ad
d
pet_transfo
r
m_C_s
o
urce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven
Verdo
o
laege
extend
P
e
tASTConsume
r
to extract a scop for ea
c
h fu
n
cti
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolae
g
e
post
-
pro
s
ce
s
s scops ins
i
de PetASTConsum
e
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
ad
d
pet_stmt_build_ast_exprs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
S
v
e
n
Verdoola
e
ge
add pet_stmt_prin
t
_body
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven
Verdoolaege
add
pet_sco
p
_has_d
a
ta_depende
n
t_condition
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven
V
erdoola
e
g
e
add pet_
s
cop_ha
s
_
d
at
a
_dependent_ac
c
esses
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en Verdoolae
g
e
pe
t
_
check_cod
e
:
us
e
ind
e
x ex
p
r
essio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n Verdoo
l
aege
pet_check_code: use is
l
_id_to_pw_aff f
o
r
kee
p
i
n
g
track
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven
Verdo
o
laege
update i
s
l for
is
l
_
id_
t
o_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en Verdoolaeg
e
keep t
r
ack o
f
index
expressions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
scop
.
c
:
fix typo in commen
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n Verd
o
olaege
upd
a
te test cas
e
o
utputs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sve
n
Verdoolaege
scop
.
c: insert_filter_map:
c
onstr
u
ct function intead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoo
l
a
ege
s
cop
.
c
:
u
pdate_domai
n
: use func
t
ion
in
t
ead of r
e
lation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sve
n
Verdoolaege
sc
o
p
.
c: update_domain: rename variable "dim" to "space
"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdo
o
l
aeg
e
PetS
c
an:
:
resolve_
n
ested: use functio
n
to
embed argument
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven
Ver
d
o
olaege
PetScan::kill:
u
se
pet_expr_
k
ill_fr
o
m
_access_and_
i
ndex
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
S
v
e
n
Verdoolaege
scop_add_array: take
i
nd
e
x
e
xpre
s
si
o
n inst
e
ad
o
f ac
c
ess
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven V
e
rdoolaege
pet_scop_filter: take index
expres
s
ion ins
t
ead o
f
access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verd
o
olaege
use an i
s
l_mu
l
ti_pw_aff to represent a
s
kip condition
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next