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_binary_increment: rename "dim" variable to "space"
2014-03-24
Sven Verd
o
ola
e
ge
PetScan:
:
extract_bina
r
y_
i
ncr
e
ment: rename "dim" variable
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
P
etS
c
an
:
:n
e
s
t
ed_ac
c
ess: rename "dim" variable t
o
"
s
pace"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
P
e
tS
c
an::extract_affine(D
e
clRefExpr
*
): rename
"dim
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n Verdoolaege
PetScan
:
:ext
r
a
ct_a
f
fine(const llvm::AP
I
nt
&
):
r
ename
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdo
o
l
ae
g
e
PetScan::extract_aff
i
ne(IntegerLite
r
a
l *): ren
a
me
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoo
l
aege
a
d
d
p
e
t_expr_e
x
tract
_
aff
i
ne
a
nd
pet_exp
r
_extr
a
ct_af
f
i
ne_cond
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
Verdoolae
g
e
add
pet_cont
e
xt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ve
r
doolaege
p
e
t
_comp
a
rison: handle Na
N
input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
e
rdool
a
ege
pet_
t
o_bool: han
d
l
e
NaN in
p
ut
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ver
d
oolaege
pet_not: han
d
le NaN input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
Verdoolaege
update isl for affine NaN
expre
s
sions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n Verdo
o
laeg
e
add support fo
r
n
e
sted accesses rep
r
esented by
a
pet_exp
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
Verdoolaege
s
e
parate out ex
t
rac
t
ion of
n
ested
expression fro
m
isl_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en Verdoolaege
pet_e
x
pr_is_s
c
ala
r
_
a
ccess: do n
o
t con
s
ider s
c
alar fields
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
V
e
r
doolaege
ex
t
ract
o
ut pet_extract_cst
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
extr
a
c
t
out pet_boolean
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
V
e
rdo
o
laege
extract ou
t
p
et
_
to_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven V
e
rdo
o
laege
ex
t
ract out
pet_not
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
V
e
rdoolaege
e
x
t
ract out pet
_
an
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaeg
e
add more pet
_
e
x
pr_is_* functio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoola
e
ge
extract out t
h
e
h
a
ndlin
g
of skip co
n
ditio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
extr
a
c
t
o
ut pet_c
r
eat
e
_test_index
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
extract out
p
et_
s
cop_add_boolean_arr
a
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
scan
.
c
c
: scop_add
_
array: rename "
d
im" v
a
riable
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en Verdool
a
e
ge
p
e
t_expr
:
keep track o
f
type_size
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
extract
shared
P
e
tScan::ex
t
ract_ac
c
ess_expr
(
isl_multi_pw_aff *)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
e
x
trac
t
out pet_c
o
mparison
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdo
o
la
e
ge
scan
.
cc: move
U
naryOperatorKind2p
e
t_op_t
y
pe, BinaryOpera
t
orK
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
e
r
d
oolaege
add
pet_s
t
mt_can_bui
l
d
_
a
s
t_exprs and
pet
_
scop_can_build_
a
st_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolae
g
e
pet_scop_co
l
lect_arra
y
s
:
col
l
ect
a
rrays in a so
r
t
ed se
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven V
e
r
d
ool
a
eg
e
p
e
t_sco
p
_collect_arra
y
s:
avoid tryi
n
g
t
o re
m
ove "typ
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdool
a
ege
p
et_stmt_from
_
pet_expr: drop i
s
l
_ctx argume
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdo
o
laege
make pet_e
x
pr obj
e
ct
s
reference counted
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdool
a
ege
PetScan
:
:ext
r
act_argument: avoid
modifying
p
a
rt of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven
V
erdoolaeg
e
upd
a
te isl for
_
_i
s
l
_null memor
y
mana
g
ement anno
t
ation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoola
e
ge
ext
r
act some nest
e
d
par
a
meters relat
e
d cod
e
into nest
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven
V
e
rdoolaege
add pet_expr_a
c
c
e
ss_get_ref_i
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sv
e
n Ver
d
oolaege
ad
d
pet
_
expr_access
_
i
s
_re
a
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolaege
add pet_expr_access_i
s
_wri
t
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven V
e
rdool
a
ege
ad
d
pet_
e
xpr_for
e
ach_call_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoola
e
g
e
a
dd p
e
t
_expr_double_get_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolaege
add pet_expr_acc
e
ss_get_depend
e
nt_
a
ccess
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sv
e
n Verdoolaege
add pet_expr_access_get_must_acce
s
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
S
v
en
V
erdoo
l
aege
up
d
ate
isl for
i
sl_sp
a
ce_d
o
ma
i
n_f
a
ctor_
d
o
m
ain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoo
l
aege
expo
r
t pe
t
_
expr_access_get_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolaege
e
x
po
r
t pe
t
_expr_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
S
ven V
e
rdoola
e
ge
export pet_e
x
pr_is_a
f
fine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolaege
e
xport p
e
t_expr_foreach_access
_
e
x
pr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolaege
extract
o
ut pe
t
_ex
p
r_a
c
c
ess_pullba
c
k_multi
_
a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolaege
e
xtract out pet_e
x
p
r
_access
_
mo
v
e
_
d
i
m
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolaege
extract out pet_expr_ac
c
e
s
s
_
get_parameter_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Ver
d
oolaege
extract
out pe
t
_expr
_
acces
s
_get_data_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolaege
extra
c
t out pet_expr_gist
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven
V
erdoolaege
extract out pe
t
_
v
a
lue_bounds_apply to a se
p
arate
f
ile
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolaege
move
pet
_
e
xpr functions to separat
e
file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sve
n
Verdoo
l
a
e
g
e
sc
o
p
.
c: expr_w
r
ites: use pet
_
ex
p
r_foreach_access_e
x
p
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoola
e
ge
scop
.
c: expr_detec
t
_param
e
ter_accesses:
u
se pet
_
expr_map_access
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sv
e
n Verdool
a
ege
pet_scop_detect
_
para
m
eter_acces
s
es: rename "di
m
" var
i
able
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolaege
s
c
op
.
c: expr_
p
ro
p
agate_params: use
p
e
t_ex
p
r_
m
ap_ac
c
ess
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoo
l
aege
ex
t
ract out
p
et_filter_i
n
sert_pma
to separate file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven
Verdo
o
laege
add more
t
e
st
cases
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sve
n
Verdoolae
g
e
p
et_
e
xpr: merg
e
u
nary, binary an
d
ternary
t
ypes
i
nto
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
S
ven Verdoolaege
extract integers
as integ
e
r expressi
o
ns rath
e
r
than
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoo
l
a
e
ge
upd
a
te t
e
s
t c
a
se ou
t
puts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolaege
a
dd sup
p
ort f
o
r
int ex
p
r
e
ssions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven
V
erdoolaege
pet_check_code
.
c
:
pass alon
g
i
terat
i
on
s
pace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven
V
erdoolaege
extr
a
c
t
out shared pet_s
t
mt_get_sp
a
ce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolaege
exp
o
r
t pet_expr_from_in
d
ex
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven
Verdoola
e
ge
pet_scop_embed: pass isl_aff sc
h
edu
l
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
S
v
e
n
V
erdoolaeg
e
extract out pet_s
t
mt_is_a
s
sig
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sve
n
V
e
rdoolaeg
e
ext
r
act out
c
ommon pet_stmt_i
s
_kill
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Ve
r
doolaege
PetScan
:
:
e
xtract_inc
r
e
m
e
nt: impr
o
ve erro
r
message
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven
Verdo
o
l
a
ege
support logical op
e
rators i
n
expressions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
S
v
en V
e
rdoolaeg
e
sup
p
o
rt int
M
od, intCeil
a
n
d intFloor
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sve
n
Verdoolaege
p
r
ovide ge
t
te
r
and set
t
er
fo
r
detect-con
d
i
t
ion
a
l-a
s
signment
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdo
o
laege
p
e
t_check_code: dump
i
ter
a
tion domains
i
f they
a
r
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven V
e
rdoolaege
pet_check_code: p
a
rse
i
s
l
o
ptions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoola
e
ge
sca
n
.
cc: indica
t
or_fun
c
tion
:
coales
c
e
do
m
ai
n
before
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
scop
.
c: fix typos
in c
o
mment
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sve
n
V
e
rdoolae
g
e
scan
.
cc: fix typos in
comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
S
ven
V
e
rdoolaege
pet
_
scop_restri
c
t
_
skip:
fix typo i
n
e
r
ror message
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
S
ven
V
erdoolae
g
e
P
e
tScan::is_nested_
a
ll
o
wed: check
f
or skip condit
i
on
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
S
ven Verdoo
l
ae
g
e
print
.
c
: print_pet_expr
:
fix memory m
a
n
a
gement anno
t
ation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
S
ven Ve
r
doola
e
ge
dro
p
d
ead method
PetScan::is_af
f
ine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven
V
e
r
doolaeg
e
scop
.
c:
e
m
bed_access: drop redundant varia
b
le
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
pet
_
scop_filter_s
k
ip: avoid recomputation of t
e
st expression
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verd
o
olaege
PetSc
a
n::e
x
tract_non_affine_condi
t
ion: remove
redund
a
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven V
e
r
d
ool
a
ege
s
eparate ou
t
shared
PetSc
a
n::update_scop
_
start
_
e
nd
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sv
e
n Verdoolaeg
e
pet
_
expr_dump: only print expr->acc
.
re
f
_
i
d if
i
t
is se
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
s
c
op
.
c
:
st
m
t_propaga
t
e_p
a
r
a
ms: also update access
e
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
S
v
en Verdoolaeg
e
scop
.
c:
s
t
mt_
c
o
l
l
e
ct_params: also
c
o
lle
c
t parameters
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdool
a
ege
s
cop
.
c: *_collect_params: f
i
x error hand
l
ing
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdool
a
ege
p
e
t_scop
_
align_para
m
s: impr
o
ve err
o
r h
a
ndling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sve
n
Verdoolaege
pet
_
scop_align_par
a
m
s
:
ren
a
me "dim" variable to "spac
e
"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
PetScan::extra
c
t_nes
t
ed: plug memory leak o
n
e
r
ror
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
scan
.
cc: c
l
e
a
r_assign
m
ent: fix l
o
gic
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdo
o
l
ae
g
e
PetScan::extract(IfStmt *):
c
l
e
ar assignm
e
n
t
s in body
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
S
v
en Verdoolaege
Pe
t
Scan::
e
x
trac
t
_i
n
fin
i
te_fo
r
: also clear a
s
signments
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sve
n
Verdoolaege
Pe
t
Scan::extract_for: always keep v
i
rtual
iter
a
tor
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sve
n
V
erdool
a
ege
m
o
dify tests/unsig
n
e
d
3
.
c test cas
e
to
u
s
e
the it
e
rator
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next