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_scop_collect_domains: properly handle statements with arguments
2014-08-06
Sven Ver
d
o
olaege
p
e
t_scop_collect_domains: p
r
operly handle
sta
t
ements
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoolaege
pet_stmt_print_body
:
do not print anything for kill
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoola
e
ge
fi
x
quasi_affine tes
t
case
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven
Ve
r
doolae
g
e
p
e
t_tree_dum
p
: fix typo in output
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdo
o
laege
scop
.
c: fix
t
ypo in co
m
ment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
S
v
en
Ve
r
doolaege
scop
.
c: scop_a
l
loc:
p
l
u
g memory leak on error p
a
th
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
S
v
en Verdoolaege
e
x
p
r
.
c
: ext
r
act
_
affine_mu
l
: abort on error rather th
a
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoola
e
ge
PetSc
a
n::set_upper_bound
s
:
han
d
l
e
arrays de
c
lare
d
inside
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-09
Sven van Haastr
e
gt
allow sp
e
cif
i
cation
of summary functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-09
Sven
V
erdo
o
laege
derive access relat
i
ons of call expre
s
si
o
ns f
r
om function
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Ve
r
d
oolaege
add
p
e
t_expr_m
a
p_call
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdo
o
lae
g
e
add pe
t
_expr_
a
ccess_get_au
g
mented_doma
i
n_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdool
a
ege
PetScan:
:
extra
c
t
_
e
xpr(Cal
l
E
xpr *
)
: extract fu
n
c
ti
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n
V
e
r
doolaege
pet_ex
p
r: keep
track of funct
i
on sum
m
aries in c
a
ll
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rd
o
olaege
pet_expr: put pet_expr_call
field in substructure
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
in
t
rodu
c
e pet_function_summary
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
doo
l
a
e
ge
pet
_
expr_access_set_access: set read/wr
i
te on non-emp
t
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdoo
l
aeg
e
break up acc
e
ss
r
elations i
n
to may_read/may_wr
i
te/must_
w
rit
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
e
rdoolaege
add pet_union
_
m
ap_move_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdoolaege
in
t
r
o
duce pet_expr
_
acces
s
_
t
ype
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdool
a
e
g
e
dr
o
p pet_ex
p
r_f
r
om_access_a
n
d_i
n
dex
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoolaege
expl
i
citly mark k
i
ll accesses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdoolaege
pet_expr: repr
e
sent read/write flags as bits
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven V
e
rdoola
e
g
e
p
e
t_expr: document the read
a
nd
w
rite
fields
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
r
d
oolaege
break up access
r
e
l
a
t
i
on
s
i
n
to may_read/ma
y
_write/must_w
r
ite
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdoolaege
pet_
e
xpr_tag_
a
ccess: avoi
d
us
e
of
target spac
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdoolae
g
e
postp
o
ne introduction of acce
s
s
relations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
e
mit
.
c
:
emit_expr: ex
t
r
ac
t
out
emit_acce
s
s_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdool
a
ege
d
ro
p
pet_
e
xpr_access_get_access
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdoolaege
nest
.
c
:
move is_
s
u
b
_
a
c
ce
s
s
to expr
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
tree2sc
o
p
.
c: extract_kill:
u
p
d
ate ki
l
l ex
p
ress
i
on
r
ather
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erdoolaege
pet_expr_is_affine: avoid
u
sing access
relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ve
n
Verdoolaege
pet_expr_filter
:
avoid
u
sing acce
s
s relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
oolaege
pet_expr_ac
c
ess
_
update_domain: avoid using
access relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
e
r
dool
a
e
ge
p
e
t_
e
xpr
_
acces
s
_get_mus
t
_acces
s
: avoid usin
g
acces
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verd
o
olaege
pe
t
_e
x
p
r_a
c
cess_g
e
t_id: avoid using ac
c
ess re
l
ation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ve
n
Verdoolaege
expr
.
c
:
a
ccess_add
_
ref_id: avoid using access relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
sc
o
p
.
c: a
c
ces
s
_collec
t
_params: avoid using ac
c
es
s
relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
e
n
Ver
d
oolaege
sc
o
p
.
c: i
m
p
l
ie
s
_
filter: avoid using a
c
c
e
ss relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n
Verd
o
olaeg
e
scop
.
c:
a
ccess_extract_
c
ont
e
xt: avo
i
d using
access
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdoolaege
s
c
op
.
c: expr_ext
r
act_con
t
ext: avoid using acces
s
relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verd
o
olaege
scop
.
c:
extract ou
t
shared drop_arg
u
me
n
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Ve
r
dool
a
eg
e
pet_ex
p
r_access_update_do
m
ain: mi
n
or clean-up of ex
p
ression
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoola
e
ge
further ge
n
eralize comput
e
_to_inner to support
pet_
s
co
p
_comp
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verd
o
olaege
generaliz
e
compute_to_inner
to support pet_scop_compute_o
u
te
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdo
o
laege
sco
p
.
c: compu
t
e_
t
o_i
n
ner: micro-optimiza
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-19
S
v
en Verd
o
o
laege
tree2scop
.
c:
i
s_ne
s
t
e
d
_allowed
:
do not allow nest
i
ng
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-05-26
Sv
e
n Verdo
o
laege
PetScan:
:
set_u
p
per_bou
n
ds: u
s
e declared
s
ize
o
f
s
tatic
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven
Verd
o
olaege
scop
.
c: restrict_
s
kip: updat
e
d
o
c
u
me
n
tation to
c
h
a
nge
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdoolaege
tr
e
e2scop
.
c: scop
_
add_i
n
c: tak
e
into ac
c
ount aff
i
ne
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sve
n
Verdoolaege
tree2s
c
op
.
c
:
move up apply_affi
n
e_continue
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdoolaege
tree2s
c
o
p
.
c
: scop_from
_
no
n
_affine_
w
hile: extract out
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdoolaege
p
et 0
.
05
commit
|
commitdiff
|
tree
2014-04-14
Sv
e
n Verdoola
e
ge
u
p
d
a
t
e isl to ver
s
ion 0
.
13
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-13
Sven Verdoolaege
READ
M
E
: update LLVM/c
l
ang
installation instructi
o
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdo
o
laege
i
n
terface/extract_i
n
t
e
rface
.
cc
:
e
x
plicit
l
y include
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sv
e
n Ve
r
d
o
o
lae
g
e
updat
e
fo
r
change in arguments
o
f
CompilerInstance
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
S
ven
Verdoolaege
pet
.
cc: add space between literal and
identifier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoo
l
aege
update isl for supp
o
rt for r
e
cen
t
cl
a
ngs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
S
ven V
e
rdoola
e
ge
pet_stmt_fr
o
m
_pet_tree: avoid free of u
n
in
i
t
i
a
l
ized
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-06
Sven Verdoolaeg
e
sca
n
.
cc: fix typo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
S
ven
V
erdo
o
laege
pet_scop_from
_
p
et_
s
t
m
t: do not e
x
tract c
o
ntext from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
S
v
en Verdo
o
laege
Pe
t
Scan::e
x
tract_argument: handle pa
s
s
i
ng of entir
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verdoolaege
Makefil
e
.
am:
a
d
d dummy C++ source file to pet_scop_cmp
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
Sven Ve
r
doo
l
a
ege
handle p
e
nci
l
i
ndepen
d
ent pra
g
mas
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verd
o
olaege
P
e
tSca
n
: keep track of line
n
umber of
current Stmt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven
Verd
o
olaege
pet
.
cc: extract o
u
t PetASTConsumer
:
:add_
p
ragma_handlers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
add encapsu
l
ate_d
y
namic_con
t
rol option
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
pet_scop_fr
o
m_pet_tree: c
r
eate state
m
ents directly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
ven Verdoola
e
ge
replace
pet_
s
tmt_from_pet_expr by pet_stmt_from_
p
e
t_tr
e
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sv
e
n V
e
rdoolaege
pet_stm
t
: us
e
pet_tree to
r
e
p
r
esent statement body
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ve
r
doolae
g
e
scop
.
c: extract ou
t
pet_stmt_is_a
f
fine_assume
an
d
pet_
s
tmt_
a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven
V
erdoo
l
aege
scop
.
c:
stmt_collec
t
_acces
s
es: use
pet_e
x
pr_forea
c
h_access_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ver
d
o
olaege
sc
o
p
.
c:
s
tmt_coll
e
ct
_
para
m
s: u
s
e pet
_
e
x
pr_f
o
reach
_
access_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sve
n
Verd
o
olaege
keep track of
i
ndentat
i
on
o
f extract
e
d code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
ve
n
Verdoolaege
update
test case o
u
tputs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
g
e
extract enum constants as
t
heir integer va
l
ues
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
Verdoo
l
aege
PetSc
a
n
::extract_int: separate out e
x
traction
from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
PetScan
:
:extract_u
n
signed: tur
n
into a stat
i
c
function
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolae
g
e
scan
.
cc: ch
a
nge tex
t
ual order of extract_un
s
ign
e
d and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
pet_check_code
.
c
:
use pe
t
_e
x
pr_ex
t
ract_a
f
fine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
expo
r
t
p
et_expr
_
extra
c
t_affine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_c
o
ntext: no longer ke
e
p trac
k
o
f
"unkno
w
n" val
u
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolae
g
e
pet_expr_extract_affine: no longer create n
e
w parame
t
ers
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n V
e
r
d
oolaege
P
etS
c
an::
e
xtract_scop: populate pet_
c
ontext with pa
r
ameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Ve
r
doolaege
scan
.
cc:
m
ove up static get_array_type function in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
PetScan::get_array_size: cac
h
e results
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Ver
d
oolaege
PetS
c
an
:
:set
_
u
pper_bounds: ex
t
ract out
P
e
tScan::get_arr
a
y_size
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pe
t
_
exp
r
_i
s
_equal:
compar
e
ind
e
x e
x
pressions
u
p to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_ex
p
r_extract
_
affin
e
: exploit
dom
a
in infor
m
ation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
add
p
e
t_context_get_
g
ist_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
rd
o
olaege
tree
2
scop
.
c: sco
p
_fr
o
m_
b
lock:
c
ollect
a
ffine continue
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verd
o
o
laege
pet_scop_fr
o
m_pet_tree: extract pet_
s
co
p
f
rom the ro
o
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Ver
d
oolaege
add fu
n
ction
s
for
m
anip
u
latin
g
the domain of a pet_
c
ontext
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
pe
t
_scop_
r
estrict: also
r
estrict virtual
arr
a
y exten
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
p
e
t
_
conte
x
t_evaluate_expr: first insert domai
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
V
e
rdoolaege
pet_check_code: remove t
r
ack
i
ng of
assig
n
ments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
d
r
op pet_scop_de
t
ect_paramete
r
_accesses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_contex
t
_
evaluate_expr: also plu
g
in af
f
ine expressions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erd
o
o
l
a
ege
separa
t
e out pet
_
context_eval
u
ate_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next