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
extend start of scop to start of line if first token is first on line
2012-05-22
S
v
en Verdool
a
e
g
e
P
e
tScan::extr
a
ct_access_expr: remove dup
l
ication b
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sven V
e
rdoolaege
c
a
c
he assign
e
d value
s
in t
h
e
n
a
n
d else branc
h
of if
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sven Verdoolaege
pet_scop_co
l
lect_arrays: also
c
ollect arra
y
s t
h
at only
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sven Verdool
a
ege
scan
.
cc
:
add_paramete
r
_boun
d
s
: double
ch
e
ck that there
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sv
e
n V
e
r
d
oolaeg
e
pet_scop
_
restrict: project ou
t
unname
d
parameters from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sven Verdoolaege
Pe
t
Scan::resolve_nested: dete
c
t and re
m
ov
e
dupl
i
cat
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sven Verdoolaege
Pet
S
c
a
n::ex
t
ract_nested:
insert oute
r
f
i
lters
in earlier
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sven Ver
d
oo
l
aege
mark _
_
pet
_
test_* variable
s
a
s u
n
iqu
e
ly_defined
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sv
e
n Verd
o
olaege
pet_array:
a
dd uniquely_defined attribute
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-14
Sven
V
e
r
doo
l
ae
g
e
support any affine cond
i
tion in a while
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-14
Sven Ver
d
ool
a
ege
a
d
d PetSca
n
:
:
try_e
x
tract_affine_condition
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-11
Sven
Verdoolaege
make detection of conditio
n
al assignment o
p
tional
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-11
Sven Verdoolaege
p
a
ss pet_
o
ptions
t
o
P
e
t
Scan inste
a
d of only
t
he autodetect
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-11
S
ven
V
erdoolae
g
e
avo
i
d neg
a
tive ar
r
a
y
indices
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-11
Sven Verdo
o
laege
p
et: allow spe
c
ification
of isl options
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-06
S
v
en Verdoolaege
sc
o
p
.
c: expr_e
x
tract_context: do
n
't assume access is
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-06
Sv
e
n Verdo
o
l
aege
a
d
d pet_ex
p
r_is_affin
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-27
Sven Verdoolaege
adjus
t
to change in num
b
e
r of a
r
guments of
De
c
lRefEx
p
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-27
Sven Verd
o
ola
e
ge
li
n
k in
n
ew -lc
l
angEdit wh
e
n available
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-27
Sven Verdoolaege
upd
a
te isl for support for rece
n
t clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
S
ve
n
V
er
d
o
o
laeg
e
avoid overflows
o
n signed
in
t
e
gers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
S
ven V
e
rd
o
olaege
PetScan::extra
c
t_f
o
r: relax
r
equire
m
en
t
o
n increment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoola
e
ge
Pe
t
S
can::
e
xtract_for: update
c
ont
e
x
t
with respect to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven V
e
rdoolaege
represent
loo
p
increment as isl_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven V
e
rdoolaege
a
l
low
s
lig
h
tly more
generic compound
i
n
c
rement
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sv
e
n Verdoola
e
g
e
PetS
c
an::extrac
t
(
IfStm
t
*): update context with
r
e
s
pec
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verd
o
ol
a
ege
try and ex
t
ract con
d
ition
o
f ter
n
ary operat
o
r as a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven
Verd
o
olaege
pet_scop_from_pet_stm
t
: extr
a
ct context constr
a
ints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaeg
e
pet_scop_rest
r
ict: up
d
ate conte
x
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
S
ven Verdoolae
g
e
pet_scop_embed:
u
pdate
c
ontext
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven
Verdoolae
g
e
pet_scop_add: combin
e
(inte
r
sect) contexts o
f
original
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
add pe
t
_scop_restrict_co
n
text
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sv
e
n Verdool
a
ege
PetScan::extract_affine: don'
t
bo
t
h
er with
w
rapping
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoo
l
aege
PetSc
a
n
:
:extra
c
t_con
d
itional_assi
g
nmen
t
:
sim
p
lify computation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdo
o
laege
represe
n
t
condi
t
i
o
ns using i
s
l_p
w
_a
f
fs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
Pet
S
can::e
x
tract_for: compute gist bef
o
re
testing whether
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Ver
d
oo
l
aege
Pe
t
Scan::extract_for: only c
o
m
pute is
_
sim
p
le
o
nce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
PetSca
n
:
:extrac
t
_for:
make domai
n
refer to the
virtual
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sv
e
n Verdoolaege
P
e
tScan::extract_for: al
s
o call can_
w
rap
on non-simp
l
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
PetSca
n
::extra
c
t_for: expli
c
i
t
ly k
e
e
p
t
ra
c
k of when
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Ve
r
d
o
ola
e
ge
scan
.
c
c:
s
tride
d
_domai
n
: retur
n
para
m
eter set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolae
g
e
limit parame
t
e
r
s in con
t
e
x
t
to p
o
ssible values o
f
c
o
rrespond
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven
V
er
d
oolaege
Pe
t
Scan::e
x
t
ract
_
i
m
plic
i
t_affine: sim
p
lify co
m
putati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdo
o
l
a
eg
e
update isl for change in
isl_pw_aff_cond
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-04
S
v
e
n Verdoolaege
simplify sets and relations in pet
_
scop
w
i
th r
e
spect
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-04
Sven Ver
d
oolaege
pa
s
s
value_
b
ounds to
PetScan
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-04
Sven Verdoolae
g
e
store va
l
ue_bound
s
in
isl_un
i
on_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-04
S
ven
V
e
r
doolaege
READM
E
: mentio
n
that ubuntu l
i
bclang-dev is not suffici
e
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-04
S
v
en Verdoolaege
R
EADME: men
t
io
n
pot
e
nt
i
al problem when configuri
n
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-06
Sven Verdoolaege
keep track of size of array elements
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-05
Sven Verdoolae
g
e
a
djust
to change in nu
m
ber of argumen
t
s of Dec
l
Ref
E
xpr
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-05
S
v
en Verdoolaege
configu
r
e
.
ac: remove spur
i
ous ","
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-03
Sven van Haastregt
pet_scop_
e
xtract_f
r
o
m_C_source: retur
n
NULL in case
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-02
Sven Verdoolaege
pet_scop_extra
c
t_from_C_source:
r
eset user pointers
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-01
Sven Verdoolaege
update isl for fix in isl_space_s
e
t_dim_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-30
S
ven Verdo
o
laege
REA
D
ME: add more re
q
uirements
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-18
Sven
Ve
r
do
o
l
a
ege
u
pdate f
o
r
c
h
ange in clang's Hand
l
eTopLevelDe
c
l r
e
t
urn
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-18
Sve
n
Verd
o
ola
e
ge
confi
g
ure
.
ac: only link a
g
a
inst
li
b
r
aries
f
rom
L
L
VM
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-18
S
ven Verdoolaege
upda
t
e
i
s
l for supp
o
rt for recent c
l
angs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-08
Sven
V
erdoolaege
scan
.
c
c
: fix typos in comme
n
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-04
Sven Verdoo
l
aege
sc
o
p
.
c
:
fix typo in co
m
ment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-04
S
ven V
e
rdoolaege
add --version option
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdoo
l
aege
pet 0
.
01
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdo
o
lae
g
e
update isl to version 0
.
09
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-17
Sven Ve
r
doolaege
conf
i
g
ure
.
a
c
: specify address for bug repo
r
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-17
S
v
e
n
V
erdoolaege
check for
p
rese
n
ce of protot
y
pe before accessi
n
g
pa
r
ameters
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-17
Sven Ver
d
oolaege
PetScan::uns
u
pported: optionally print custom mess
a
g
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-28
Sven Ver
d
o
o
l
aeg
e
RE
A
DME: add a sma
l
l
n
o
te on
h
ow to us
e
pe
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-28
S
v
e
n
Verdoolaege
k
e
ep track of
"
addr
e
ss of
"
operator
s
on
a
c
cess
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
S
ven Verd
o
olaege
sc
o
p_
e
xtract
_
f
rom
_
C_sourc
e
: properly
c
lea
n
up if input
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sv
e
n Ver
d
oolaege
co
n
struct_invocation: a
d
d missing check for
j
ob
s
size
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sven V
e
r
doolaege
cache values in assigned_val
u
e in
s
tead of expr
e
ssions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
S
v
en Verdool
a
ege
allow bo
o
lean expressi
o
ns where an affine expression
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
S
v
e
n
Verdoolaege
allo
w
parens around inte
g
er
l
i
teral in seco
n
d
ar
g
ument
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verd
o
olae
g
e
add extra min t
e
st
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sve
n
Ve
r
do
o
laege
upd
a
te i
s
l for
isl_pw_aff_has_
d
im_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verdoolaege
add mi
s
sing namespace qua
l
if
i
cation on llvm
:
:A
r
rayRef
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-21
Sven Ver
d
ool
a
ege
pe
t
_s
t
mt_from_pet
_
exp
r
: fix m
e
m
o
ry leak on error path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-21
Sven
V
e
rdoolaege
s
c
an
.
c
c:
u
pdate comment
o
f valid_
f
or_eac
h
_iteratio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
S
ve
n
Verd
o
olaege
allo
w
nested accesses in loop
u
pper bounds
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
S
ven Ve
r
do
o
laeg
e
a
l
l
ow nested acc
e
sses in if c
o
ndit
i
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
Sven Verdoolaege
ex
t
ract
n
_nested_
p
arameter
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
S
ven V
e
rd
o
olaege
extract i
s
_ne
s
t
ed_par
a
me
t
er
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
Sven Verdo
o
laege
e
xtr
a
c
t extract_nested
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
Sven Verd
o
o
laege
rena
m
e non_af
f
ine to
n
e
sted_access
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
Sven Verdo
o
laege
add pe
t
_scop_write
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
Sven Verdoolaege
privately export pet_expr_fo
r
each_a
c
c
es
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verdo
o
laege
a
d
d
-D op
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
S
ve
n
V
e
rdool
a
ege
a
d
d -I
o
ption
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdo
o
laege
pet:
u
se
i
s
l for
a
r
gument pars
i
ng
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolaege
sto
r
e autodetect option in
a
separate pet_opti
o
n
s
stru
c
ture
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdo
o
laege
update isl for su
p
port for
st
r
ing list arg
u
me
n
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven
Ver
d
oolaege
u
p
d
a
te i
s
l for introd
u
c
t
ion of isl_args
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolaege
use the clang
driver to obt
a
in comm
a
nd line arg
u
m
ents
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven
Verdoolaege
des
t
roy MyDiag
n
osticPrinter o
n
ne
w
er
clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven
Verdool
a
ege
supp
o
rt more recent LLVMs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolaege
u
p
date isl
f
o
r
support for
r
e
cent clan
g
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-06
Sven Verdoolaege
extra
c
t_af
f
i
n
e: a varia
b
le that has
been assigned an
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-06
S
v
e
n Verd
o
olaege
induction v
a
r
i
able
o
f
f
or l
o
op should
be cons
i
dered
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-06
S
v
en Verd
o
o
laege
a
n address passed to a
c
onst pointer argument should
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next