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
replace PetScan::extract_access by PetScan::extract_index
2013-07-27
Sven
Verdoola
e
ge
replace PetScan::extract_access by
PetScan
:
:
e
xtract_index
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
scan
.
c
c
: extract out e
x
tract_access_expr
(
V
a
lueDecl *)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Ve
r
doolaege
scan
.
cc: extract_expr(Conditio
n
alOpe
r
ator *): u
s
e pet_expr_
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Ver
d
oolaege
scan
.
cc:
add create_test_
i
ndex
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoola
e
ge
add pet_
e
xpr_kill_from_a
c
cess_and_index
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en Verdoo
l
aege
a
dd pet_expr_from_in
d
ex_and_depth
wrapper
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sve
n
Ve
r
doolaeg
e
ad
d
pet_expr_
f
r
o
m_in
d
e
x
w
rapper
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdool
a
ege
updat
e
isl f
o
r
improved s
u
ppor
t
for i
s
l_multi
_
pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-25
Sven Verdoolaege
use isl_a
f
f t
o
re
p
resent mapping fro
m
virtual i
t
erato
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-25
Sven
V
erdool
a
ege
scan
.
cc: com
p
ute_wra
p
ping: drop dead code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-25
Sv
e
n V
e
rdoola
e
ge
scan
.
c
c: Pet
S
c
a
n::
e
xtract_for:
u
s
e identity_ma
p
ins
t
ead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-25
Sven V
e
rdo
o
laege
use im
p
lications to encode whil
e
and b
r
eak filters
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-25
Sven Verdo
o
laege
introd
u
ce p
e
t_i
m
plica
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-25
Sven Verdoolae
g
e
scan
.
cc: scop_add_
w
hile: take
i
sl_id
i
n
st
e
a
d
o
f isl_m
a
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-25
Sven
Verdoolaege
scan
.
cc
:
sco
p
_add_break: ta
k
e isl_i
d
in
s
t
e
a
d
of
i
sl_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-25
Sven
Verdoolaege
add pe
t
_scop_get_skip_
i
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-25
Sven Verdoolaege
scan
.
cc: extrac
t
out shared pet
_
scop_get_affine_skip_dom
a
i
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-25
Sven Verdool
a
ege
extract out
s
hared pet_expr_access_get_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-25
Sven V
e
rdoolaeg
e
scop
.
c: extract out
a
cc
e
s
_a
p
ply_value_bound
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-25
Sven Verdoolaege
e
xtract o
u
t
shared
p
et_expr
_
is
_
scalar_access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-25
S
v
en Verdoolaege
s
c
o
p
.
c
:
expr_writes: use pet_expr_is_affine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-25
S
ven Verdool
a
eg
e
scop_plus
.
c
c
:
access_collec
t
_arrays: use pe
t
_expr_is_affine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-25
S
ven
V
erd
o
olae
g
e
sc
o
p
.
c: e
x
pr_co
l
l
e
ct_accesses: u
s
e pet_
e
xpr_is_a
f
fine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-25
S
ven V
e
rdoola
e
ge
add reference
i
dentif
i
ers to all
access expressions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sve
n
Verdoolaeg
e
update test case outputs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoo
l
aeg
e
configure
.
ac: li
n
k
i
n
l
lvm option comp
o
nent
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven V
e
rdoolaege
update isl to v
e
rsi
o
n 0
.
12
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-17
Sven V
e
rdoolae
g
e
a
dd pet_expr_foreach
_
acc
e
ss_exp
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-17
Sv
e
n Verdoolaege
rename pet
_
expr_fo
r
e
a
ch
_
access t
o
pet_expr_ma
p
_ac
c
e
ss
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-17
Sv
e
n Verdoolaeg
e
replace pet
_
expr_f
o
r
each
_
a
cces
s
by
pet_expr_foreach_access_
e
xpr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-17
Sven Verdoolae
g
e
sc
a
n
.
cc: remove_nested_parameters: use pet_expr_foreach
_
ac
c
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-17
Sven
Verdoola
e
ge
s
cop
.
c: expr_embed:
use pet
_
e
x
pr_fore
a
ch_access_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-06
Sven Verdoolaege
skip co
m
pound statement
wit
h
only statements
t
hat we
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-02
Sv
e
n Verdoolaege
pet_array_embed: improve err
o
r hand
l
ing
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-02
Sven Verdoolaege
p
e
t_scop_add: plug memory
l
eak on error path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-26
Sven Verdo
o
la
e
ge
pet
0
.
0
4
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-23
Sv
e
n V
e
rd
o
o
l
aege
update
isl
t
o versio
n
0
.
12
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-22
Sven Verdoolaege
configure
.
ac:
explicitly link in llvm
b
it
r
ead
e
r compone
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-19
Sven Verdool
a
ege
PetScan::sc
a
n: fix chec
k
f
o
r scop being
prop
e
r
part
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-19
Sven Ve
r
dool
a
ege
PetScan::extract_int: use isl_val_in
t
_fro
m
_chunks
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-19
Sven Verdoo
l
aege
updat
e
i
s
l
for
i
s
l_val_int_
f
r
o
m_chunks
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-19
Sven Verdo
o
laege
exte
n
d start of scop to star
t
o
f line if fir
s
t token
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-19
Sven
V
erdo
o
la
e
ge
parse
.
c:
o
nly parse
fields corres
p
onding
t
o type
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-19
Sven V
e
rdoolaege
scan
.
cc: fix typos in comm
e
nts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-05
Sven Verdoo
l
a
ege
p
e
t_sco
p
_
fr
o
m_
p
e
t
_stmt: fix error h
a
n
dling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-29
S
v
en Verdoolaege
s
c
an
.
c
c: compute_
w
ra
p
ping: use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-29
Sven V
e
r
doolaege
scan
.
cc: can_
w
ra
p
: use
i
sl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-29
Sven Verdoo
l
a
ege
PetScan::extract_for:
use isl_val t
o
represent
l
oop
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-29
S
v
en Verdool
a
ege
scan
.
cc: avoid_overflow: use
isl_va
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-29
Sven
Verdo
o
laege
PetScan::extract_
a
ffi
n
e_add:
use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-29
S
v
en V
e
rdoolae
g
e
scan
.
cc: set_parameter_
b
o
u
nds: use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-29
Sv
e
n V
e
rdo
o
lae
g
e
PetScan::extra
c
t_aff
i
ne: use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-29
Sv
e
n
V
erdoolaege
PetScan::ext
r
act_i
n
t: retu
r
n isl
_
val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-29
Sven
V
erdoolaege
u
p
date
isl for isl_val
a
bstract
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-28
Sven Ve
r
doolaeg
e
s
t
op des
t
roying MyDia
g
nosticPrinter
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-23
Sv
e
n Verdoolaege
update isl to
v
ersion
0
.
1
1
.
2
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-21
Sve
n
Verdool
a
ege
s
c
op
.
c: add missing include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-21
S
v
en Verd
o
olaeg
e
pet_check_co
d
e
.
c
: add
m
issing in
c
lude
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-21
Sve
n
Ver
d
oolaege
M
a
k
efile
.
am: de
c
lare test
exten
s
ion
s
for para
l
lel tes
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-09
Sv
e
n Ver
d
o
o
laege
pet_chec
k
_co
d
e: better
s
upport f
o
r schedules tha
t
are
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-09
Sven
Verdoolae
g
e
p
et_check_code
.
c: add_assignme
n
t:
com
p
letely remove
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-07
S
v
en V
e
rdoolaege
update for change in arguments
of
c
l
a
ng
'
s
H
eaderSea
r
chOption
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-07
Sven Ve
r
doolaege
u
pdate
f
o
r
change i
n
argum
e
nts of clang's C
o
mp
i
lerInstance
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-07
Sven Verdool
a
ege
u
p
date
i
sl for
support for re
c
ent
clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-09
Sven Ve
r
doolaege
de
r
ive offset
informat
i
on
f
rom l
o
cation o
f
s
cop and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-08
Sv
e
n Verd
o
olae
g
e
p
e
t_scop: keep track
o
f
start and en
d
fil
e
of
f
s
e
ts
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-05
S
ven
Verdoolaege
support (C
st
y
le) casts in statemen
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-01-03
Sven
V
e
r
doolaege
scop
.
c: fix typos in
c
omments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-27
Sven
V
erdoolaege
up
d
ate isl
f
or missing include
i
n
i
nterface/python
.
cc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-26
Sven
Verdoolaege
keep track of strin
g
representation of
float
i
n
g poin
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-24
Sv
e
n Verdoolaege
parse
.
c: extract_double: fix return type
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-10
Sv
e
n Verdoola
e
ge
update isl to version
0
.
11
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
S
v
en V
e
r
doolaege
pet 0
.
03
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven
V
erdoolaege
u
p
dat
e
isl to ve
r
sion 0
.
11
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sven Verdoolaege
upd
a
te for
c
ha
n
g
e in the constructor o
f
the clang Drive
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sven Verdoolaege
u
p
date is
l
for s
u
pport for recent
c
l
an
g
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-24
S
v
en Verdoolaege
con
f
igure
.
ac: ch
e
ck if
Targ
e
tInfo::Create
T
arg
e
tInfo
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-24
Sven Verdo
o
l
aege
upda
t
e isl
f
or support for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-22
Sven Verdoolaege
u
pdate isl fo
r
change in AST pri
n
ti
n
g
callback interface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-08
Sven
V
er
d
oolaege
ad
d
test f
o
r ve
r
ifying
th
e
c
orr
e
ct
n
ess of
the
i
sl code
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-08
Sven
Verdoolaege
p
et_scop
_
anonymiz
e
: also remove user
pointers fr
o
m
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-08
Sv
e
n
V
erdoolaege
scop_extr
a
ct_from_C_source: anonymize scop after upd
a
tin
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-08
Sv
e
n Verdoolaege
add s
u
p
p
ort f
o
r
(
singl
e
) decl
a
rations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-08
Sven Verdoolaege
pet
_
sc
o
p_colle
c
t_arrays: skip arra
y
s that alr
e
ady ap
p
ear
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-08
Sven Verd
o
olae
g
e
extract out Pet
S
can::assign
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-08
Sven Verdoolaege
P
etScan::mark_write: handle
NULL access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-08
Sven V
e
rdo
o
laege
extrac
t
out pet_scop_add_
a
rray
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-08
Sven Verdool
a
ege
pet_array_free: return
NULL p
o
inter of type st
r
u
ct
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-08
Sven Verd
o
o
l
aege
fix use
o
f
D
ia
g
nosticOptions for
older clan
g
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-04
Sven Verdo
o
la
e
ge
update
for c
h
ange in clang's Pr
e
pr
o
cess
o
r
Options
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-04
S
v
en Verdoolaege
update for change in cla
n
g's H
e
aderSearchOptions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-04
Sven
V
erdo
o
laege
u
p
da
t
e for c
h
an
g
e in clang's Di
a
gnos
t
icOpt
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-04
Sven
Verdoolaege
scop_extrac
t
_from_C_
s
o
urc
e
: take TargetO
p
t
ions object
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-15
Sv
e
n Verdoolaege
PetScan::
e
x
t
ract: also clear assignments
i
n while loo
p
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-15
Sve
n
V
e
rdoolaege
cle
a
r_assi
g
nments: also consi
d
er de
c
rements and increments
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-15
Sv
e
n
V
erdo
o
laege
configure
.
ac: check for getExpa
n
sionLo
c
in clang/B
a
sic
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-05
Sven
V
erdoolaeg
e
configure
.
ac:
l
i
nk against sam
e
LL
V
M
c
o
mponents
as
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-03
Sven Ver
d
o
o
la
e
ge
PetSc
a
n
:
:extract
_
array:
u
se
declared size
o
n VLA parameters
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-01
Sven Verd
o
olaege
PetS
c
a
n::scan: use expansion offs
e
t to de
t
e
rmine
i
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-21
S
v
en Verdo
o
l
aege
Pe
t
Scan::e
x
tract_for
:
als
o
check whe
t
he
r
bound is simple
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next
