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 0.06
2014-10-26
Sven Verdoolaege
p
et 0
.
06
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
S
ven Verdoolaeg
e
update i
s
l to v
e
r
sion
0
.
14
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven
V
erdoolae
g
e
P
etScan::set_u
p
pe
r
_bo
u
nds:
fix typo
breaking non-1D
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-16
Sven V
e
rdoolaege
update isl for cha
n
ge in isl_map_
s
ubtract
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-02
Sven Ve
r
doolaege
u
p
dat
e
f
o
r chan
g
e in TargetO
p
tion
s
r
e
f
counti
n
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-02
Sven Verd
o
olaeg
e
update f
o
r
r
emov
a
l of l
l
vm/ADT/O
w
ningPtr
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-31
Sven Verdoola
e
ge
interface/
e
xtract_
i
nterface
.
cc: avoid
use of
SourceManage
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-31
Sven Verdoolaege
update f
o
r re
m
o
val of DefaultImageName Dri
v
er constructor
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-31
Sven Verdoolaege
upd
a
te isl for s
u
ppo
r
t for
recent
c
l
angs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-11
Sven
Ve
r
doo
l
aege
pet_expr_
n
ew_
u
nary: ta
k
e ty
p
e size argum
e
nt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-06
Sven Ve
r
do
o
laege
pet_scop_collect_
d
omains
:
proper
l
y
handle statements
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven V
e
rdoolaege
pe
t
_stmt_
p
ri
n
t_body: do not print anything for kill
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
S
v
e
n Verdoolaege
fix quasi
_
affin
e
test case
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
S
v
en Verd
o
olaege
pet_tree
_
dump: fix typ
o
i
n outpu
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven
V
e
rd
o
olaege
scop
.
c:
f
ix typo in co
m
ment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven
Verdoolaege
scop
.
c: scop_allo
c
: pl
u
g memory
l
eak on error path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven
Verdoolaege
expr
.
c: extract_affine_mul: ab
o
r
t on error rather th
a
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven
V
erdoolaege
PetScan::set_
u
p
per_bounds: h
a
ndle arrays declared insid
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-09
Sven van H
a
astregt
a
llow specifi
c
a
t
io
n
o
f
summary
f
unctions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-09
Sven Verdoola
e
g
e
derive acces
s
r
e
lations
o
f c
a
ll e
x
pressions from func
t
ion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rdoolae
g
e
a
d
d pet_expr_map_
c
all
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoolaeg
e
a
dd pet
_
expr_a
c
c
ess_get_augme
n
ted_domain
_
s
p
a
ce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdoolaege
PetScan::extra
c
t_expr(
C
allExpr *): extrac
t
funct
i
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdoolaege
p
et_e
x
pr: ke
e
p track of function s
u
mmaries in
c
a
ll
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
oolae
g
e
pe
t
_exp
r
: put
p
e
t_expr_call
f
i
eld i
n
substructure
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdoo
l
aege
introduce pet_fu
n
ction_summary
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
doolaege
pet_expr_a
c
cess_s
e
t
_
acc
e
ss: set read/write on n
o
n
-
empty
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
doola
e
ge
break up acce
s
s
relations i
n
to may_read/may_write/must_write
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
add pe
t
_union_map_move
_
dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven
V
e
rdoola
e
ge
intro
d
uce pet_exp
r
_acce
s
s_type
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdoolae
g
e
drop pet_expr_from_access
_
and_in
d
ex
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoo
l
aege
explicitly
m
ark kill acces
s
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
oolaeg
e
pet_exp
r
:
represent read/write flags
a
s bits
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdoolae
g
e
pet_expr
:
document th
e
re
a
d and wr
i
te
fields
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdoolaege
b
r
eak u
p
access relatio
n
s into may_read/may_write/must_
w
rite
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdoolaege
pet_exp
r
_tag_access: avoid
use of
t
arget space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Ver
d
oolaege
postpone intro
d
uc
t
i
o
n of
access rela
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdoolaege
em
i
t
.
c
: emit
_
expr: extract out emit_access_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdoolaege
drop
p
et_expr_a
c
ce
s
s
_get_
a
ccess
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verd
o
olaeg
e
nes
t
.
c: move is_sub_access t
o
expr
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
tre
e
2
scop
.
c: extra
c
t
_
ki
l
l: upd
a
te kill expression ra
t
her
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoola
e
g
e
pe
t
_expr_is
_
a
f
fine: avoid u
s
ing acce
s
s
relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoo
l
aege
pet_expr_filter: av
o
id usi
n
g
a
ccess relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolae
g
e
pet_expr_acc
e
ss
_
upd
a
te_dom
a
in
:
avoid using access
r
elation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet_expr_acces
s
_g
e
t_must
_
access:
avoi
d
u
sing acces
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
e
n Verdoolaege
pet
_
e
xpr_access_get_id:
a
void using
acc
e
ss rel
a
ti
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erdoolaege
ex
p
r
.
c: acces
s
_ad
d
_ref_id: avoi
d
u
si
n
g a
c
cess relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
sc
o
p
.
c: access_col
l
ect
_
para
m
s: avoi
d
using
access relatio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
e
r
doolaege
scop
.
c: implies_fil
t
er:
a
void using access relat
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
sco
p
.
c: access_ex
t
ra
c
t_context: avo
i
d
using access
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdoolaege
sco
p
.
c
:
ex
p
r_ex
t
ract_context: avoid using access relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verd
o
olaege
scop
.
c: ext
r
act out sha
r
ed dr
o
p
_
arguments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdo
o
laeg
e
pe
t
_expr_access_upd
a
t
e_do
m
ain: minor clea
n
-up
of expres
s
ion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdo
o
l
a
ege
furt
h
er generali
z
e compu
t
e_to_inne
r
to suppor
t
p
et_
s
cop_comp
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdoo
l
a
e
ge
generalize comput
e
_
to_
i
nn
e
r
to
s
upport pe
t
_scop
_
com
p
ute_oute
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
o
o
la
e
ge
scop
.
c: compute_
t
o_inner: micro-
o
ptimizat
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-19
Sven
V
erdoolaege
t
ree2sc
o
p
.
c: is_
n
e
sted
_
al
l
owed: do
not
a
l
lo
w
nest
i
ng
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-05-26
Sve
n
Verdoolaege
PetSc
a
n::
s
et_upper_bounds: use de
c
l
ared
size
of static
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sve
n
Verdo
o
laege
sc
o
p
.
c: r
e
strict_skip: updat
e
d
o
c
umentation to change
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdoolaege
tree2scop
.
c: scop
_
add_in
c
: take
into accou
n
t affine
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdoolaege
tree2sco
p
.
c: move up apply_affi
n
e_con
t
in
u
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
S
ven Verdoolaege
tree2
s
co
p
.
c: scop_from_non_affine_while: ex
t
ract out
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdool
a
eg
e
pet 0
.
05
commit
|
commitdiff
|
tree
2014-04-14
S
v
e
n Verdoolaege
upd
a
te isl to version 0
.
1
3
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-13
Sven Verdoola
e
ge
REA
D
ME:
u
p
d
ate LLVM/clang installation instructions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
S
ven Ve
r
d
oolae
g
e
i
n
terf
a
ce/extr
a
ct_inter
f
ace
.
c
c: explicitly include
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoolaege
updat
e
f
o
r change in
arguments
o
f Compiler
I
nstance
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven
V
erdool
a
e
ge
p
et
.
cc:
a
d
d space between literal and id
e
ntifier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven
Ver
d
oolae
g
e
update isl for support for rece
n
t clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven V
e
rdoolaege
pet_stmt
_
from_pet_tree: a
v
o
id free of unini
t
ialized
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-06
Sven
Verdool
a
ege
scan
.
cc
:
fix typ
o
i
n
c
omm
e
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sv
e
n
Verdool
a
e
ge
pet
_
sco
p
_from_pet_st
m
t: d
o
not extract context from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verdoolaege
P
etS
c
an:
:
extract_a
r
gument: handle passing of entire
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sven Ver
d
o
olaege
M
akefile
.
am
:
add dummy C++ so
u
rce f
i
le to
p
et_scop_cmp
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verd
o
o
laege
handle
pen
c
il indepen
d
ent pragmas
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven
V
e
r
do
o
l
aeg
e
P
e
tScan: keep track of line number of cu
r
re
n
t Stmt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
pet
.
cc
:
extract ou
t
Pe
t
ASTConsume
r
::add
_
pragma_hand
l
ers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
ven V
e
rd
o
o
laege
add encapsul
a
te_dynami
c
_control option
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven
Verdoolaege
pe
t
_scop_from_pet_
t
ree: cre
a
t
e stateme
n
ts
d
ire
c
t
ly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoola
e
ge
repl
a
c
e
pe
t
_stmt
_
from_pet_
e
xpr b
y
pet_stmt_from_pe
t
_tre
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
v
en
Verdoola
e
ge
pe
t
_stmt: us
e
pe
t
_tree to represen
t
statemen
t
body
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
ven Ver
d
oolaege
scop
.
c: ex
t
ract o
u
t
pet_stmt_
i
s
_
af
f
ine_a
s
sume
a
nd pet_
s
t
mt_a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sve
n
Ve
r
doolae
g
e
scop
.
c: stm
t
_coll
e
ct_accesses:
use pet_exp
r
_
f
oreach_access_
e
xpr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdool
a
ege
scop
.
c: stmt_coll
e
ct
_
p
a
rams:
use pet_expr_f
o
re
a
c
h_access_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sve
n
V
e
r
d
o
ol
a
ege
keep track of indentation of extr
a
cted
code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven
V
er
d
oola
e
ge
u
pdate test
c
ase outputs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n
V
e
rdoolaege
e
x
tract enum
c
onstants a
s
thei
r
integer value
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
PetScan::
e
x
t
ract_int: separate out extr
a
ction from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rd
o
olae
g
e
Pe
t
Scan::
e
x
t
ract_uns
i
g
n
ed: turn
i
nto a static functio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
scan
.
cc: change textual order of ex
t
ract_
u
nsign
e
d
and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_check
_
code
.
c: use pe
t
_
ex
p
r_extract_affine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verd
o
olaeg
e
export
pet_exp
r
_
e
xtr
a
ct_a
f
fine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_context
:
no long
e
r keep track of "unknown" val
u
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n Verdoolaege
pet_expr_e
x
t
ract_
a
ffine:
n
o longer cre
a
t
e
new p
a
r
a
meters
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
Pet
S
can::e
x
tract_
s
cop: populat
e
pet
_
context wi
t
h
parameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Ve
r
d
oolaege
scan
.
c
c: move u
p
static get_array_type
f
unction in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
PetScan
:
:ge
t
_array_si
z
e: cache resu
l
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
r
d
o
ola
e
g
e
PetS
c
an:
:
set_upper_bou
n
ds:
e
xtract out
PetScan::get_array_si
z
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
p
et
_
e
xpr_is_equal: com
p
are index
e
xpre
s
sions up to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
pe
t
_
expr_
e
xtract_
a
ffine: ex
p
l
o
it
domai
n
information
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next