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: always treat compound statement as a block
2014-06-20
Sve
n
V
e
r
d
o
o
laege
pet_expr: represent rea
d
/write f
l
ags as bits
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
p
et
_
expr
:
d
o
cument
t
he r
e
ad
an
d
write fields
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
r
d
oolaege
br
e
ak up access relations into may_read/may_write/mu
s
t_write
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pe
t
_expr_tag_acc
e
s
s
:
a
v
o
i
d
use of t
a
rg
e
t sp
a
ce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Ver
d
oolaege
po
s
tpone int
r
o
duction
o
f acc
e
ss r
e
lation
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdoolaege
emit
.
c:
e
m
i
t
_
expr: extract out em
i
t_access_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
drop pet
_
expr_access_ge
t
_acce
s
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoola
e
g
e
n
e
st
.
c: move is_su
b
_
a
ccess to expr
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verd
o
ola
e
ge
tree2scop
.
c: extrac
t
_k
i
l
l: upda
t
e
ki
l
l
expression rather
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
e
rdoola
e
ge
pet_expr_is_affine: a
v
oid us
i
ng access relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Ver
d
o
o
l
aege
pet_exp
r
_
f
ilter:
a
v
oid
u
s
i
ng a
c
cess re
l
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdo
o
l
a
e
ge
p
e
t_expr_ac
c
ess_up
d
ate_
d
omain
:
avoid using access relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven
Verdoolae
g
e
pet_expr_access_get_must_ac
c
ess: avoid us
i
ng access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdo
o
l
aege
pet_expr
_
access_get_id
:
avoid u
s
ing acce
s
s relat
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Ver
d
oolaege
ex
p
r
.
c: access_add_ref_id: avoid us
i
ng ac
c
ess
r
elatio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
scop
.
c: access_coll
e
ct_par
a
m
s:
avoid using access
r
elation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaeg
e
scop
.
c: implies_fil
t
er:
a
void using access relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoola
e
ge
scop
.
c: access_extract_context: avoid using
access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdoolaege
s
cop
.
c: expr_extract_c
o
ntext: avoid
using access relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdoolaege
scop
.
c:
e
xt
r
a
ct out
sh
a
red dr
o
p_argume
n
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rdoolaege
pet_expr_access_up
d
ate_domain: minor clean-up o
f
expres
s
i
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdo
o
laege
fu
r
t
h
e
r gen
e
ralize
c
ompute_to_inner
to support
pet_scop_comp
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdoolaege
g
e
ne
r
aliz
e
compute_to_
i
nner to supp
o
rt pet_scop_compute_
o
ut
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
sc
o
p
.
c: compute_t
o
_inner: m
i
cr
o
-opti
m
i
z
a
tio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-19
Sve
n
V
e
rdool
a
eg
e
tr
e
e2scop
.
c: is_nes
t
ed_
a
llowed: do no
t
a
ll
o
w nesting
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-05-26
Sven Verdoolaege
PetScan::se
t
_upper_b
o
u
nds: use dec
l
ared
s
ize of sta
t
i
c
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven
V
erdoolaege
sc
o
p
.
c
:
restri
c
t_skip: upda
t
e
docum
e
nta
t
ion to change
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven Ve
r
do
o
laege
tree2
s
c
o
p
.
c: scop_add_i
n
c: take into accoun
t
affine
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdoolaege
tree2scop
.
c:
m
ove u
p
apply_affine_continu
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven V
e
rdoolaege
tree2sc
o
p
.
c:
s
cop_from_non_aff
i
n
e
_while: extr
a
ct out
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
S
ven V
e
rdoolaege
pet 0
.
05
commit
|
commitdiff
|
tree
2014-04-14
S
v
e
n
V
erdoolaege
update
i
sl
to version 0
.
13
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-13
Sven
Verdoolaeg
e
README: update LLVM/cl
a
ng installation instructions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven
Verdoo
l
ae
g
e
inte
r
face/extract_inte
r
face
.
c
c:
ex
p
licitly
includ
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
S
ven Verdoolaege
u
p
date for chang
e
in
a
rgum
e
nts of
CompilerInstance
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
S
v
en
V
erdoo
l
aege
pet
.
cc:
a
dd space bet
w
e
en literal
a
nd identifier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven V
e
r
d
oolaege
upda
t
e isl for suppor
t
f
o
r
recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoolaege
pet_stmt_f
r
om_
p
et_tree: av
o
id free
of
u
ninitialized
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-06
Sven Verd
o
o
l
a
ege
scan
.
cc
:
fix ty
p
o in com
m
ent
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sve
n
Ve
r
doolaege
p
et_scop_from_p
e
t_stmt: do not ext
r
a
ct con
t
ext from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verd
o
olaege
PetScan::extract_
a
rgument: handle
p
assing of entire
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sven
Verdoola
e
ge
Ma
k
efile
.
am: a
d
d dummy C++ sour
c
e file t
o
pet_scop_
c
m
p
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sve
n
Ve
r
doolaeg
e
handle p
e
n
cil i
n
dependent pragmas
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
ven Verdoo
l
aege
P
e
tScan: keep trac
k
of l
i
n
e
number of c
u
rrent Stmt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
ven Verdoolaeg
e
pet
.
cc:
extract ou
t
PetA
S
T
C
onsu
m
er:
:
add
_
pragma_h
a
ndlers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sv
e
n Ver
d
oola
e
ge
add encapsulate_dynamic_control
opt
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
ve
n
Verdoolaeg
e
pet_scop_from_pe
t
_
t
ree: cr
e
ate
s
tatements dir
e
ctly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sv
e
n Verdo
o
laege
replace pet_
s
tmt_from_pet_expr by
pet_stmt_
f
rom_pe
t
_t
r
ee
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdool
a
ege
pet_s
t
mt: use pe
t
_tree to
r
epr
e
sent s
t
atem
e
nt body
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven
V
erdoolaege
scop
.
c: extr
a
ct out pet_stmt_is_affine_assu
m
e and pet_stm
t
_a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sve
n
Verdo
o
laege
scop
.
c: stmt_collect_ac
c
esses
:
use
p
et_e
x
pr
_
foreach_acc
e
ss_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sv
e
n Verdoolaege
scop
.
c: s
t
mt_collect_param
s
: use pet_
e
x
p
r_
f
oreach
_
access
_
expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
v
e
n
Verdoolaege
ke
e
p track
o
f indentation
of
extracted code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
update te
s
t cas
e
o
utp
u
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
extr
a
ct en
u
m constan
t
s as th
e
ir integ
e
r values
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
PetScan::extra
c
t_int: separate out extractio
n
from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
ola
e
ge
PetScan::extract_unsigne
d
: turn int
o
a static function
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdo
o
laeg
e
scan
.
cc: c
h
ange textual order
o
f
ex
t
ract_unsigned
and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_check_co
d
e
.
c: use pet_expr_ex
t
rac
t
_affine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
export
p
et_expr_extr
a
ct_affine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
p
e
t_
c
ontext: no long
e
r keep tr
a
ck of "unknow
n
"
valu
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
p
et_e
x
pr_ex
t
ract_aff
i
ne: no lo
n
ger create new p
a
rameter
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
PetScan::extract_scop: popul
a
t
e pet_context with parameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoola
e
ge
s
can
.
cc: move up static g
e
t_a
r
ray_type functi
o
n in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
Pet
S
can::get_ar
r
ay_size:
c
ache resul
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
PetScan:
:
s
e
t_upper_bounds: extract out P
e
tScan::get_array_size
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaeg
e
pet_expr_is_
e
qu
a
l: compare index e
x
pre
s
s
ions
u
p
t
o
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
ge
p
e
t_expr
_
extract_affin
e
: exploit domain
i
nformation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
add pet
_
context_get_gist_domai
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tre
e
2sc
o
p
.
c: sco
p
_from_b
l
ock: collect affine continue
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaeg
e
pet_
s
cop_from_pet_tree:
e
x
tract pe
t
_scop from the ro
o
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
add func
t
io
n
s for
manipulating the domain of a pet
_
context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
p
et_
s
cop
_
restrict: also res
t
rict virtu
a
l ar
r
ay extents
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
er
d
oolae
g
e
pet_cont
e
xt_ev
a
lu
a
t
e
_
expr: first insert domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
o
o
la
e
ge
pet_check_cod
e
: remove tracking
o
f
assig
n
ments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoola
e
ge
drop
pet_s
c
op_
d
etect_parameter_ac
c
e
s
ses
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdo
o
laege
p
e
t_
c
onte
x
t_
e
v
aluate_
e
xpr: also plug
in
a
f
fine expressions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
Verdoolaeg
e
separate
o
u
t
pe
t
_co
n
text_evalua
t
e_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
drop
pet
_
c
on
t
ext_mark_assigned
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
PetScan::extract_scop: clear
w
rites at ou
t
er
leve
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
PetSc
a
n::extr
a
c
t
_scop
:
locally constr
u
ct pet_context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
PetSc
a
n
:
:
e
x
t
ract_
s
cop: also ad
d
all
p
e
t_arra
y
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven
Ve
r
doolae
g
e
pet_expr_filter: avoid intro
d
uction
o
f constraint
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdo
o
lae
g
e
t
ree2sco
p
.
c: is_simple_
b
ound: handl
e
h
igher dimensional
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
tree2scop
.
c: valid_for
_
each_iter
a
tion: handle hi
g
her
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
tree2scop
.
c: add_implica
t
i
on:
h
an
d
le high
e
r
di
m
ensional
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Ver
d
oola
e
ge
tree2s
c
op
.
c: map_to_previous: h
a
ndle higher
d
imensional
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
tree2scop
.
c
:
aft
e
r
:
handle
h
igher dimensional domains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_extract_nested_f
r
o
m
_space: ad
d
extra dimensions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
pet_extract_
n
e
s
ted_
f
rom_s
p
ace: embe
d
arguments in given
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
add pet_expr_access_get_d
o
main_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
lae
g
e
pet_exp
r
_reso
l
ve_nested
:
allow spe
c
ification
of dom
a
in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n Verdoolaege
t
r
ee2sc
o
p
.
c
:
ha
n
dle_
w
rites: se
p
a
ra
t
e out
handling of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aege
t
ree2scop
.
c
:
handl
e
_w
r
ites: remo
v
e redundant
p
et_c
o
ntext_mar
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree
2
sco
p
.
c
:
extr
a
c
t
_
kill: allo
w
s
pecif
i
cation of stateme
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
V
erdoolae
g
e
pet_scop_add_boo
l
ean_array: allow
s
pe
c
ification
of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Ver
d
oolaege
pet_s
k
ip_inf
o
_
*
_extract*:
pass al
o
ng pet_
c
o
n
t
ex
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
pet_sco
p
constructors: a
l
l
o
w specification of domain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n Verdoola
e
ge
t
r
e
e
2scop
.
c: scop_from_{break,continue}: minor clean-
u
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2scop
.
c: scop_
f
rom_{br
e
a
k
,
c
ontinue
}
:
a
l
l
o
w specificati
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next