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
pet_scop_from_pet_stmt: fix error handling
2013-06-05
Sven Verdool
a
e
ge
pet_scop
_
fro
m
_pet
_
stmt: fix erro
r
handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-29
Sve
n
Ve
r
do
o
laeg
e
sc
a
n
.
cc: comp
u
te_wrapping: use isl_v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-29
Sve
n
Verdoolaege
scan
.
c
c
: ca
n
_wra
p
: use isl
_
v
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-29
Sven Ve
r
doolaeg
e
PetSca
n
::extract_for: use isl_val
t
o represe
n
t loop
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-29
S
ven Verd
o
olaege
scan
.
cc: avoid_overflow: us
e
isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-29
S
v
e
n Verdoolaege
Pet
S
can::ex
t
ract_affi
n
e_add: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-29
Sven Verdoolaege
sca
n
.
cc: set_parameter_bounds
:
use isl_va
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-29
S
ven
V
erdoolaege
Pet
S
c
a
n::e
x
t
r
act_affine:
use isl_
v
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-29
Sven Ve
r
doola
e
ge
PetSca
n
:
:
extrac
t
_int: r
e
tu
r
n isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-29
S
v
en Verdoo
l
aege
u
p
d
ate i
s
l
f
or isl_val abstraction
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-28
Sven
Verdo
o
l
a
e
ge
stop destroying MyDiagnos
t
i
cPrinter
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-23
S
v
en
V
er
d
o
olaege
update isl to versio
n
0
.
11
.
2
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-21
Sven
Verd
o
olaege
s
cop
.
c: add missing include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-21
Sven Ve
r
doola
e
ge
pet_check_c
o
de
.
c: add mis
s
ing include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-21
Sven
Verd
o
o
lae
g
e
M
akefile
.
a
m
: declare test ex
t
e
n
sions for parallel test
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-09
S
v
en
Ve
r
dool
a
ege
p
e
t_ch
e
ck_code: better support for schedules that ar
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-09
Sve
n
Verdoolaege
pe
t
_
c
heck_cod
e
.
c: add_assignment: complete
l
y remove
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-07
Sv
e
n Verdoolaege
update for change
i
n ar
g
uments
o
f cla
n
g's He
a
derSe
a
rchOpti
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-07
Sven
Verdoolaege
update for change in arguments
of cl
a
ng's C
o
mpilerInstance
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-07
Sven V
e
rdoo
l
aege
update isl
f
or support
f
or r
e
cent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-09
Sven Verdo
o
laeg
e
derive
offset in
f
ormation from
locat
i
on of scop and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-08
Sven Verdoo
l
aege
pet_sc
o
p: ke
e
p track of
star
t
an
d
end file offse
t
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-05
S
ven Verdoo
l
aege
support
(
C style) casts in state
m
ents
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-01-03
Sven Ver
d
o
o
laege
scop
.
c: fix typo
s
in com
m
ents
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-27
Sven
V
erd
o
o
l
aege
u
p
d
at
e
isl for mi
s
s
ing inc
l
ude in
i
n
terfac
e
/pyth
o
n
.
cc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-26
Sven V
e
r
d
o
o
laege
keep track o
f
str
i
ng re
p
re
s
ent
a
tion
o
f f
l
oating
p
oint
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-24
Sven Verdoolaeg
e
pa
r
se
.
c: extrac
t
_double:
f
i
x
retu
r
n type
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-10
Sven Verdoolaege
update isl to ve
r
sion 0
.
11
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoolae
g
e
pet
0
.
03
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sv
e
n Verdoolaege
u
p
date isl to ver
s
ion 0
.
11
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-01
S
v
en
Verdoolae
g
e
u
p
d
ate for ch
a
n
ge in t
h
e
c
onstructor of
t
he clang Driver
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-01
Sven V
e
rd
o
olaege
updat
e
isl for support for r
e
cent
c
l
angs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-24
Sv
e
n Verd
o
olaege
con
f
igure
.
a
c
: c
h
ec
k
if TargetInfo::CreateTarg
e
tIn
f
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-24
Sven
V
e
rd
o
olaege
update isl fo
r
support for
r
e
cent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-22
Sven
Ve
r
doolaeg
e
update isl fo
r
c
h
ange
i
n AST
p
rin
t
ing callback interfa
c
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-08
Sven Verdoolaege
add
t
est
f
or veri
f
ying the corre
c
tness
o
f the isl
c
ode
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-08
Sven Verdoola
e
g
e
p
et_
s
c
op_anonymize: also rem
o
ve user pointers from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-08
Sven V
e
rdoolaege
scop
_
extract_from_C_source:
a
n
onymiz
e
s
co
p
aft
e
r updating
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-08
Sven Verdoolaege
add support for (sing
l
e) declarati
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-08
Sven
V
erdoolaege
pet_scop_colle
c
t
_
a
r
rays: skip
ar
r
ays that already a
p
pe
a
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-08
Sv
e
n Ve
r
doolaege
extract out PetScan::assign
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-08
S
v
e
n
V
erdo
o
laege
PetScan:
:
mark_write: handle NULL access
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-08
Sven Verdoo
l
a
eg
e
extract out pet_scop_add_array
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-08
Sv
e
n
V
e
rdoolaege
pet_array_free: re
t
urn NU
L
L pointer of type struct
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-08
Sven
V
erdoolaege
fix
u
se
o
f DiagnosticOpt
i
ons for older clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-04
S
v
en Ve
r
doolaege
update for chan
g
e in clang's Prep
r
oces
s
orOptions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-04
S
v
en Verdoo
l
aege
update for change in
c
lan
g
's HeaderSe
a
rchOptions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-04
Sven
Verdoolaege
u
p
d
a
te for ch
a
nge in clang's DiagnosticOptions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-04
Sven
V
erdoo
l
aege
scop_extract_from_C_sour
c
e
: tak
e
TargetO
p
t
io
n
s object
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-15
Sve
n
Verdool
a
e
ge
PetS
c
an::extract: als
o
clear a
s
si
g
nmen
t
s in while loops
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-15
S
v
en
Verdoolaege
clear_assignments
:
al
s
o
consider decr
e
men
t
s and
i
ncrements
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-15
Sven Ve
r
d
o
olaege
c
o
nfigure
.
a
c
: check for getExpansionLo
c
in clang/Basic
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-05
Sve
n
V
erdoolaege
confi
g
ure
.
ac: link
a
ga
i
nst same LL
V
M components as
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-03
Sven Verdoolaege
Pe
t
Scan:
:
extract_arra
y
: use
d
eclared size on VLA pa
r
ameter
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-01
Sven Verdo
o
lae
g
e
PetSc
a
n::sca
n
:
u
se expans
i
on offset to det
e
rmine i
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-21
Sven Ver
d
oola
e
ge
Pet
S
can::extract_fo
r
:
a
l
s
o
c
h
eck whether bound is simp
l
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdoolaege
use i
s
l_
p
w_a
f
f_
t
div_q an
d
isl_pw_aff_tdiv_r ins
t
ead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdoolaege
update i
s
l for isl_pw_aff_tdiv_q and
i
sl_pw_aff_td
i
v
_r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
S
ven Verdoolaege
sup
p
ort mo
d
ulo operat
i
on in
s
t
a
tem
e
nt
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-07
S
ven
V
e
rdoolaege
include/pet
.
h:
f
ix typo in
d
o
cumentation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-07
Sven Verdoolaege
ma
k
e avoiding overflow
s
on si
g
ned
i
nteges
o
p
tional
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-02
S
v
e
n
Verdoolaeg
e
upda
t
e is
l
for rename of
!isl_se
t
_dim_has_{lowe
r
,
u
pper
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-07-27
Sven V
e
r
doolae
g
e
s
c
an
.
cc:
a
d
d
missing i
n
c
l
ude
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-07-06
Sve
n
Verdoolaege
only r
e
q
u
ir
e
libyaml for compiling the pet executa
b
le
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-04
S
ven Verdoolaege
pet 0
.
02
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-04
Sv
e
n Verdoolaege
c
onfig
u
re
.
ac: all
o
w specific
a
tion of gmp loc
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sve
n
Verdoolaege
upd
a
te isl to
v
ersion 0
.
10
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven
V
erdoolaege
READ
M
E: mention su
p
port for non-
a
f
fi
n
e co
n
ditions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
S
v
e
n Ver
d
o
olaege
READ
M
E: up
d
ate to l
a
te
s
t
release
o
f clang
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sve
n
Verdo
o
l
a
ege
scop
_
a
dd_bre
a
k: try and me
r
ge filters
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
S
v
en Ver
d
oolaege
suppor
t
break a
n
d continue
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sve
n
Ve
r
dool
a
ege
add pet
_
expr
_
filter
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdo
o
laege
scop
.
c: extract out insert_filter_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoola
e
g
e
s
cop
.
c: ext
r
act out ar
g
s_insert
_
ac
c
ess
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Ve
r
do
o
laege
ad
d
pet_sc
o
p_a
l
lo
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoola
e
g
e
PetScan::e
x
t
r
act(IfStmt *): extrac
t
o
u
t extract_n
o
n
_a
f
fine_if
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdo
o
laege
handle gen
e
ric conditi
o
ns is for
l
o
ops
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Ver
d
o
o
l
ae
g
e
pet_sc
o
p
_
embed: take mappi
n
g fro
m
v
irtua
l
to real iterat
o
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
S
v
en Verdoolaege
Pe
t
Scan
:
:extrac
t
_fo
r
: rename variable
"
dim" to "
s
pa
c
e
"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
S
v
en Verdoolae
g
e
scop
.
c: ext
r
a
ct
ou
t
internalize_iv
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Ve
r
d
o
o
l
aeg
e
scan
.
cc:
m
ove has_nest
e
d up
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven
Ver
d
o
olaeg
e
scan
.
cc: move is
_
nest
e
d_parameter up
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaeg
e
handle non-af
f
ine condition
s
in whi
l
e loop
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven
Ve
r
doolaege
scan
.
cc: extract out PetS
c
a
n
::extra
c
t_affin
e
_while
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaege
scan
.
cc:
move scop_add_array up
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolae
g
e
scan
.
cc: move create_test_acc
e
s
s
up
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sv
e
n
V
e
r
doolaeg
e
pet_scop
_
fi
l
ter: allow fil
t
er
s
with
n
on-zero-
d
i
mensional
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaege
scan
.
cc
:
extract o
u
t ide
n
t
i
ty
_
map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven
Ve
r
d
ool
a
ege
sca
n
.
cc:
extract out infinite_
d
om
a
i
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaeg
e
add pet_scop_res
e
t_c
o
n
t
ext
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoo
l
ae
g
e
scop
.
c: fix typo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-02
Sven
V
erd
o
olaeg
e
PetScan::extra
c
t_f
o
r: re
m
ove incorrect optimization
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sven Verdoolaeg
e
sup
p
ort decr
e
ment and increment operations
in
statements
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sven Ve
r
doo
l
a
ege
scan
.
cc: fix
whi
t
espace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sven Ver
d
oolaege
sca
n
.
cc: fix typos in
comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sven
Verdool
a
ege
Pet
S
can
:
:
nest
e
d_access:
c
heck tha
t
nested
access
d
oesn
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sven Verdoolaege
PetScan::extract_
n
o
n
_affine_condition:
r
es
o
lve n
e
s
te
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
S
ven Verdoolaege
PetScan::extract_access
_
expr: remove duplication
b
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sven Verdoola
e
ge
cache assigned value
s
in then a
n
d else branc
h
of
i
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sv
e
n Verdoolaeg
e
pet_scop_collect_
a
rrays: als
o
collect arrays t
h
at
o
n
ly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next
