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: do not extract context from kill statements
2014-04-03
Sven
V
er
d
o
olaege
pet_scop_from_pet_stmt: do not extract context fro
m
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sven Ve
r
doolaege
PetS
c
an:
:
extract_argument: ha
n
dle p
a
ssing
o
f
e
ntire
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sven Ver
d
o
olaege
Makefile
.
a
m:
add dummy C++ source file
to pet_s
c
op_cmp
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
S
v
en Verdoolaege
handle pe
n
cil
i
n
d
ependen
t
p
r
a
gm
a
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdo
o
laege
PetScan:
keep track of line nu
m
ber of cur
r
e
nt
Stmt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
v
e
n
Verdoolaege
pe
t
.
cc: ex
t
r
a
ct out
P
e
t
A
STConsumer::add_
p
ragma_handlers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven
Ve
r
doolaege
add
e
ncapsulate_d
y
namic_control opti
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
ven Verdo
o
laege
pet_scop_
f
rom_pet_tre
e
: create stateme
n
ts direct
l
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sve
n
V
e
rd
o
olaeg
e
r
e
place pet_st
m
t_from_pet_expr by pe
t
_stmt
_
from_pe
t
_tree
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sve
n
Verdoolaege
pet_stmt:
us
e
p
et_tree to
represent statem
e
nt
b
ody
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
sco
p
.
c:
extract
out pet_stmt_i
s
_affine_as
s
ume and pet_
s
tmt_a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
ven
V
erdo
o
laege
scop
.
c: stmt_collect_
a
cc
e
sses: u
s
e pet_exp
r
_fore
a
c
h_access_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven
Verdoola
e
ge
scop
.
c:
s
t
m
t_collect_params: use pet_expr_for
e
ach_a
c
cess_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven
V
erdo
o
laege
keep trac
k
of indentation of
e
xtracted code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
upd
a
t
e
t
est cas
e
o
u
tput
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdool
a
ege
e
x
trac
t
enum constants
a
s
th
e
ir inte
g
er values
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ve
n
Ve
r
do
o
l
a
ege
PetScan
:
:
extract_int: s
e
para
t
e ou
t
ext
r
action
from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n Verd
o
olaege
Pet
S
can::extract_unsigned: turn
into a stat
i
c function
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
Verdoolaege
scan
.
c
c
: c
h
an
g
e
textual order of
ext
r
act_un
s
igned a
n
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doo
l
ae
g
e
pet_check_code
.
c: use
p
e
t
_
expr_extract_aff
i
ne
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
export pet_ex
p
r_extract_aff
i
ne
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_con
t
e
xt: no
l
o
nger keep
t
rack of
"unknown
"
valu
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven V
e
rdo
o
laege
p
e
t
_expr_extrac
t
_aff
i
ne:
no lo
n
ger
create new parame
t
ers
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
rdoolaege
PetScan::ex
t
ract_scop: populat
e
pet_c
o
nt
e
x
t
w
i
t
h para
m
eter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
scan
.
cc: move up sta
t
i
c
g
et_array_type function in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n Verdoolae
g
e
PetScan::get_arr
a
y_size:
c
ach
e
results
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
PetSc
a
n
::set_uppe
r
_
bounds:
e
xt
r
a
c
t out
PetScan::get_array
_
size
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdool
a
ege
pet_expr_is_equal
:
com
p
ar
e
ind
e
x expres
s
ions up to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_expr
_
e
xtrac
t
_
affine
:
exploit domain in
f
ormation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
add p
e
t_context_
g
e
t_gist_
d
omain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
a
e
g
e
tree2scop
.
c: scop_from_
b
lo
c
k: collect affine continue
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
p
e
t_scop_from_pet_tree
:
extract
pet_s
c
o
p f
r
om t
h
e root
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verd
o
ola
e
ge
add
f
unc
t
i
ons for ma
n
i
p
ulatin
g
the
do
m
ain of
a
pet_conte
x
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
V
e
rdoolaege
pet_sc
o
p_
r
estrict:
a
lso re
s
trict virtual
a
rray exte
n
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
pet_context_eva
l
u
ate
_
e
xpr: f
i
rst in
s
ert domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n Verd
o
o
l
aege
pe
t
_chec
k
_code:
r
em
o
ve tracking of assignments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
drop pet_scop
_
detect_parameter_accesses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
pet
_
conte
x
t
_
e
va
l
ua
t
e_e
x
p
r
:
a
lso plug
in affin
e
expres
s
i
o
ns
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
separate out pet_context_
e
valuate_exp
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
drop pet_con
t
e
x
t
_
mark_assigned
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven
V
erdoolaege
PetScan::extract_scop: c
l
e
ar writes at o
u
t
e
r
level
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
PetScan::extract_scop: loc
a
l
ly
c
ons
t
ruct pet_con
t
e
xt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
PetScan::extrac
t
_scop:
a
lso add
all pet_arrays
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_
e
xpr_filter: av
o
i
d introduct
i
on of cons
t
raints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
V
erdoolaege
tree
2
scop
.
c: i
s
_
simp
l
e_bound: handle highe
r
d
i
mensional
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdool
a
ege
tree2sco
p
.
c: valid_for_each
_
i
ter
a
t
ion:
h
and
l
e higher
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
tree2scop
.
c: add
_
implica
t
ion:
h
andl
e
higher dimensi
o
nal
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdool
a
ege
tree2sc
o
p
.
c: map_to_previous:
handle
h
igher dimens
i
onal
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Ver
d
ool
a
ege
tree2scop
.
c
:
after: handle higher dimensional domains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
p
e
t_extract_n
e
s
ted_from_space: ad
d
extra dimensions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Ver
d
oolaege
pet_extract_nested_fr
o
m_space: embed
a
r
g
u
ments i
n
given
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
add pet_expr_access_
g
e
t
_domain_s
p
ace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
pet_expr_resolve
_
nested
:
all
o
w
s
p
ec
i
fication of
d
omain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tre
e
2scop
.
c
: handle_wr
i
t
e
s: separate out ha
n
dling
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2scop
.
c: handl
e
_writes: remove redun
d
ant pet
_
cont
e
x
t
_
mar
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n Verdool
a
e
g
e
tree2scop
.
c: extra
c
t_kill: allow specificatio
n
of st
a
t
e
ment
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verd
o
olaeg
e
pet_scop_ad
d
_
b
o
o
l
ea
n
_
a
rray:
a
llow specific
a
tion of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aege
pet_ski
p
_info_
*
_e
x
tract*: pass along pet_
c
ontex
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolae
g
e
pet_scop
c
onstructors: allo
w
sp
e
ci
f
ication o
f
domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
tree2scop
.
c: s
c
op_f
r
om_{bre
a
k,continue}
:
minor clean-up
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Ve
r
doolaege
tree2s
c
op
.
c: scop_from_{break,continue}: allow specifi
c
ation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
V
e
r
doolaege
pe
t
_
c
reate_t
e
st_index: allow s
p
ecification of
d
o
m
ain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Ver
d
oolaege
p
et_stmt_from_pet
_
ex
p
r: allow specification of statement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Ve
r
doolaeg
e
p
e
t_stmt_fro
m
_pet_expr: minor clean
-
up
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
pet_s
t
mt_fr
o
m
_
pet_expr
:
rename "dim" varia
b
le to "spac
e
"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verd
o
o
l
ae
g
e
pet_context: keep track of dom
a
in se
t
rather than domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n
Verdoolaege
add pe
t
_nested_rem
o
ve_from_s
p
ace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2
s
cop
.
c: scop_from_non_aff
i
n
e
_
if:
drop p
r
eallocation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
g
e
tree2scop
.
c: scop_
f
rom_non_af
f
ine
_
if:
delay construction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Ve
r
d
o
olaege
tree2scop
.
c: scop_from_aff
i
n
e_for:
d
e
lay
c
onstruction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
d
o
olaege
t
ree2sc
o
p
.
c: scop
_
fro
m
_non_
a
ffine_while
:
d
rop preallo
c
ation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verd
o
o
l
a
ege
t
r
ee2scop
.
c: s
c
op_fr
o
m
_
non_affin
e
_whil
e
: delay
c
onstruction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaeg
e
tree2
s
cop
.
c: scop_from_infinite_loop: delay c
o
n
structi
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdool
a
e
g
e
t
ree2scop
.
c:
i
nfini
t
e_domain: delay in
t
ersec
t
i
on with
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2scop
.
c: extrac
t
out shared apply_a
f
fine_break
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
t
r
ee2s
c
op
.
c:
s
cop
_
from_affine_fo
r
:
remo
v
e preallocation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
tree2
s
cop
.
c
:
scop_from_a
f
f
i
ne_f
o
r: delay construction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
ge
tre
e
2scop
.
c: scop_from
_
a
f
fin
e
_for: introduce is_no
n
_affine
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
t
r
ee2scop
.
c: scop_
f
rom_a
f
fine_for: d
e
lay in
t
ersection
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
add pet_scop_inte
r
s
e
ct_d
o
main
_
prefi
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven
V
erdoolaege
add pet_prefix_pr
o
j
e
c
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolae
g
e
scop
.
c
:
extent_is_
v
irtu
a
l_a
r
ray
:
check for members
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
er
d
o
olaege
pet_a
r
ray_
e
mbe
d
: separate out
e
xtent_is_vi
r
tu
a
l_array
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Ve
r
doolaege
drop pet_scop_write
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2s
c
o
p
.
c:
i
s_nested_all
o
wed: take tree i
n
stead of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
V
e
rdoolaege
pet_skip_
i
nfo_*_extract*: pass struct pet_state instead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ve
n
Verdoolae
g
e
mo
v
e extraction of p
e
t_sco
p
from pet_
t
ree to separate
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
construct pet_scop fro
m
intermediate pet_tree
d
ata
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
ven Verdool
a
ege
add pet_
c
on
t
ext_clea
r
_writes_in_{expr,
t
re
e
}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
erdoo
l
aege
introduc
e
pet_tree objec
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaeg
e
move PetScan:
:
extract_whi
l
e b
e
fore its
first use
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
mov
e
Pe
t
Scan::is_nested_allowed before its first use
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolae
g
e
move PetScan::extract_non_affi
n
e_condit
i
o
n
before its
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
Verdoolaeg
e
P
e
t
Scan: drop
allow_nest
e
d attribute
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en Verd
o
olaege
introduce pet_loc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven V
e
rdoolaege
move pet_scop_e
x
tract_nested to ne
s
t
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaeg
e
move pet_
e
xpr_
e
xtract_nested
to
n
est
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en
Verdoolaege
Pe
t
Scan::extract_for: use
pet_ex
p
r
_extract_c
o
mparison
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoo
l
aege
PetScan::
s
can(Functi
o
nDecl
*
): construct a pet
_
context
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
remo
v
e P
e
tSc
a
n::try_extract_
a
ffine_conditi
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next
