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
README: update latest release of clang
2015-06-13
Sve
n
V
e
rdool
a
ege
REA
D
ME: update
l
atest r
e
l
e
ase of cl
a
ng
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-12
Sven Ve
r
d
o
olaege
update isl to version 0
.
1
5
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-31
Sven
Verdoolaege
support decla
r
ation s
t
atements declaring mo
r
e
t
h
an
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-26
Sven Verdoolae
g
e
upda
t
e isl for rename of isl_schedul
e
_map_schedule_node
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-24
Sv
e
n Verd
o
olaege
update i
s
l for in
t
roduct
i
on of
isl_stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-24
Sv
e
n Verdoolaege
i
m
p
r
o
ve su
p
port for t
y
pedefs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-24
Sven Verdoolaege
scan
.
cc: fi
x
t
y
po in co
m
ment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-24
Sven Verdoolaege
make cast
.
c indepen
d
e
n
t
of sig
n
e
d
ne
s
s
of "char"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-12
Sven Verdoolaege
try and include
i
nitial declarations in oute
r
block
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-12
Sven Verdo
o
laege
Pe
t
S
c
an::extract: always tre
a
t compound
s
t
atement as
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-11
Sven Verdoolaege
P
e
t
Scan::extract: do n
o
t treat partial
r
a
nge of state
m
ents
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-11
S
ve
n
Verdoolaege
add function
s
for retr
i
eving/setting th
e
block property
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-11
Sven Verdoolaege
tree
.
h: drop d
u
pl
i
cate decla
r
a
t
ion
of pe
t
_
tree
_
block_n_ch
i
ld
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-11
Sven Verdoolaege
P
e
t
Sca
n
::
e
xt
r
act:
drop u
n
u
s
ed variables
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-04-30
Sven
V
erdoolaege
pet_codegen
.
c
:
directly include required header
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-04-30
Sven Verdoolae
g
e
pet_check
_
code
.
c: direc
t
l
y i
n
clud
e
required h
e
ader
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-04-30
Sven Ver
d
o
o
la
e
ge
t
ree2scop
.
c: dire
c
tly incl
u
de required header
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-04-30
Sven Verdool
a
eg
e
s
ummary
.
c: di
r
ectly inclu
d
e r
e
q
u
ired
header
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-04-30
Sven Verdoo
l
aege
s
c
a
n
.
c
c: di
r
ectly include re
q
uired
header
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-04-30
Sven Verdool
a
ege
p
ars
e
.
c: di
r
ectly incl
u
de requi
r
ed header
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-04-30
S
ven
V
erdoolae
g
e
e
x
pr
.
c
:
directly include requi
r
e
d
header
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-04-30
Sven Verdoo
l
a
eg
e
emit
.
c: dir
e
ctl
y
include
r
equired header
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-04-09
S
v
e
n Verdo
o
la
e
ge
add
--no-p
e
nci
l
opti
o
n to turn off pencil specific
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-04-02
Sven Verdoolaeg
e
Pe
t
Sc
a
n::extract_a
r
g
umen
t
: ma
r
k non-c
o
nst p
o
i
n
ter
a
r
guments
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-04-02
Sven Ver
d
oola
e
ge
privat
e
l
y expo
r
t
p
e
t_expr_acc
e
ss_get_dependent_access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-03-30
Sven Ve
r
d
o
ola
e
ge
PetS
c
an::
e
xtract
_
argument: ignore expression
c
lass
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-03-30
Sven V
e
rdoolaege
PetScan::extract_a
r
gum
e
nt:
a
llow m
u
l
t
iple implicit
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-03-16
Sven Verdoolaege
u
p
date
i
sl for r
e
p
l
ace
m
ent of CLo
o
G
test case
s
with
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-03-16
Sven Verdo
o
laege
codegen_t
e
s
t
.
sh:
t
es
t
s
c
h
ed
u
l
e
tree inputs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-03-16
Sven Verdoolae
g
e
p
e
t
_
c
h
e
ck
_
code: option
a
lly
t
ake schedule tree as
i
n
put
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-03-16
Sv
e
n Verdoolaege
pet_c
o
de
g
en
.
c
:
option
a
lly
t
ake sch
e
dule
t
ree as input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-03-16
Sve
n
V
erd
o
o
laege
p
et_
c
od
e
gen
.
c: extract out print
_
tree
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-03-11
Sve
n
Ve
r
doolaege
up
d
a
t
e is
l
for schedule t
r
ee bas
e
d A
S
T
generation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-03-11
Sven Verdo
o
laege
r
ename isl_ast_buil
d
_ast_from_schedule
t
o i
s
l_
a
s
t
_build_node
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-03-11
S
v
en Verd
o
olaege
update isl for rename of is
l
_ast_build_ast_fr
o
m_schedule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-03-11
Sve
n
Verdoolaege
skip
e
m
pty scops when autodetect is turned
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-03-05
Sve
n
van H
a
astregt
recogn
i
ze P
E
N
CIL min and max fu
n
ctio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-03-05
Sven
va
n
Haastregt
ex
t
ra
c
t_affi
n
e
_from_ca
l
l
:
extract ou
t
is_min_or_max_bu
i
lti
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-03-05
Sven van Haastreg
t
ex
t
ract_affine_from_call: ex
t
ract out
is_af
f
i
ne
_
bui
l
tin
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-19
Sven Verd
o
olaege
tree2scop
.
c: set loo
p
band sched
u
l
e name from loop
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-19
Sven
V
e
r
d
o
o
l
aege
merge
p
et_skip_
i
nfo_if_add and pet_sk
i
p_in
f
o_s
e
q_
a
d
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-19
Sven Ve
r
do
o
laeg
e
pet_stmt: drop schedul
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-19
Sven V
e
r
doola
e
ge
pet_check_code: use sc
o
p->schedule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-19
Sven Ve
r
doolaege
p
et_scop: keep track of s
c
hedule tree
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-19
Sven Ve
r
dool
a
eg
e
use i
s
l_multi_aff to rep
r
esen
t
lo
o
p sc
h
edule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-19
Sven
V
erdool
a
e
g
e
upd
a
te
t
e
s
t
cas
e
out
p
uts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-19
Sven
V
erdoolaege
update isl for s
c
hedule
t
rees
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-13
Sven Ver
d
oolaeg
e
post
p
on
e
c
all
s
t
o pet_scop_embed unti
l
after calls
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-04
Sven Ver
d
oola
e
ge
pet_s
c
op_embed: extra
c
t out pet
_
s
c
op
_
reset_
s
kips
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-04
Sven Verdool
a
e
ge
pet_
s
k
ip_info_a
d
d_sco
p
s:
a
dd sc
o
ps for co
m
puting ski
p
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-04
Sven
V
erdool
a
ege
pet_ski
p
_in
f
o
_add
_
type: extract out addition of
skip
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-04
Sven Verdo
o
laege
merg
e
pe
t
_skip_inf
o
_if
_
add_type and pet_s
k
i
p
_info_seq_ad
d
_type
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-04
Sven Verdoolaege
pet_ski
p
_in
f
o
_seq_add_type: extract o
u
t pet
_
s
kip_info_
s
eq_prefix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-04
Sven Verdool
a
ege
pet_skip_info_
i
f_add_typ
e
: extract out
pet_sk
i
p_info_if_prefix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-04
S
ve
n
Verdoolaege
p
e
t_s
c
op_align_p
a
ra
m
s: m
i
nor clean-up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-04
Sv
e
n Verdoolaege
add pet_tree_m
a
p_call_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-04
Sven Verdoolaege
tree
.
c:
map_access
_
expr: fix documentation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-04
Sven
V
erdoo
l
aege
export
pet_
e
xpr_new_cast
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-04
Sv
e
n
Verdoola
e
g
e
add support for (so
m
e)
typedefs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-04
Sv
e
n
V
e
r
doolaege
scan
.
c
c
: inclu
d
e config
.
h first
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-04
Sven Ve
r
doolaege
scan
.
c
c
:
add_
t
ype: extract out a
d
d_field_types
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-04
Sv
e
n Verdool
a
ege
PetScan::
s
can_arrays
:
k
e
ep track of
h
an
d
led
types in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-04
Sven
Verdoolaege
scan
.
h: less_name
:
general
i
ze to an
y
TypeDec
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-04
Sven Verdo
o
l
aege
PetScan::scan_arrays: store record typ
e
s into new Pe
t
T
y
pes
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-04
Sven Verdoolaege
s
c
an
.
cc: f
i
x typos in comm
e
n
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-04
S
ven Verdo
o
laege
tree
.
c: fix ty
p
o in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-04
Sven Verdoolaege
ad
j
u
st confi
g
ure test to
c
hange
in
argu
m
ent nam
e
of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-04
Sven Verdoolae
g
e
adju
s
t
to change in re
t
urn type of
getTypeInfo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-04
Sven
Ve
r
doolaege
adjust to change in clang
'
s
Job
L
i
s
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-04
S
ven Verdoolaege
upda
t
e isl for supp
o
rt for
r
ecent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdoolaege
Pe
t
Scan
:
:extra
c
t:
i
mprove error
messa
g
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven
Verdoolaeg
e
PetScan: allow label on any statem
e
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-17
Sven Ve
r
doolaege
pet
_
sc
o
p_
c
mp: do not con
s
ider scops to be equal if
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-17
Sven
V
erdoolaege
tree2
s
cop
.
c: scop_from_affine_if:
c
he
c
k
condition of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-14
Sven Verdoolaege
pet_scop
_
fr
o
m_pet_tree:
a
void clashes w
i
th ex
p
l
i
cit
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-13
Sven V
e
rdo
o
laege
add support for __
p
e
nc
i
l_
k
i
l
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-13
Sven
Ve
r
dool
a
ege
tr
e
e2scop
.
c
:
e
xtra
c
t out
scop_from_tree_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-13
S
v
en Verdoolaeg
e
PetS
c
an
:
:extract_argument: only perform write de
t
e
c
tion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-16
Sven Verdoolaege
en
c
apsulate l
o
o
p
containing contin
u
e
/bre
a
k when
encapsul
a
tin
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-21
Sven Ve
r
doolae
g
e
pet_stmt_build_ast_exprs
:
i
g
nore express
i
o
n
argument
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-06
Sven V
e
rdoolaege
imp
r
ove han
d
li
n
g of function sum
m
aries
with
s
tructs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
S
v
en Verdoolaege
pet 0
.
06
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven V
e
r
doolaege
up
d
ate is
l
to
v
ersion 0
.
14
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolaege
PetScan::
s
et_upper
_
b
o
unds: fix
t
y
po brea
k
ing non-1D
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-16
Sven Verdoo
l
aege
u
pdat
e
isl for
change
in isl_ma
p
_sub
t
ract
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-02
Sven Verdoolaege
update for
change in
Ta
r
g
e
tOp
t
i
ons re
f
coun
t
i
ng
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-02
S
v
e
n
Verdoo
l
a
e
ge
u
pdate f
o
r
r
emoval of llvm/ADT/OwningPt
r
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-31
S
ve
n
Verdoola
e
ge
i
nterface/ext
r
act_interface
.
c
c
: avoid
us
e
of
SourceManager
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-31
Sve
n
Verdoolaege
update for removal
o
f DefaultImage
N
a
me Driver const
r
uctor
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-31
S
ven Verdoolae
g
e
upda
t
e isl for support for r
e
cent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-11
Sven Verdoolaege
p
e
t_expr_new_unary: take t
y
pe size
a
r
g
ument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-06
Sven Ve
r
doolae
g
e
pe
t
_scop_collect_domains: properly han
d
le s
t
atemen
t
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven V
e
rdoolae
g
e
pet_stmt_p
r
in
t
_b
o
dy
:
d
o
not print anything for k
i
ll
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoolae
g
e
fix
q
uasi_affi
n
e test case
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven V
e
r
d
oo
l
a
e
g
e
pet_
t
ree_dump: fix typo in ou
t
p
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven Ve
r
doolaege
scop
.
c: f
i
x t
y
po
i
n
com
m
ent
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sv
e
n Verdool
a
ege
scop
.
c
: sco
p
_
a
lloc
:
p
l
ug m
e
mory l
e
ak on error path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoolaege
expr
.
c:
e
x
t
r
act_
a
ffine_
m
ul
:
a
bor
t
on error rat
h
er
t
h
an
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven
V
e
rdoolaege
Pe
t
Scan::set_upper_bou
n
d
s
: handle arrays declared inside
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-09
Sven van Haast
r
egt
a
llow
s
pecification of su
m
mary fu
n
ctions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next