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
scop.c: scop_alloc: plug memory leak on error path
2014-07-17
Sven Verdo
o
l
aege
scop
.
c: scop
_
alloc:
plug
m
emory leak on er
r
or path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdool
a
ege
expr
.
c
:
extract_affine_mul: abo
r
t on
e
rror rathe
r
t
h
an
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verd
o
olaege
PetSc
a
n:
:
s
e
t_upper_
b
o
unds: h
a
n
d
le ar
r
ays
d
e
clar
e
d
insid
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-09
Sve
n
van Haastregt
allow specification of summary functi
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-09
Sven Ver
d
oolaege
der
i
ve
acc
e
ss relations
of ca
l
l expressions f
r
om
function
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n
Verdoolaege
add pe
t
_e
x
pr_map_c
a
l
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n V
e
r
d
o
olaege
add pe
t
_
expr_a
c
cess_get_
a
ugmented_domain_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
P
e
tScan::extra
c
t
_
e
xp
r
(CallE
x
pr *): extract functio
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdo
o
lae
g
e
pet_exp
r
: ke
e
p track of fun
c
tion summ
a
ries in call
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet_
e
xpr: put pet_
e
xpr_call fi
e
l
d in substructure
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdoola
e
g
e
in
t
roduce pet_fun
c
tion_summary
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdoola
e
ge
pe
t
_ex
p
r
_access
_
set_
a
cce
s
s: set read
/
writ
e
on non-emp
t
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
e
n
V
erdoolaege
b
re
a
k
up acce
s
s relations into may_read/may_w
r
ite/must_writ
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
add
pe
t
_union_ma
p
_move_
d
ims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
do
o
laege
introd
u
ce
pet_expr
_
access
_
ty
p
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rdoolaege
d
r
op pe
t
_expr
_
from_access_and_
i
nde
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoo
l
aege
explicitly mark kill
a
cc
e
sse
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
do
o
laege
p
et_expr: repres
e
n
t
read
/
w
rite flags as bits
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven
V
erdoolaege
pet_expr
:
document the
read and wri
t
e fields
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
break up
access relatio
n
s
into may_read/may_write/must_w
r
it
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
e
rdoo
l
aege
pet_expr_tag_acces
s
:
a
void use of targ
e
t sp
a
ce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
doolae
g
e
postpo
n
e i
n
tro
d
uction
o
f access relations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
emit
.
c: emit_expr: extract
o
ut emit_acces
s
_e
x
pr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
drop pet_exp
r
_ac
c
ess_get_a
c
ce
s
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdoolae
g
e
nest
.
c:
move is
_
sub_a
c
cess to expr
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoolaege
t
r
e
e
2sco
p
.
c: extract_
k
ill:
u
pdate
k
ill expression rather
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdoolaege
pet_expr_is_affine
:
avoid using acce
s
s relat
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
V
erdoolaege
p
e
t_exp
r
_filter: avoi
d
using
acc
e
s
s
relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet_expr_access
_
u
p
date_do
m
ain: avoi
d
usin
g
access relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaeg
e
pe
t
_ex
p
r
_
a
c
c
e
ss_
g
et_must_access
:
avoid using ac
c
e
s
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdoolaege
pet_expr
_
ac
c
ess_
g
et_id: avoid using acce
s
s relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoola
e
ge
expr
.
c: access_ad
d
_ref_
i
d: avoid usi
n
g access relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
e
r
dool
a
ege
s
c
op
.
c: a
c
cess_
c
olle
c
t
_
params:
avoi
d
using access relatio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdoolaege
scop
.
c:
i
m
pli
e
s
_
filt
e
r: avoid us
i
ng access relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erdoo
l
aeg
e
scop
.
c
:
a
c
cess_ex
t
ract_context: avoid
u
s
ing access
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdoo
l
aeg
e
scop
.
c: expr_
e
x
t
r
a
ct_cont
e
x
t:
a
void
u
sin
g
access
r
elation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erdoolaege
scop
.
c: ext
r
act out shared drop_arguments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verd
o
ol
a
ege
p
et_expr_access_update
_
do
m
ain: minor clean-up of
expre
s
s
i
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
further ge
n
eralize com
p
ute_to_inner to supp
o
rt pet_scop_comp
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
g
eneralize co
m
p
u
t
e_to_in
n
er to sup
p
ort pet_scop_compute_oute
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
scop
.
c: com
p
ute_to_in
n
er
:
micro-op
t
imization
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-19
Sven Verdo
o
laege
tree2scop
.
c: is
_
n
e
ste
d
_allowed: do not allow nesting
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-05-26
Sven Ver
d
oolaege
PetScan:
:
set
_
u
ppe
r
_bo
u
nds: use
d
eclared
s
i
z
e of st
a
tic
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdoolaeg
e
s
c
op
.
c: restrict_skip:
u
pdate do
c
ument
a
tion to change
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven
Verdoolaeg
e
tree2scop
.
c: scop_add_i
n
c: take in
t
o account affine
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven
V
erdoola
e
g
e
tree2scop
.
c:
m
ove up ap
p
ly_affine_continue
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdo
o
l
a
ege
tree2sc
o
p
.
c: scop_from_non_affine_while: ext
r
act out
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdoola
e
ge
pet 0
.
05
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdoolaege
update
i
sl to version 0
.
13
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-13
S
v
en Verdo
o
l
aege
README: u
p
date LL
V
M/clan
g
installat
i
on instructi
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven
Verdoolaege
int
e
rfa
c
e/ext
r
act_interface
.
cc:
e
xp
l
icitly include
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Ve
r
doola
e
ge
up
d
ate for change in argu
m
e
n
ts of CompilerInstanc
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdo
o
laege
pet
.
cc: a
d
d
s
pace betwe
e
n literal
a
nd iden
t
if
i
er
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven
Verdo
o
laege
update
i
s
l for
suppor
t
fo
r
recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
S
ven Verdoo
l
aege
pe
t
_stmt
_
f
rom_pet_tre
e
: avoid fre
e
of uninitialized
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-06
Sven V
e
rdoolaege
s
can
.
cc: fix typo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sven
V
erdoolaege
p
e
t
_
sco
p
_from_pet_s
t
mt: do not e
x
tract context from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sv
e
n Verd
o
ol
a
ege
PetScan::extract
_
a
r
g
ument: handle passin
g
of entire
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verdoo
l
aege
Makefile
.
a
m
: ad
d
dummy C++
so
u
rce
f
i
le to
pet_sco
p
_
c
mp
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
S
v
en V
e
rdoo
l
aege
handle pencil in
d
e
pendent pragm
a
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
PetScan: k
e
ep tra
c
k of line
numb
e
r of current St
m
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven
Ve
r
doolaege
pe
t
.
cc: ex
t
r
ac
t
out Pet
A
STConsumer::add_pragma_ha
n
dl
e
rs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ver
d
oolaege
add encapsulate_dy
n
amic_control option
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
v
e
n
Verdoolae
g
e
p
e
t
_scop_from_pet_tree: creat
e
stat
e
ments directly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
v
en Verdool
a
ege
replace
p
et_stmt
_
from_p
e
t_
e
xpr by pet_stmt_from_pet_tree
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven
V
e
rdoola
e
ge
pet_stmt: use pet_tree
t
o
repre
s
ent statem
e
nt
body
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdo
o
l
aege
scop
.
c: extrac
t
out pet_stmt_is_affine_a
s
sume and pet_stmt_a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sv
e
n
V
er
d
oolaege
scop
.
c:
stmt_co
l
l
e
ct_accesses: us
e
pet_exp
r
_fore
a
c
h
_a
c
ce
s
s_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
ven V
e
rdool
a
ege
s
c
o
p
.
c
:
stmt_
c
ol
l
ect_params
:
u
se pet_expr_foreach_acces
s
_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sv
e
n Verdoolaege
keep trac
k
of indentat
i
o
n
of extra
c
ted c
o
de
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
ven V
e
rdoolae
g
e
update test case outputs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
extra
c
t enum constants
a
s their
i
nteger values
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
l
a
e
ge
P
e
tScan::extract_int: separate out e
x
t
r
a
ctio
n
f
rom
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
rdoolaege
PetScan::ex
t
rac
t
_unsigne
d
: turn
into a static
f
un
c
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
V
erdo
o
l
a
ege
s
can
.
c
c
:
chang
e
textual
order of
ext
r
act_unsigned
a
nd
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_check_code
.
c: u
s
e pet_expr_
e
xtract_affine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
export
p
et_
e
xpr_
e
xtr
a
ct_
a
ff
i
ne
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
p
et_context: no longer keep track
o
f
"unknown"
v
alues
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
p
e
t_e
x
pr_extract_affine:
no
l
onger c
r
e
ate new parameters
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
Pet
S
can::extract_sco
p
:
popul
a
t
e pet_context with para
m
ete
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
scan
.
c
c
: m
o
ve
u
p static
get_arr
a
y_
t
ype function in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
PetScan::get_ar
r
a
y_size: cache
result
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
PetScan:
:
set_upper_bounds:
e
xtract out
PetSc
a
n::get_array
_
size
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verd
o
olaege
pet_expr_is_equal: com
p
a
re i
n
dex ex
p
ressions up to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
p
e
t_
e
xpr_extract_af
f
ine: exploit domain
inf
o
rm
a
tion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
add pet_cont
e
xt_get_
g
ist_d
o
main
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tre
e
2scop
.
c:
s
c
op
_
from_block: colle
c
t
af
f
ine continue
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_scop_from_pet_tree: e
x
trac
t
pet_sc
o
p from th
e
root
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
add
f
unctions fo
r
ma
n
ipula
t
in
g
the doma
i
n
of a pet_context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
pet_scop_restrict: also rest
r
ict virt
u
a
l
arr
a
y ext
e
nts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
pet_c
o
n
text_ev
a
l
uat
e
_expr: first i
n
sert domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
p
e
t
_check
_
code: re
m
ove tracking
o
f
a
s
s
ign
m
ents
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
drop pet_scop_d
e
tect_par
a
meter_accesses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
pet_
c
ontext_eva
l
u
a
t
e
_expr: also plug in affine expressi
o
ns
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en V
e
rdoolaege
separate
o
ut pet_context_evaluat
e
_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
drop pet_c
o
ntex
t
_mark
_
assigned
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
Pe
t
Scan::
e
xtrac
t
_sc
o
p:
c
lear writes at outer
l
evel
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
PetScan::extract
_
scop: locally con
s
truct pet_context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
Pet
S
can::extract_scop: also
add
all pet_arrays
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
pet_expr_
f
ilt
e
r: avoid introduction
of c
o
nstrain
t
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next