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
Sven Ver
d
oolaege
update isl f
o
r support for
r
e
cent cla
n
gs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-11
Sven
Ve
r
dool
a
ege
pet_expr
_
n
ew_
u
n
a
ry
:
ta
k
e typ
e
size
ar
g
u
m
en
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-06
Sven
V
erdoolaege
pet_scop_co
l
lect_domains: proper
l
y
ha
n
d
l
e statements
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven
Verdo
o
laege
pet_s
t
mt_print_body
:
do not p
r
in
t
anyt
h
ing for
k
ill
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sv
e
n Verdoo
l
aege
f
ix q
u
asi_affine test
case
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven
Verdo
o
laege
p
e
t_tree_dump
:
fix typ
o
in output
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoolaege
s
c
o
p
.
c: fix
t
y
po in com
m
ent
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven V
e
rdoolaege
scop
.
c: scop_alloc: plug memory
l
eak
o
n
erro
r
path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
S
v
en Verdoolaege
expr
.
c
:
e
x
tr
a
c
t_affine_mul: abort on er
r
or
r
ather
than
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sv
e
n V
e
rdoola
e
ge
P
etScan::set
_
upper_bound
s
: han
d
l
e arrays decl
a
red inside
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-09
Sve
n
V
e
rdoolaege
der
i
ve
a
ccess
r
elatio
n
s of
c
a
ll expressions from function
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdo
o
l
aege
add
p
et_expr_map_ca
l
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
add pe
t
_expr_acc
e
s
s
_get_augme
n
ted_doma
i
n_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdool
a
ege
Pet
S
c
a
n::extract_expr(CallExp
r
*): extract fun
c
t
ion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet_expr: k
e
e
p
tr
a
ck of
function summa
r
ies i
n
call
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet_expr:
p
ut pet_expr
_
c
a
l
l
field in substructu
r
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Ver
d
ool
a
ege
introduce pet_function_summary
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erdoo
l
aege
pet_expr_ac
c
ess
_
s
e
t_access: set re
a
d/wri
t
e
o
n
non-empty
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verd
o
olaege
break up access rela
t
ions into
may_read/m
a
y_w
r
ite/must_w
r
i
te
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdool
a
ege
add pet_union_map_move_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
in
t
roduce
p
et_e
x
pr_access_type
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n V
e
r
d
ool
a
ege
drop pet_
e
xpr_from_access_and_index
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
e
n Verdoola
e
ge
explici
t
l
y
mark k
i
ll accesses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolae
g
e
pet_
e
xpr
:
represent read/wr
i
te flags a
s
bits
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verd
o
olaege
p
e
t_e
x
p
r
:
do
c
ument the read and wr
i
te fields
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
break up access relations into may_r
e
ad/may_w
r
ite/must_wri
t
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoo
l
aege
pet_expr_tag_access: avoid use of ta
r
g
e
t space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erd
o
olae
g
e
p
ostpone introduction of access rel
a
t
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erd
o
olae
g
e
e
mit
.
c: e
m
it
_
expr:
e
xtr
a
ct out
emit_acces
s
_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rdoolaeg
e
drop pe
t
_e
x
pr_access_get_a
c
cess
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdoolaege
nest
.
c: move is_
s
ub_acc
e
ss to e
x
pr
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoolaeg
e
t
r
ee2sco
p
.
c: e
x
tract_kill: upd
a
te kill expr
e
ssion rather
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Ver
d
o
o
laeg
e
pe
t
_expr_is
_
affine: avoi
d
using acc
e
ss relat
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
e
r
d
o
olaege
pet_expr_
f
ilter: avoid using access rel
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
r
doola
e
g
e
pet_
e
xpr_acce
s
s
_update_domain
:
avoid using access
r
el
a
t
io
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
e
rdoolaege
pet_expr_
a
ccess
_
get_must_access: a
v
oid u
s
ing
a
cces
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdoolaege
pe
t
_expr_
a
c
cess_get_id:
a
void
using access relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
oolaege
e
xpr
.
c:
a
cc
e
ss_add_r
e
f_i
d
: avoid
u
s
ing ac
c
ess
relati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
e
n
Verdoolaege
s
c
o
p
.
c: access_
c
ollect_params:
avoid using access relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdoolaege
scop
.
c: implie
s
_filter: avo
i
d us
i
ng access relat
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoola
e
ge
scop
.
c:
access_extract_context
:
avo
i
d
u
s
i
ng access
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erdoola
e
ge
sco
p
.
c:
e
x
p
r_extract_c
o
ntext: avoid usin
g
access relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven
Ve
r
doolaege
scop
.
c: extra
c
t ou
t
shared drop_
a
r
g
uments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaeg
e
pet_expr_a
c
cess_update_domai
n
:
m
inor cle
a
n-up of expr
e
ssion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
r
doolaege
further generalize
c
ompute_to
_
i
n
ner to supp
o
rt pet_scop_comp
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Ve
r
doo
l
aege
g
e
nera
l
iz
e
compute_to_
i
n
ne
r
to
s
u
ppor
t
pet_sc
o
p_compute_oute
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verd
o
ol
a
ege
s
cop
.
c: comput
e
_
to_inner: micro-
o
ptimization
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-19
Sven Verdoolaege
tr
e
e2s
c
op
.
c: is_nested_allowed: do
not allow nesting
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-05-26
S
v
en Verdoo
l
aege
PetScan::set
_
upper_bounds: use declared si
z
e of static
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sv
e
n Verdo
o
laege
s
c
op
.
c: restrict_
s
k
i
p: update documenta
t
ion to change
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sve
n
V
e
rdoolaege
tree
2
scop
.
c
:
s
c
op_
a
dd_inc: take in
t
o accou
n
t
affine
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdoo
l
a
e
ge
t
ree2
s
cop
.
c
:
mo
v
e up
a
pply_affine_continue
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
S
v
en
Verdoolaege
tree2
s
cop
.
c:
s
cop_from_non_affine_whi
l
e: e
x
tr
a
c
t out
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
Sven Ve
r
d
o
o
laege
p
e
t
0
.
05
commit
|
commitdiff
|
tree
2014-04-14
Sven
Ver
d
o
olaege
update isl t
o
versio
n
0
.
1
3
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-13
Sven
V
erdoolaege
R
EADME:
update LLVM/clang install
a
tion
i
n
structions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verd
o
o
l
aege
in
t
erface/extr
a
ct_interface
.
cc: explicitly inclu
d
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoolaege
u
pdate f
o
r change in arguments of CompilerInstance
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sv
e
n Ver
d
oolae
g
e
pet
.
cc
:
ad
d
s
p
ace betw
e
en
li
t
eral and identifier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sv
e
n
V
erdoolaeg
e
update
isl for
s
u
pport
for recent
clang
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
S
ven Ver
d
oolae
g
e
p
et_stmt_from
_
pet_tree:
av
o
id free of u
n
i
nit
i
alized
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-06
Sven
Verdoolaeg
e
s
can
.
cc: fix
t
ypo in
comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
S
v
en Verdoolaeg
e
pet_scop_from_p
e
t_s
t
mt: do not extr
a
c
t
context
from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
S
v
en
Verdo
o
l
a
eg
e
Pe
t
Scan::extract_argument:
handle passin
g
of
entire
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sven
V
erdoolaege
Mak
e
file
.
a
m
: add dummy C++
s
ource file to pet_scop_cmp
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
Sv
e
n Verdoolaege
hand
l
e pencil inde
p
en
d
ent pragmas
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven V
e
rd
o
olaege
PetScan: keep track
of line number of
c
urre
n
t
Stmt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven V
e
rd
o
olaege
pet
.
cc: ext
r
act o
u
t PetASTConsumer::
a
d
d
_pragma_handle
r
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ver
d
oola
e
ge
add encaps
u
late_dynamic_contro
l
option
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
pet_scop_from_pet_tr
e
e: create st
a
tements di
r
ectly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven
V
erdoolae
g
e
replace pe
t
_
s
t
m
t
_
from_pet_expr by pet_stmt_f
r
o
m
_pet_tree
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven
Ver
d
oolaege
pet
_
stm
t
: use
pet_tree
to
represent statem
e
nt body
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
v
en
V
erdoolaeg
e
scop
.
c: extract out pet_st
m
t_i
s
_affi
n
e_assu
m
e and pet_
s
t
m
t_a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolae
g
e
sco
p
.
c: stmt
_
collect_ac
c
ess
e
s: use pet_ex
p
r
_foreach_
a
ccess_
e
xpr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
ven V
e
r
d
oolaege
scop
.
c: stmt_
c
oll
e
ct_params: use pet_expr_foreach_acc
e
s
s
_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verd
o
olaege
keep track of
i
ndentation
o
f
e
x
tracte
d
code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
v
e
n Verdoolae
g
e
upd
a
te test case outputs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
ex
t
ract enum
cons
t
an
t
s as thei
r
integer values
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Ve
r
doolaege
PetScan::extract_in
t
: sep
a
rate out
e
xtraction from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
PetScan::extr
a
ct_unsign
e
d:
turn in
t
o
a s
t
a
tic
f
unction
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ve
n
V
e
rdoolaege
scan
.
cc: change t
e
xtual order of extrac
t
_u
n
si
g
n
e
d a
n
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oo
l
aege
pet_check_cod
e
.
c: use pe
t
_expr_extract
_
affine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verd
o
olaege
exp
o
rt
pet_e
x
p
r
_e
x
tract
_
affine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_c
o
nt
e
xt: no longer
kee
p
track of
"
un
k
nown" values
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven
Verdoolaege
pe
t
_ex
p
r_extract_affine: no longer
c
r
e
a
te n
e
w
parameters
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoo
l
aege
PetScan::extrac
t
_sco
p
: populate pet_context with par
a
meter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
scan
.
cc: move u
p
stati
c
g
e
t
_arra
y
_type functi
o
n in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
P
etScan:
:
g
e
t_array_size:
c
ache
r
esults
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
PetScan::set_upper
_
bounds: e
x
tract out PetScan::get_ar
r
ay_size
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verd
o
olaege
pet_expr_is_equal
:
compare
index
e
xpressions up to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoo
l
a
e
g
e
pet_expr_extract_affine: exploit dom
a
in infor
m
ation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
e
g
e
ad
d
pet_c
o
n
text_
g
et_gist_domai
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n
V
e
rdoo
l
aege
tree2scop
.
c: scop
_
from
_
block: collect af
f
ine
c
o
ntinue
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
Verdoolae
g
e
pe
t
_scop_from
_
pet_tree: extract
p
et_scop
f
r
o
m the
r
oot
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
a
d
d fun
c
ti
o
n
s for ma
n
i
p
ulating the d
o
main of a pet_context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdo
o
laege
p
e
t
_scop_restrict:
a
lso res
t
r
ict virtual arr
a
y
exten
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aege
pe
t
_context_evaluate_ex
p
r: first insert domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
o
o
l
aege
pet_check_code: remove
trac
k
ing of
a
ss
i
gnm
e
nts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
dro
p
pet_sco
p
_detect
_
parameter_accesses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
er
d
oolaege
pet_c
o
ntext_
e
valuate_expr: also
p
l
u
g
in
aff
i
ne
e
x
p
ressions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next