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_non_affine_condition: resolve nested accesses
2012-05-22
Sven V
e
rdoolaeg
e
PetScan::
e
xtr
a
ct_non_affine_con
d
ition:
r
esolve
n
e
sted
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sve
n
Verdoolaege
PetScan::extract_access_expr: remove d
u
plication
b
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sven Ve
r
d
oo
l
aege
cache
a
ssig
n
ed values in then and el
s
e branch of if
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
S
ven Verdoolaege
pet_
s
cop
_
collect_arrays: also
c
ollect a
r
ra
y
s t
h
at only
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sven Verdoolaege
scan
.
cc: a
d
d
_para
m
eter
_
bound
s
: double check that ther
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sv
e
n Verdoola
e
ge
pet_scop
_
r
e
strict: p
r
o
ject out
u
nnamed
p
arameters from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
S
ven Verdoolaeg
e
Pe
t
Scan::r
e
so
l
ve_nested
:
detect and remove
duplicat
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
S
ven Verdoo
l
a
e
ge
PetScan::e
x
tr
a
ct_ne
s
ted: inse
r
t outer filte
r
s i
n
earlier
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
S
v
en V
e
rdoolaege
m
a
rk __pet_te
s
t_*
vari
a
bles as uniquely_defined
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
S
v
en Verdoolaege
pet_
a
rray: add
u
ni
q
uely_def
i
ned
a
ttr
i
bu
t
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-14
Sven
V
erdoolaege
support any affine condition in a w
h
ile
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-14
Sven Verdoolaeg
e
ad
d
PetScan::try_extra
c
t_affine_con
d
ition
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-11
S
v
en Verd
o
olaege
make detection
o
f con
d
itional assignment opt
i
onal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-11
Sven Verdoolaeg
e
pa
s
s pet_options to Pe
t
Scan
i
nste
a
d of
only the au
t
odet
e
ct
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-11
Sv
e
n
V
erdoolaege
avoid n
e
gative array
i
ndice
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-11
Sven Ve
r
doolaege
pe
t
: allow specification of isl opti
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-06
Sven Verdoolaege
scop
.
c: expr_
e
xtract_context: don't assume access is
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-06
S
v
en Verdoo
l
aege
add pet_ex
p
r
_
is_affi
n
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-27
Sven Verdo
o
laege
a
d
just to change in n
u
m
b
er of arguments of DeclRefE
x
pr
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-27
S
v
en Verdoolaeg
e
link i
n
n
e
w -lclangEdi
t
when available
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-27
Sven Ver
d
ool
a
e
g
e
update is
l
for suppo
r
t for re
c
ent
c
lan
g
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
S
v
e
n V
e
rdoolae
g
e
avoid o
v
erflow
s
on signed
i
ntegers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Ve
r
d
o
ol
a
ege
PetScan:
:
extrac
t
_for:
r
elax requirement on increm
e
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
PetScan::ex
t
ra
c
t_for: update con
t
ext wit
h
respe
c
t to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sve
n
Verdoolaeg
e
represent loop increment as isl_pw
_
af
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
allow slightly more gen
e
ric compound increment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
S
ven Ve
r
dool
a
ege
Pet
S
can::ext
r
act(IfStmt *):
u
p
date context with res
p
ect
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
S
ven Ve
r
doola
e
ge
try a
n
d
e
xtract condition of t
e
rna
r
y opera
t
or as a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verd
o
olaege
pet_scop_from_
p
et_stm
t
: extract
c
on
t
ext con
s
traints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoola
e
ge
pet_sc
o
p_restrict
:
update contex
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven V
e
rdoolaege
pet_scop_embed:
update contex
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sv
e
n Verdoolaege
pet_scop_add
:
com
b
i
n
e (int
e
rsec
t
) contexts of original
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaeg
e
ad
d
pet_scop_restrict_context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
S
ven Verd
o
olaeg
e
P
e
t
Scan::
e
xtract_
a
ffine
:
don't bother w
i
t
h
wr
a
p
ping
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
PetScan::extrac
t
_conditio
n
al_assignment:
si
m
p
li
f
y
comp
u
tat
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven V
e
rdoo
l
aege
represent conditions usi
n
g i
s
l_pw_affs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sv
e
n Verdoo
l
aege
Pet
S
can:
:
ext
r
a
c
t_for
:
comput
e
gist
b
e
fo
r
e
testing whether
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sve
n
Verdoola
e
ge
PetScan::extract_for:
only c
o
mpute
i
s_si
m
ple once
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven
V
erdoolaege
Pe
t
S
c
an::
e
xt
r
act_for:
m
ake domain
r
e
f
er
to the virtual
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven
V
erdoolaege
P
e
t
Scan::extract_for: also call can_
w
rap on non-simple
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdool
a
ege
Pet
S
can::
e
xtract
_
for:
e
xplicitly
k
eep
t
rack of when
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
sc
a
n
.
c
c: strided_domai
n
: r
e
t
u
rn par
a
me
t
er
set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven V
e
rdoolaege
lim
i
t
paramet
e
rs in c
o
n
t
e
xt to possib
l
e values of correspond
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
P
e
tScan
:
:extract
_
implicit
_
affine: sim
p
lify
c
omputation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaeg
e
update
i
sl
for c
h
a
n
ge in is
l
_
pw_aff_cond
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-04
Sven Ve
r
d
oolaege
simplify sets and rel
a
t
io
n
s in pet_s
c
op with r
e
spect
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-04
Sven Verdoolaege
p
a
ss val
u
e_bounds to P
e
t
S
can
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-04
Sven Verdoolaege
store v
a
lue_bounds in
isl_uni
o
n_m
a
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-04
Sven
Verdoolaege
READM
E
: m
e
ntion
that ubuntu libclang-
d
ev is not suff
i
ci
e
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-04
Sve
n
Verdoolaeg
e
README:
mention p
o
t
ential pr
o
blem when
c
o
nfigur
i
ng
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-06
Sven Ve
r
doolaege
keep t
r
a
ck o
f
size of array e
l
ements
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-05
S
v
en Ver
d
oolaege
adjust to change in
n
umber of argument
s
of D
e
clRef
E
xpr
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-05
Sven Verdoolaege
c
o
nfigure
.
ac: rem
o
ve s
p
urious ","
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-03
Sven
v
an Haastregt
pet_sc
o
p_extract
_
from_C_
s
ource: return NULL in case
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-02
Sven Verdoolaege
pet_scop_ext
r
act_from_C_so
u
rce: r
e
set user pointers
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-01
Sven Verdoolaege
update isl for f
i
x in
i
sl_space_set_dim_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-30
Sv
e
n Verdoolae
g
e
REA
D
ME: add more requirements
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-18
S
v
en Ve
r
doolaege
update f
o
r change in clang's HandleTopLevelDecl ret
u
rn
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-18
Sven
Verdoo
l
aege
configu
r
e
.
ac: only
l
ink
a
g
a
in
s
t libraries from LLVM
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-18
Sven Verdo
o
l
aege
update isl for support for r
e
cent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-08
S
ven V
e
rd
o
ola
e
g
e
sca
n
.
cc:
f
ix
t
y
p
os in comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-04
Sv
e
n
Verd
o
ola
e
g
e
scop
.
c: f
i
x typo i
n
co
m
ment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-04
S
ven
V
erdoolaege
add --version option
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdo
o
la
e
g
e
pe
t
0
.
0
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdoolae
g
e
u
p
date isl to v
e
rsi
o
n 0
.
09
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-17
Sve
n
Verd
o
olaege
configure
.
a
c
: specify address for
bug reports
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-17
Sven Verdoolaege
check for presence of prototype before acce
s
sing par
a
meter
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-17
Sven Verdoolaege
PetSc
a
n::unsuppo
r
ted: op
t
ionally print custom
m
essage
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-28
Sven
Verdoolaege
R
EADME: add a sm
a
ll note on how to use pet
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-28
S
ven Ver
d
oolaeg
e
keep track
of "a
d
dre
s
s of" operators on acce
s
s
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sve
n
Verdoolaege
scop_extrac
t
_from_
C
_
s
o
u
rce: properly
clean up if in
p
ut
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sven Ve
r
doo
l
aege
con
s
t
r
uct_invocation
:
add mi
s
s
ing
check f
o
r jobs siz
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verdoolaege
cache values in assi
g
n
ed_va
l
ue
instead of ex
p
ressio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sven Ve
r
d
o
ol
a
ege
all
o
w boole
a
n
e
xp
r
essions wher
e
an affine
e
x
pression
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verdoolaege
allow
p
a
r
ens
around inte
g
er lit
e
r
al in second a
r
g
u
ment
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verdoolaege
a
d
d
e
x
tra min test
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
S
ven Verd
o
olaege
update i
s
l for
isl
_
pw_aff_h
a
s_di
m
_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sven
Verdoolaege
add mi
s
sing namespa
c
e quali
f
icati
o
n on l
l
v
m
::Arra
y
R
ef
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-21
Sven Ver
d
oo
l
aege
p
e
t
_stmt_from_pet_ex
p
r:
f
ix memory
lea
k
on
err
o
r path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-21
Sven Verdoo
l
aege
scan
.
cc: u
p
d
ate commen
t
of
v
alid
_
fo
r
_each_iteration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
Sven
V
erdool
a
e
ge
allow nested access
e
s in loop up
p
er bo
u
nds
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
S
ven V
e
rdoolaege
all
o
w nested accesses in if con
d
itions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
Sven Verdoolaege
extract n_n
e
ste
d
_parameter
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
Sven Verdoolaege
extract is_n
e
sted_par
a
meter
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
S
v
e
n
Verdo
o
laege
e
xtrac
t
extract_ne
s
t
e
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
Sv
e
n V
e
r
d
oolae
g
e
rename
non_affine to nest
e
d
_acc
e
ss
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
Sven Verdoolaege
add
p
et_s
c
o
p
_
w
rites
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
S
v
en Verdoolaege
privately export p
e
t_expr_f
o
reach_a
c
cess
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verdoolaege
add -D option
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Ve
r
d
oolae
g
e
add -I opt
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sve
n
Verdoolaege
pet:
u
se isl for argum
e
n
t p
a
rs
i
ng
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolae
g
e
store
autodetect
optio
n
in a separate pet_opti
o
ns s
t
ru
c
ture
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sve
n
Verdoolaege
update isl for s
u
pport for string list a
r
guments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sv
e
n Ve
r
doolaege
u
pd
a
te
i
s
l for
in
t
rodu
c
tion of isl_args
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
S
v
e
n
V
erdoolaege
use
t
he clang driver to obtain command
l
i
n
e ar
g
uments
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
S
v
en Ver
d
oolaege
destroy M
y
DiagnosticPrinter on new
e
r cla
n
gs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven
V
erdoolaege
support mo
r
e recent LLVMs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolaege
update isl for support for r
e
cen
t
clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-06
Sven Verdo
o
laeg
e
extract_af
f
i
n
e
: a va
r
iable t
h
a
t has been assigned an
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-06
Sven V
e
rd
o
olaege
induct
i
on variable of for
l
oop should be considered
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next