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
update isl for support for recent clangs
2014-08-31
Sv
e
n Verdoolaege
update isl for su
p
p
o
rt for rece
n
t clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-11
Sven Verdoolaege
pet_exp
r
_new
_
u
n
ary: take type size
ar
g
ument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-06
S
ven Ve
r
doolaege
pet_scop_col
l
ect
_
do
m
ains:
p
r
o
perly
h
andle statement
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoolaege
p
et_stmt_print_body: do n
o
t print anything for kill
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
S
v
en V
e
r
d
oolaege
f
ix quasi_affi
n
e test c
a
s
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven Ve
r
doo
l
a
e
g
e
pet_tree_dump: fix
t
y
po
i
n
o
utput
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven V
e
rdoolaege
sc
o
p
.
c: fix
t
yp
o
in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoolaege
scop
.
c: sco
p
_alloc:
plug me
m
ory le
a
k o
n
error path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
S
ven V
e
rdoolaege
expr
.
c: extract_affine_mul: abort on error rathe
r
than
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven
Verdoolaege
P
e
tScan::set_uppe
r
_bounds: han
d
le a
r
r
ays decla
r
e
d
inside
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-09
Sven
v
an Haast
r
e
g
t
allow spec
i
fi
c
ation of summary fu
n
c
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-09
S
ven
V
erd
o
olaege
derive a
c
c
e
s
s
relatio
n
s of
call
e
x
p
res
s
ions
f
r
o
m function
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
add pet_expr_
m
a
p_cal
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdool
a
ege
add pet_expr_ac
c
ess_get
_
a
ugme
n
ted_domain_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rdoolaege
P
e
tScan::extract_exp
r
(CallExp
r
*
)
:
extr
a
ct function
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoo
l
a
e
ge
pet
_
expr: k
e
ep trac
k
of f
u
nction summaries
i
n call
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erdoola
e
ge
pet
_
expr:
p
ut pet_
e
xpr_ca
l
l
f
ield in substructure
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdoolaege
introduce pet
_
fun
c
tion_summar
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet_expr_a
c
cess_set_
a
ccess: set r
e
ad/wri
t
e on non-empty
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
break up acce
s
s
relati
o
ns into may_read/may_w
r
ite/must_w
r
ite
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
oola
e
g
e
add
pet_union_
m
ap_move_
d
ims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rdo
o
laege
i
n
troduce pet_expr_access_t
y
pe
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
oolaege
drop pet_expr_fr
o
m_acces
s
_a
n
d_inde
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven V
e
r
doolaege
expl
i
citly m
a
rk kill a
c
c
e
sses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoo
l
aege
p
e
t_expr
:
repr
e
se
n
t re
a
d
/
write flags
a
s bits
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet_expr: docume
n
t th
e
read and write fi
e
lds
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdoola
e
ge
bre
a
k up access relations into may_read
/
may_write/
m
ust_writ
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Ve
r
doolaege
pet_expr_tag_acce
s
s: avoid use of target space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolae
g
e
postpone introduction of acces
s
r
elations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoo
l
aege
emit
.
c: em
i
t_expr:
e
x
tract out emit_
a
ccess_
e
xpr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
doola
e
ge
dr
o
p pe
t
_ex
p
r_
a
ccess_get_access
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
e
n
V
erdoolaege
nest
.
c: move is_sub
_
access to expr
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
d
ool
a
e
ge
tree2scop
.
c: extract_k
i
ll: upd
a
te kill expressi
o
n
r
a
t
her
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
e
n Ve
r
doolaege
pet_expr
_
is
_
affine: avoid usin
g
ac
c
e
s
s r
e
lat
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
e
n Verdoolaege
pe
t
_expr_filter:
avoid us
i
ng access relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
p
e
t_
e
xpr_access_
u
pda
t
e
_domain:
a
void using
a
c
c
e
ss relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdoolae
g
e
pet_expr_access
_
get_must_acces
s
: avoid usi
n
g a
c
ce
s
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaeg
e
p
e
t_expr
_
a
ccess_
g
et_id:
a
void using access
relati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ve
n
Verdoolaege
expr
.
c
:
access_add_ref_id:
avoid us
i
n
g access rela
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en
V
e
rd
o
olaege
scop
.
c: access_colle
c
t_params: av
o
id using access
r
elation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Ve
r
doola
e
ge
scop
.
c:
implies_filter: avoi
d
using
a
ccess relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoola
e
ge
scop
.
c:
a
cc
e
s
s
_extract_con
t
ext:
avoid usi
n
g access
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdo
o
la
e
ge
scop
.
c: expr_
e
xtra
c
t_context
:
avoi
d
usin
g
a
ccess relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
sc
o
p
.
c:
e
xtr
a
ct out sh
a
r
ed drop_
a
r
gum
e
nts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
p
e
t_expr
_
access_update_domai
n
: mino
r
clean
-
up of
expressi
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
e
rdoolaege
further gen
e
ra
l
ize co
m
pute
_
to_inner to support
p
et_scop_co
m
p
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdool
a
ege
genera
l
iz
e
c
ompute_to_inner
to su
p
port pet_scop_compute
_
oute
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Ver
d
oolaege
sc
o
p
.
c:
c
o
mpute_to_inn
e
r:
micro-optimization
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-19
S
ven Verdo
o
laege
t
r
ee2
s
cop
.
c: is
_
nested_allowed: do not al
l
ow nesting
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-05-26
Sven V
e
rdoolaege
Pet
S
can::set_upper_bounds: use declared size of sta
t
i
c
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verd
o
ola
e
ge
scop
.
c: restrict_skip
:
update documentation to change
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven V
e
rdoolaege
tree
2
scop
.
c: scop_add
_
inc: t
a
k
e
into ac
c
o
u
nt affi
n
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven
V
erd
o
ola
e
ge
t
r
ee2scop
.
c: move up apply_affin
e
_continue
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
S
v
en Verdo
o
laeg
e
tree2scop
.
c: s
c
op_from_non
_
affine_while:
extr
a
ct out
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
Sven Ver
d
oo
l
a
e
ge
pet 0
.
0
5
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdoo
l
aege
up
d
ate isl to ver
s
ion 0
.
13
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-13
Sven Verdoolaege
REA
D
ME: up
d
a
t
e
LLVM/clang i
n
stal
l
ation instru
c
t
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verd
o
olaege
i
nterface/extract_int
e
rface
.
cc:
ex
p
licitly includ
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven
V
e
r
doola
e
ge
update for
change in
arg
u
m
ents of C
o
mpilerI
n
st
a
nce
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sve
n
Verdoolaege
pet
.
c
c
:
a
d
d
space b
e
tween liter
a
l and identifier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoolaege
update
i
sl for su
p
por
t
f
or recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
S
v
en Verdoolaege
pet_st
m
t_from_pet_tree:
a
void f
r
ee
of u
n
i
n
itializ
e
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-06
Sven Verd
o
o
l
a
ege
scan
.
cc: fix typo in
c
omment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verdool
a
ege
p
et_scop
_
from_pet_stmt
:
do not
e
xtract co
n
text
f
ro
m
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sve
n
Verdoolaeg
e
P
e
tSca
n
::
e
xtract_argument: handle passing
of entire
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verdo
o
laege
Makefile
.
am: add dummy C
+
+ so
u
rce file to pet_scop
_
cmp
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verdoolaege
hand
l
e p
e
n
cil indep
e
n
dent pragmas
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
PetScan: keep track of
lin
e
number
of curren
t
Stmt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoo
l
aege
pet
.
cc: extract out
PetAS
T
C
on
s
um
e
r::add_pragma_h
a
nd
l
ers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven
Verdo
o
l
a
ege
ad
d
encapsu
l
ate_dynamic_control optio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven
Verdoolaeg
e
pe
t
_scop_from_pet_tre
e
: create state
m
ents directly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
ven Verdoolaege
replace pet_stmt_fro
m
_
p
et_expr by pet_stmt_from
_
p
et_
t
ree
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven
V
er
d
oolaege
p
et_
s
tmt:
use pet_tree to repr
e
s
e
n
t s
t
atemen
t
body
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
scop
.
c
:
extract o
u
t p
e
t_stmt_is_affine_assum
e
and pet_stmt_a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
scop
.
c: st
m
t_collect_acces
s
es: use p
e
t
_
ex
p
r_foreach_acce
s
s
_
e
x
pr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
v
e
n Verdoolaege
scop
.
c:
s
t
mt_collect_p
a
ra
m
s:
u
se pet
_
expr_foreach_acc
e
ss_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven V
e
rdoolaege
keep tr
a
ck o
f
indentation of
e
xtracted code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven
Verdoo
l
a
eg
e
update te
s
t case outpu
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
rdoolaege
extr
a
ct
e
num
constants as their i
n
teger value
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
PetS
c
a
n::extract_int: separa
t
e
out extract
i
on fro
m
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdool
a
ege
P
e
tScan::extract
_
u
n
signed: tur
n
into a st
a
tic fun
c
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
scan
.
cc: change tex
t
ua
l
order of extract_unsigned and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
pet_check_code
.
c:
u
se pet_
e
xpr_extr
a
ct_affine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaeg
e
export
p
et_exp
r
_ex
t
ract_affine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
pet_context:
no longer keep track o
f
"unknown" v
a
lues
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaeg
e
pet_expr
_
extract_affin
e
: no
l
on
g
e
r
creat
e
new
paramet
e
r
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Ve
r
doolaege
PetScan::extr
a
ct_s
c
op:
p
o
pula
t
e pet_conte
x
t with pa
r
ameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
s
c
an
.
c
c
: move up st
a
tic get_array_typ
e
function in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
Verdoolaege
PetScan::
g
et_array_size: c
a
che results
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
P
e
tScan
:
:set
_
upper_bound
s
: extract
out PetScan::get_ar
r
ay_size
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaeg
e
p
e
t_expr_is_equal: compare i
n
dex expressions up to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n V
e
r
d
oolaege
pet_expr_ext
r
act_
a
ffine: ex
p
loit
domain info
r
mation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
add p
e
t_context_
g
et_gis
t
_
domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2
s
c
op
.
c: scop_from_block: coll
e
ct affine continue
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
p
e
t_scop_
f
rom_pet_tr
e
e: extract p
e
t_
s
cop from the root
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n V
e
rdoolaege
add fu
n
ctions for manipu
l
a
t
ing the d
o
m
ain o
f
a
pet_context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_scop_
r
estrict: also rest
r
ict virtual
arra
y
ext
e
nts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_context_eva
l
uate_expr
:
first inse
r
t domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
r
do
o
laege
pet_
c
heck_code: re
m
o
ve
t
racking
of
a
s
signments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
d
rop pet_scop_detect_para
m
eter
_
accesses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next