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::extract_for: rename variable "dim" to "space"
2012-06-03
S
v
en Verdo
o
laege
PetScan:
:
e
xtract_for
:
rename varia
b
le "dim
"
to
"s
p
ace
"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
S
v
e
n V
e
rd
o
olaege
scop
.
c
:
e
xtract out internalize_iv
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdo
o
laege
sc
a
n
.
c
c: move has_nested up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
S
v
en Verdoolaeg
e
s
can
.
cc: mov
e
is_
n
est
e
d
_
par
a
meter up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
S
ven
Verdoolae
g
e
h
a
n
dle non-affine conditions in wh
i
l
e loops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
S
ve
n
Verdo
o
lae
g
e
scan
.
cc: extrac
t
o
u
t Pet
S
c
a
n::extract_a
f
f
i
ne_while
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaege
sca
n
.
cc:
move scop_add_array up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaeg
e
scan
.
cc:
move create
_
te
s
t_ac
c
ess up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaege
pet_scop_filte
r
: allow filters with non-zero-
d
i
m
ensional
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sve
n
Verd
o
olaege
scan
.
cc: ex
t
ra
c
t out
i
d
enti
t
y
_
map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaege
scan
.
cc: extract out i
n
fi
n
it
e
_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sv
e
n Verdool
a
ege
a
d
d pet_scop_reset_context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven
V
e
r
doolae
g
e
scop
.
c: fix typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-02
Sv
e
n Verdoolaege
PetScan::ext
r
act_
f
or: r
e
move incorrect optimization
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
Sve
n
Verd
o
ol
a
eg
e
support decrement and increme
n
t operations in stat
e
me
n
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
S
v
e
n
Verdoolaege
scan
.
c
c: fix whitesp
a
ce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
Sven Verdoolaege
sc
a
n
.
cc: fix typos i
n
comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
Sv
e
n Verdool
a
eg
e
PetScan::nested_acc
e
ss: check th
a
t
nested access doesn
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
Sve
n
V
erdoolaege
PetSca
n
:
:
e
x
tract_non_affine_co
n
dition: resolve nested
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
S
ven Verdoolaege
Pet
S
ca
n
:
:
extract_access_e
x
pr
:
rem
o
ve duplication by
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
Sven Verdoolaege
c
ache assigne
d
v
alues in then and
else
b
ranch
o
f i
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
S
ven Verdoo
l
aege
pet
_
scop_collect_arrays: al
s
o
c
oll
e
c
t arr
a
ys that only
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
Sve
n
Verdoola
e
ge
scan
.
cc: ad
d
_parameter_bou
n
d
s: do
u
bl
e
check
t
ha
t
there
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
Sven Verdo
o
l
ae
g
e
p
e
t_scop_res
t
rict: projec
t
ou
t
unnamed pa
r
ame
t
e
rs from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
Sven Verdoolaege
Pe
t
Scan::r
e
solv
e
_
n
ested: detect and remove dupli
c
ate
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
Sven Verdoolaege
Pe
t
Scan::e
x
tract_neste
d
:
i
ns
e
rt outer filters in earlier
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
Sven Verdoola
e
ge
mark __pe
t
_
test_* variables as uniquely_defined
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
Sven Verdo
o
la
e
ge
pet_ar
r
ay: add u
n
i
q
uely_d
e
fi
n
e
d att
r
ibute
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-14
Sven
V
e
rdoolaege
su
p
port any affine c
o
ndition in a
w
hile
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-14
Sven Verd
o
olaege
add PetScan::try_extract_affine_condition
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-11
Sven Verdo
o
laege
make detecti
o
n of conditional assignme
n
t opt
i
onal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-11
Sven V
e
rdool
a
eg
e
pass
pet_options to PetScan
ins
t
ead of only
t
h
e
autodet
e
ct
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-11
Sven Ver
d
oolaege
a
v
o
i
d negative
a
rray i
n
dices
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-11
Sven Verdoolaege
pet:
a
llow specificat
i
on
of isl optio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-06
Sven Verdoolaege
scop
.
c
: expr_ext
r
act_context: don't assume acc
e
ss is
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-06
S
ven
Verdoola
e
ge
add pet_ex
p
r_is_affine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-27
S
ven Verd
o
ola
e
ge
a
djust to c
h
ange in number of arguments of DeclRefExpr
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-27
Sven Verdo
o
lae
g
e
link
i
n new
-
lclangEd
i
t when availa
b
le
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-27
Sven V
e
rdoo
l
a
eg
e
update isl fo
r
su
p
port
for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Ve
r
doolaeg
e
avo
i
d ov
e
rflows on
s
igne
d
in
t
egers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven V
e
rdoolaege
PetS
c
an::ex
t
ract_for: relax requiremen
t
on increment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
PetS
c
an::ex
t
r
a
ct_for: update
c
ontext with
r
esp
e
ct to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
S
v
en Verdoolaege
repre
s
ent
l
oop incr
e
men
t
as isl_pw_a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdo
o
l
aege
allow s
l
ight
l
y
more generic compou
n
d
incr
e
m
e
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sve
n
V
e
r
d
oolaege
PetScan::ex
t
ract(IfStmt *): updat
e
contex
t
with respect
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
try a
n
d extract
condition of terna
r
y operator
as a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sv
e
n Verdoolae
g
e
pet_scop_fro
m
_
pet_stmt: extract context c
o
nstrai
n
ts
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven
V
e
rdoolaege
pet_sc
o
p_restrict: upd
a
te c
o
ntext
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
p
e
t
_scop_embe
d
: u
p
date contex
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sv
e
n
Verdoolae
g
e
pet_scop_a
d
d: combine (intersect) co
n
texts of origina
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
S
v
en Verdoolaege
add pet_scop_
r
es
t
rict_
c
ontext
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
PetScan::extract_aff
i
ne: don't
b
o
t
her
w
ith
w
rappi
n
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven
Verdool
a
ege
PetSc
a
n::extrac
t
_c
o
ndi
t
ional_ass
i
gnmen
t
: simplify c
o
mputa
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven
Verdoolaege
represent
con
d
itions using isl_pw_affs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoo
l
aege
Pe
t
Sc
a
n::ext
r
act_for: compute gist before testing
whether
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
S
ven
Verdoolaege
P
e
t
Scan::ex
t
ract_
f
or:
o
nl
y
comput
e
is_simple
o
nce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdool
a
ege
P
e
tScan:
:
extract_fo
r
: make domain refer to the virtual
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
PetSc
a
n:
:
ext
r
act_for: a
l
so call can_wrap on n
o
n-simp
l
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
S
v
e
n Verdoolaege
Pet
S
can::extract_
f
o
r
: explicitly ke
e
p
t
rack
o
f
w
hen
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaeg
e
sc
a
n
.
cc: strid
e
d
_
domain
:
return parameter set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
S
ven Ve
r
doolaege
limit param
e
ters in context
t
o
p
ossibl
e
v
a
lues of c
o
r
r
espond
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoo
l
aege
PetS
c
an:
:
ex
t
ract_imp
l
icit_affine: simplify comput
a
ti
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sv
e
n Verdoola
e
ge
upd
a
te isl for chang
e
in isl_pw_aff_cond
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-04
Sven Verdoolaege
si
m
p
l
ify sets
and re
l
ations in
pet_scop
with re
s
pect
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-04
Sven Verdo
o
l
aege
pass valu
e
_bounds to P
e
tScan
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-04
Sven Verdoolaege
store
value_bounds in i
s
l_union_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-04
Sven
Verdo
o
laege
README: mention that
ubu
n
tu libclang-de
v
is not suffi
c
ient
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-04
S
v
en Verdoola
e
ge
REA
D
ME: mentio
n
potential
p
r
ob
l
em
when
configur
i
ng
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-06
Sven Verdoolaege
kee
p
t
r
ack of siz
e
of a
r
r
ay e
l
e
m
en
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-05
Sven Ve
r
d
o
olae
g
e
ad
j
ust to change in num
b
er of a
r
guments of DeclRefE
x
pr
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-05
S
v
e
n V
e
rdoolaege
configure
.
a
c: remove s
p
urious ","
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-03
Sven van Haastregt
pet_scop_extract_from_C_
s
ource
:
return
N
ULL in case
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-02
Sven Verdoo
l
a
e
ge
p
et_sc
o
p_extract_from
_
C_source: reset us
e
r pointers
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-01
S
ven
V
e
r
d
ool
a
eg
e
update isl fo
r
fix in isl_s
p
a
c
e_set_
d
im_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-30
Sve
n
V
erdoo
l
ae
g
e
README: add more
r
equire
m
ents
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-18
Sven Verdool
a
ege
update for
c
hange
in clang's HandleTo
p
L
e
velDecl re
t
urn
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-18
S
v
en Verdoolaege
configure
.
ac
:
o
nly link against librari
e
s from LLVM
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-18
S
ven Verdoolae
g
e
updat
e
isl fo
r
s
upport for recent c
l
ang
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-08
Sv
e
n Ve
r
d
o
o
l
aege
scan
.
cc: f
i
x
t
y
p
os
i
n comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-04
S
v
en Verdoolaege
sc
o
p
.
c:
fix typo in com
m
ent
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-04
Sven Verdoolae
g
e
add --version option
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdoolaege
pet
0
.
01
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sven Ve
r
doolaege
u
p
d
a
te is
l
to version 0
.
09
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-17
Sven Verdoolaege
conf
i
gure
.
ac:
s
pecify address
f
or bug reports
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-17
Sven Verdoolaeg
e
ch
e
ck for
p
r
e
sence of proto
t
y
pe before accessin
g
para
m
eters
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-17
Sven Verdo
o
la
e
ge
PetScan::uns
u
pported: optiona
l
ly prin
t
custom message
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-28
Sve
n
Ve
r
doolaege
RE
A
DME:
a
dd a
s
mall note on
how to use pet
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-28
Sve
n
V
erdoolaege
kee
p
track of "address of" opera
t
ors
o
n
accesse
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verd
o
ola
e
ge
scop_ext
r
act_fro
m
_C_source: properly cle
a
n
u
p
if input
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
S
v
en
V
erdoo
l
aege
construct_invocation: add missing check for jobs size
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verdoola
e
ge
c
a
che va
l
u
es in assigned_value i
n
stead
o
f
exp
r
essions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verdool
a
ege
allow boolean expres
s
io
n
s
where an affine
e
xpressi
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
S
ven Verdoolaege
allow
p
a
rens around integer liter
a
l in second arg
u
ment
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
S
v
en Verdoolaeg
e
add
e
x
t
ra mi
n
test
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verdool
a
e
g
e
up
d
ate isl for is
l
_pw_
a
ff_has_di
m
_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sven
Verdoolaege
add miss
i
ng n
a
mespa
c
e qualif
i
catio
n
on llvm::ArrayRef
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-21
Sv
e
n Ver
d
oolaege
pet_
s
tmt_from_pet_e
x
pr: fi
x
mem
o
ry leak on error path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-21
Sven V
e
rd
o
olaege
sc
a
n
.
cc: up
d
a
t
e
comment of valid_for_each_iteration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-17
Sven Ve
r
d
o
olaege
allow ne
s
ted accesses in loop upper
b
o
u
nds
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-17
Sven Ve
r
d
o
o
l
aege
allow nes
t
ed accesses
in if co
n
ditions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next