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_expr: represent read/write flags as bits
2014-06-20
Sve
n
Ver
d
oola
e
ge
pet_expr
:
r
epresent rea
d
/write flags as bits
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
do
o
l
aeg
e
p
e
t_expr: d
o
cument the
r
ead and write fie
l
ds
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
break up acce
s
s rela
t
ions in
t
o may_rea
d
/may_write/mus
t
_write
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
e
n Verdoolaege
p
e
t
_expr_ta
g
_acces
s
: avoid use of target space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
postpone introduct
i
on of access relatio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdo
o
laege
emit
.
c
:
emit_expr: extract out emit_access_e
x
p
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
d
rop pet_expr_access_
g
et_access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verd
o
olaege
nest
.
c: move is_sub_
a
ccess to exp
r
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
t
r
ee2scop
.
c:
extract_kill: update k
i
ll ex
p
r
es
s
ion
rather
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
e
n
Verd
o
olaege
pet_expr_is_af
f
ine: avoid using ac
c
ess relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en
V
erdoolaeg
e
p
et_exp
r
_filt
e
r: avoid using
a
ccess r
e
lation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
V
erdoo
l
aege
pet
_
expr_a
c
cess_upd
a
te_domain: avoid
u
sing access relatio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet
_
e
x
pr_a
c
cess_get_must_access: avo
i
d usin
g
access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
V
e
rdoolaege
pet_exp
r
_access_g
e
t_id: avoid
us
i
n
g
a
ccess rela
t
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rdoolae
g
e
expr
.
c: ac
c
ess_add_ref_id: avo
i
d u
s
i
ng
a
c
cess relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
scop
.
c: acce
s
s_collect_pa
r
a
ms: avoid using access
relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
sc
o
p
.
c: implie
s
_
f
i
l
ter
:
avoid u
s
ing ac
c
ess relat
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
scop
.
c: a
c
c
e
ss_
e
xtract_conte
x
t: avoi
d
using ac
c
ess
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rdoola
e
ge
sco
p
.
c: expr_extract_c
o
ntext: avoid us
i
n
g
acces
s
r
e
la
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Ver
d
oo
l
a
e
ge
sco
p
.
c: extra
c
t
out
shared drop_
a
rguments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rdo
o
l
a
e
ge
p
et_ex
p
r_acce
s
s_upd
a
te_domain
:
min
o
r clean
-
u
p
of
e
xpression
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erdo
o
laege
f
u
r
ther
g
ene
r
alize comp
u
te_to_inner to
s
u
p
port pet_
s
c
op_comp
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdo
o
l
a
eg
e
g
eneral
i
ze
c
ompute_to_inner
to support pet_scop_co
m
p
ute_oute
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoo
l
aege
s
c
op
.
c: compute_to_inne
r
:
micro-optimization
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-19
Sv
e
n Verdoolaege
tree2scop
.
c: is_nest
e
d_allowed: do not allow nesting
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-05-26
Sven Verdoola
e
ge
P
etSc
a
n::set_upper_bounds: use declared size of stati
c
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
S
v
en Verdoolaege
scop
.
c
:
r
e
strict_ski
p
: update do
c
umen
t
ation t
o
change
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdoolaege
tree2scop
.
c: s
c
op_
a
dd
_
i
nc: take into account affi
n
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven Ver
d
oolaege
tree2scop
.
c: move up a
p
ply_affine_continue
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdoo
l
aege
tree2scop
.
c: sc
o
p_from_non_affine_whi
l
e: extract out
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
Sven V
e
rdool
a
ege
pet 0
.
0
5
commit
|
commitdiff
|
tree
2014-04-14
Sven Ver
d
o
o
laeg
e
upd
a
t
e is
l
to
v
ersion 0
.
13
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-13
Sven Verdoolaege
R
E
ADME: update LLVM/clang
in
s
tal
l
a
tion
i
n
s
tructions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven V
e
rdoolaege
interface/ext
r
act_int
e
rfac
e
.
c
c
: explicitly inclu
d
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven V
e
rdoo
l
ae
g
e
u
pdate for
change in a
r
guments of CompilerInstance
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sv
e
n
Verdool
a
e
ge
p
e
t
.
cc: add space bet
w
een literal an
d
iden
t
ifier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoolaege
u
pdate
i
sl fo
r
support fo
r
recent clan
g
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven
Verdoolaege
pet_s
t
m
t
_from_pet_tree
:
avoid free of unin
i
tialize
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-06
Sv
e
n
V
erdoo
l
aege
sca
n
.
cc:
f
ix typo in
comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verdoolaege
pet_scop_fro
m
_pet_stmt: d
o
not extract context from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verdoola
e
g
e
P
etScan::e
x
t
r
act_
a
rgumen
t
:
h
andl
e
pa
s
s
i
ng
of
en
t
ir
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sv
e
n
Verdoolaeg
e
Makefil
e
.
am: add
d
ummy C++ source
f
ile to pet_
s
cop_cm
p
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sv
e
n Verdo
o
laege
handle p
e
ncil independent pragmas
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ve
r
doolaege
PetScan
:
keep track of line number of current Stm
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sv
e
n Verdoolaege
pet
.
cc: extract
o
ut PetASTConsumer::ad
d
_
p
r
agm
a
_h
a
ndle
r
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sve
n
Verd
o
olaege
add
e
ncaps
u
late
_
dy
n
amic_contro
l
option
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoo
l
aege
pet_
s
c
o
p
_f
r
om_pet_tree:
create statements dire
c
tly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ve
r
doolaege
replace pet_stmt_fro
m
_pet_expr by p
e
t_
s
tmt_fr
o
m
_pet_tree
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven
V
er
d
oolaege
pet_stmt: use pet_tr
e
e to represent statement body
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven
V
e
r
doo
l
aege
scop
.
c: extract ou
t
pet_st
m
t_is_affine_
a
ssume and pet_st
m
t_a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
v
en Verdoo
l
a
ege
s
cop
.
c
:
st
m
t_collect_
a
ccesses: use pet_expr_foreach_a
c
c
ess_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
scop
.
c: st
m
t_coll
e
ct
_
p
a
r
ams: use
p
et_expr
_
foreach_
a
ccess_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven
V
e
r
doolaege
k
e
ep track of
indentation of extra
c
ted c
o
de
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
v
e
n
Verdoolaege
u
pdate
te
s
t case outp
u
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoola
e
g
e
extract e
n
um
constants as
their integer values
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
P
e
tScan::ext
r
ac
t
_i
n
t
:
separ
a
te
out e
x
traction fr
o
m
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
P
e
tScan::extra
c
t_uns
i
gned: turn
i
nto a stat
i
c
f
u
n
ction
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaeg
e
sc
a
n
.
cc: change textu
a
l
o
r
d
er of extract_unsigned and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaeg
e
pet_
c
heck_code
.
c: use pet_expr_e
x
tract_affi
n
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
export pet_expr_extrac
t
_affine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n
Verdoolaege
pet_
c
ontext:
n
o longer k
e
ep
tra
c
k of "unknown
"
valu
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Ver
d
o
o
laege
pet_expr_extract_affine: n
o
lo
n
ger
c
r
eate n
e
w para
m
eters
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n
Verdoolae
g
e
Pe
t
Sca
n
::extract_scop
:
po
p
u
l
ate pe
t
_context with param
e
ter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
s
can
.
cc
:
move
u
p static
g
et_
a
r
ray_typ
e
functio
n
in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
PetScan:
:
get
_
ar
r
ay
_
size:
c
ache results
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
Ver
d
oolaeg
e
P
e
tS
c
an::s
e
t_
u
pper_bounds: extrac
t
o
ut PetScan::get_ar
r
ay_
s
i
z
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
p
e
t_expr_is_eq
u
al:
c
ompare index expression
s
u
p t
o
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
r
dool
a
ege
pet_expr_extract_affine:
e
x
p
l
oit domain inform
a
tion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
a
dd p
e
t_c
o
ntext_get_gist_d
o
mai
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aeg
e
tree2scop
.
c: scop_from_block: coll
e
ct a
f
fine cont
i
nu
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
p
e
t_scop_from_pe
t
_tree: extract pet_scop from the root
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
a
dd fun
c
tions for manipulati
n
g the domain of a pet_context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdool
a
ege
p
et_scop_r
e
strict:
a
lso r
e
strict virtual arr
a
y extents
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
pet_con
t
ext_ev
a
luate_expr: first insert do
m
ain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
pet_check_code: remo
v
e tracking
of
assignments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
dro
p
pet_scop
_
det
e
ct_parame
t
er_accesses
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoola
e
ge
pet_context_evaluate_exp
r
: also plug i
n
affine expressi
o
ns
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
se
p
arate out pet_context
_
evaluate
_
expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
d
rop p
e
t
_co
n
text_mar
k
_as
s
ign
e
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
P
e
tScan::ex
t
r
a
c
t_
s
cop: clear
writes
a
t
outer le
v
el
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
r
d
oolaege
PetScan::
e
xtract_sc
o
p:
lo
c
ally constr
u
ct pet_context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdo
o
laege
P
e
tScan
:
:extract_scop: also add all pet_arrays
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
ge
p
et_ex
p
r_filter: avoi
d
in
t
ro
d
uct
i
on of constraints
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
tree2scop
.
c
:
i
s_simple_bound: h
a
ndle highe
r
dimensional
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verd
o
olaeg
e
t
r
e
e2scop
.
c: valid_for_eac
h
_
iteratio
n
: handl
e
higher
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2s
c
op
.
c: add_
i
m
p
lication: h
a
n
d
le higher di
m
en
s
ional
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Ver
d
o
o
l
aege
tree2s
c
op
.
c: map_to_previous: hand
l
e hi
g
her dimensional
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doo
l
aege
tree2scop
.
c:
a
f
te
r
: han
d
le high
e
r
d
imensional domains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
pet
_
ext
r
a
ct_ne
s
ted_from_space: add extra dimens
i
ons
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n
V
e
r
doo
l
aege
pet_extr
a
ct
_
n
e
s
t
ed_f
r
om_space: embed argum
e
nts in given
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
add p
e
t_expr_access
_
get_doma
i
n_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoo
l
aege
pet_expr_resolve_nested
:
allow specification
o
f do
m
ain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoo
l
a
e
g
e
tree2sc
o
p
.
c: han
d
le_writes: se
p
arate out handling of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdo
o
laege
t
ree2scop
.
c
:
h
andle_
w
r
i
tes: remove
r
e
dun
d
ant pet_
c
ontext
_
mar
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Ve
r
d
oo
l
a
e
ge
tre
e
2scop
.
c: extra
c
t_kill: allow sp
e
cif
i
c
a
tion of statement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdo
o
laege
pet_
s
cop_add_bo
o
lean_
a
rray: allow s
p
ecificati
o
n
o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoola
e
ge
pet_skip
_
info_*_extra
c
t
*: pass
along pet_cont
e
x
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
rdool
a
ege
p
e
t_scop constructors: al
l
ow specification o
f
domain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
o
l
a
ege
t
r
e
e2scop
.
c: scop_f
r
om_{b
r
eak
,
conti
n
ue}: mino
r
c
l
ean-up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoola
e
ge
tree
2
scop
.
c: scop
_
fro
m
_{break
,
c
ontinue}: a
l
low specifi
c
ation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next