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_new_unary: take type size argument
2014-08-11
Sv
e
n
V
er
d
oolaege
pe
t
_ex
p
r_
n
ew_unary: take type size ar
g
ument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-06
Sven Verdoolaege
p
e
t
_
scop_
c
ollect_domain
s
:
properly handl
e
s
t
atemen
t
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoolaege
p
et_stmt_print_bo
d
y
: do not print
a
nyt
h
ing for kill
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
S
v
en
V
erdoolaeg
e
f
ix
quasi_affine test case
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
S
v
e
n Verdoolaege
pet_
t
ree_dum
p
: fix typo in outpu
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoolaege
scop
.
c:
fix ty
p
o
i
n
comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoolaege
scop
.
c: scop_alloc
:
plug memory leak on
e
rror path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven
V
erdoolaege
expr
.
c
:
extract_affin
e
_mul: abort on e
r
ror r
a
ther
tha
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoolaege
PetS
c
an::set_up
p
er_bou
n
ds:
handle ar
r
a
y
s declar
e
d inside
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-09
Sven
van
H
a
astregt
allow specific
a
tion
of summary functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-09
Sve
n
Verdoolaege
d
e
rive
access rela
t
ions
of call expressions from functi
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Ve
r
d
oolaeg
e
add
p
et_expr_map_c
a
ll
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erdoolaege
add pet_e
x
pr_acces
s
_get_augmented_doma
i
n_spac
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoolaege
PetScan::extr
a
c
t
_expr(Ca
l
lExpr *
)
: extract function
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolae
g
e
pet_expr:
k
eep track of f
u
nction s
u
m
m
arie
s
i
n
cal
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
doolaege
pet_
e
xpr: put
pet_expr_call field
in subs
t
ru
c
tur
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
e
n
Verdoolaege
introdu
c
e
pet_function
_
summary
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaeg
e
pet_exp
r
_a
c
c
ess
_
s
e
t_ac
c
ess: set
r
ead/write
on non-empty
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
r
do
o
l
aege
b
r
eak up
a
cces
s
relations into
m
a
y_r
e
ad/may_write/must
_
write
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoola
e
ge
add pe
t
_
union_map
_
move_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
introduce pet_expr_ac
c
ess_
t
ype
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rdoolaege
d
r
op pet_expr_fro
m
_acce
s
s_a
n
d_index
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verd
o
olaege
expli
c
itl
y
mark kill
accesses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdoolaege
pet_expr: represent r
e
ad/write fla
g
s as bits
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pe
t
_
ex
p
r
:
document the read and write fi
e
ld
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdool
a
ege
b
reak up ac
c
ess
r
elations into may_read/may_wri
t
e/mu
s
t_write
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
doolaege
p
et_expr_tag_access: avoid use
o
f targ
e
t spac
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoo
l
aege
p
o
s
tpo
n
e introducti
o
n of
acc
e
ss relati
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdoola
e
ge
e
m
it
.
c:
emi
t
_expr: extract out emit_access_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdoolaeg
e
d
rop p
e
t_expr_acce
s
s_g
e
t_access
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdool
a
e
g
e
nest
.
c: move
i
s
_
s
ub_access to expr
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
tree2scop
.
c
:
ex
t
rac
t
_kill: update
k
ill expre
s
sion rat
h
er
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verd
o
o
l
a
e
g
e
pe
t
_ex
p
r_is_affine: a
v
oid using acc
e
ss relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
V
e
rdoo
l
aege
pet
_
expr_filter: avoid using acc
e
ss
relati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erdoolaege
p
e
t_
e
xpr_access_
u
p
d
ate_domain: avoid using access
r
el
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
e
n
Verd
o
olaege
p
e
t
_ex
p
r_a
c
cess_get_must_acce
s
s
:
a
v
o
id using access
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
ool
a
ege
p
e
t_ex
p
r_
a
ccess_get_id:
avoid
using access rel
a
t
i
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en
V
erdoola
e
g
e
expr
.
c: access_
a
dd_ref_id:
a
void u
s
ing
a
c
c
ess relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoola
e
ge
scop
.
c: access_collect_
p
arams: avoid usi
n
g access relat
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdool
a
ege
s
cop
.
c:
i
mp
l
ie
s
_
filter: avoid using access relati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdoo
l
aege
scop
.
c: access_extract_conte
x
t: avoid using
a
ccess
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdoolaege
sc
o
p
.
c: expr_extra
c
t
_
conte
x
t
: avoid using a
c
cess relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolae
g
e
sc
o
p
.
c: extract out shared drop_ar
g
uments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rdoola
e
ge
pet_expr_access_update_d
o
main
:
mi
n
or clean-up of
e
x
pression
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rdoolaege
f
urther gen
e
ralize
compute_to_inner to
s
upport pet_sc
o
p_comp
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoolaege
g
e
neralize compute_to_inner to
s
u
p
po
r
t pe
t
_sco
p
_com
p
ute_oute
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdo
o
lae
g
e
scop
.
c: compute_to_inner: micro
-
optim
i
zati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-19
Sven V
e
rdoolae
g
e
tree2sc
o
p
.
c: is_nest
e
d_allowed: do not allo
w
nesting
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-05-26
S
ven V
e
r
do
o
laege
PetScan:
:
s
e
t_upper_bounds: use declared
size of stati
c
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven V
e
rdoolaege
sc
o
p
.
c: restrict_s
k
i
p: update documentation to chan
g
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdo
o
laege
tree2sco
p
.
c: sc
o
p_add_in
c
: take
into accoun
t
affine
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
S
v
en Verdoolaege
tree2scop
.
c: move up apply_
a
ffine_
c
ontinue
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verd
o
olaege
t
r
ee2scop
.
c:
s
cop_fro
m
_non_
a
f
f
ine_while:
e
xtract out
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
Sve
n
Ver
d
ool
a
e
g
e
pet 0
.
05
commit
|
commitdiff
|
tree
2014-04-14
Sv
e
n Ver
d
o
o
laege
update isl to version 0
.
13
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-13
Sv
e
n Ve
r
d
oolaege
README:
u
pdate LLVM/clan
g
i
n
stallation
i
ns
t
ructions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdo
o
laege
interface/ext
r
act_interf
a
c
e
.
cc
:
ex
p
l
icitl
y
inc
l
ude
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven
V
erdoo
l
aege
update for change in
argu
m
ents
o
f
CompilerIns
t
ance
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven
V
erdoo
l
a
e
ge
pet
.
cc:
add space betw
e
en literal and identi
f
ier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven
V
erdoolaege
u
p
d
a
te isl fo
r
suppor
t
f
or recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoolaege
p
e
t_
s
tmt
_
from_pe
t
_tree: avo
i
d
free of uni
n
i
t
i
a
l
i
z
e
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-06
Sven Ve
r
doola
e
g
e
scan
.
cc: fix typo in c
o
mment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
S
v
e
n Verdo
o
laeg
e
pe
t
_
s
cop_from_pet
_
stmt: do not extract c
o
ntext fr
o
m
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
S
ven
V
erd
o
o
l
a
ege
P
e
tS
c
an::
e
xtract_argum
e
nt:
handle passing of entire
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sven
V
erdoolaege
Makefile
.
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
Sven Verdool
a
ege
ha
n
dle
pencil independ
e
nt pragmas
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoola
e
ge
PetScan: keep track of l
i
ne numb
e
r
o
f current St
m
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
p
et
.
cc: ext
r
act ou
t
PetASTConsumer::add_pragma_han
d
le
r
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdo
o
l
aege
add en
c
apsul
a
te_dy
n
amic_contr
o
l option
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven V
e
rdoolaege
pet_
s
cop_
f
rom_p
e
t_tree: cr
e
ate statements directly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdo
o
laege
re
p
lace
pet_stmt_from_pet_ex
p
r by pet_stmt_from_pet
_
tree
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoo
l
aege
pet_stmt: use pet_tr
e
e
to repres
e
nt
s
tatement body
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
ven V
e
rdoolaege
sc
o
p
.
c: extract
out pet_stmt_i
s
_affi
n
e_ass
u
me
a
nd pe
t
_
s
tm
t
_a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
sco
p
.
c: stmt_collec
t
_accesses:
u
se pet_expr_fore
a
ch_
a
c
cess_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven
V
erdoolaege
s
c
op
.
c: s
t
mt
_
co
l
lect_
p
aram
s
: use pe
t
_expr_forea
c
h_acc
e
ss_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verd
o
olaege
ke
e
p
track of i
n
dentation of
ext
r
acte
d
co
d
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdo
o
la
e
ge
update test case outp
u
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
g
e
extract e
n
um
c
onsta
n
ts as their integer valu
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n V
e
rdoo
l
aeg
e
PetScan::extract_int: separate
out ex
t
raction from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
Pe
t
Scan::
e
xtract_unsign
e
d: turn into
a st
a
tic function
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
ola
e
ge
scan
.
cc:
change textua
l
order of extr
a
ct
_
unsigne
d
a
n
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Ver
d
o
ola
e
ge
p
et_check_c
o
de
.
c: use
pet_exp
r
_extract_affine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
export pet_ex
p
r_ext
r
act_affine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
a
e
g
e
pet_context: no l
o
nge
r
keep tra
c
k of "unk
n
own" va
l
ue
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_expr_
e
xtra
c
t_affi
n
e: no longer
c
r
e
ate new para
m
eters
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdo
o
laege
PetSca
n
::extract_scop
:
populate pet_
c
ontex
t
w
i
th
parameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
sca
n
.
cc: move up static get_arr
a
y
_
type funct
i
on in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
l
a
ege
PetSc
a
n::g
e
t_array_size: cache
results
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoo
l
aege
PetSca
n
::set_upper_bounds: extract
o
u
t PetScan
:
:
g
et_array_size
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
p
e
t_expr_is_equal: compare index
expressions u
p
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoola
e
ge
p
e
t_expr
_
extra
c
t_affi
n
e: exploit
domain inf
o
rmation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdool
a
ege
a
d
d pe
t
_context
_
get_gist_do
m
ain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2scop
.
c
: scop_from_block: collect a
f
fine continue
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
p
e
t_s
c
op_from_pet_tr
e
e: ex
t
r
a
c
t
p
et_s
c
op
f
rom the root
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Ver
d
oolaege
add functions for mani
p
ula
t
ing the domain of a pet_context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rd
o
olaege
p
e
t
_
sco
p
_restrict:
also
r
est
r
i
c
t virtual array extents
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
pe
t
_co
n
t
e
xt_evalu
a
te_expr: first insert doma
i
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n Verd
o
o
laege
pet_check_code: remove trac
k
ing
of assignme
n
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Ve
r
do
o
laege
drop pet_
s
cop_
d
etect_pa
r
ameter_acc
e
sses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n V
e
rdoolaege
pet_context_
e
v
aluate_
e
xpr: also plug in affine expr
e
ss
i
ons
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next