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.cc: pet_foreach_scop_in_C_source: return isl_stat
2017-11-30
Sven
V
erdoolaege
pet
.
cc: p
e
t_
f
o
reac
h
_scop_in_C_source: re
t
urn
i
sl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-30
Sv
e
n
V
e
rdoola
e
ge
p
et_expr_acce
s
s_project_out_arg: improve error ha
n
dl
i
ng
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-30
Sven Verdoolaege
pet_exp
r
_insert_arg: us
e
pet_expr_acces
s
_get_do
m
ai
n
_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-30
Sven Verdoola
e
ge
scop_plus
.
cc: extr
a
ct_list: improve
error handling
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-08-29
Sven Verdoolaege
pet_codegen
.
c
:
add
m
iss
i
ng include
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-08-29
Sve
n
Verdoolaege
summar
y
.
c: add missing
in
c
l
u
d
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-08-17
Sven
V
erdoolaege
configu
r
e
.
ac: drop
-
gspli
t
-dwarf fro
m
llvm-confi
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-06-16
Sv
e
n Verdoolaege
m4/a
x
_detect_cla
n
g
.
m4: update to refacto
r
ing o
f
f
r
o
ntend
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-06-16
Sven Verdoolaeg
e
update isl for supp
o
rt for recent cl
a
ngs
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-06-14
Sven Verd
o
olaege
pet
.
c
c
: set_inv
o
cation
:
plug me
m
ory lea
k
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-06-06
Sven Verdool
a
ege
a
d
d back support for old
e
r versions of clang
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-06-06
Sven V
e
rdoolaege
s
can
.
h: ad
d
missing include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-04
Sven
Verdoolaeg
e
in
t
erface/
i
s
l
.
p
y
.
top
:
e
xplicitly
c
ast self
.
ptr of
C
ontext
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-04
S
v
e
n
V
erdoolaege
interfac
e
/
p
et
.
p
y: spe
c
i
f
y argument types
o
f called
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-04
S
ven
Verdo
o
l
ae
g
e
upd
a
t
e
isl for fi
x
e
s i
n
python binding
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-04
Sven Verdoolaege
update isl for c
h
ang
e
in interfac
e
/
extract_in
t
erface
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-03-09
S
ven V
e
rdoolae
g
e
sup
p
o
rt inlining o
f
non
-
out
e
rmost call ex
p
res
s
i
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-09
Sven Verdoolaege
make Pe
t
Scan::ex
t
r
act_in
l
i
ned
_
call pub
l
ic
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-09
Sve
n
Ver
d
o
o
la
e
ge
add pet_id
_
ret_from_type
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-09
Sve
n
Verdoolaege
add pet
_
tree_
m
ap_top_d
o
wn
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-09
Sven Verdool
a
ege
allow r
e
t
u
rn statements in sum
m
ary functi
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-09
Sven Ve
r
doo
l
aege
pet_tre
e
: support return
s
tate
m
ents
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-09
Sv
e
n Verdoola
e
g
e
pet_inliner::assi
g
n: drop redun
d
a
n
t
QualTy
p
e
argument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-09
Sv
e
n Ve
r
doolae
g
e
extract
ou
t
(nearly) share
d
pet_expr_access_from_
i
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-09
Sve
n
Verdoolaege
expr_plus
.
cc: e
x
t
r
act_dept
h
:
us
e
pet_id_get
_
array_type
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-09
Sven Ver
d
oola
e
g
e
P
e
t
Sca
n
: extract out
p
et_exp
r
_acc
e
s
s
_
from_index
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-08
Sven Verdoolaege
pet_sc
o
p_coll
e
ct_
a
r
r
ays: only
c
oll
e
ct sibli
n
g
s
of acce
s
sed
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-08
S
ven Ve
r
doolaege
pet_sco
p
_
c
ollect_array
s
:
co
n
sider all a
c
cessed data
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-08
Sven Verdoolaege
p
et_s
c
op_collec
t
_a
r
rays: only c
o
lle
c
t subf
i
eld
s
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-08
Sven Verdoolaege
pet_array: explicitly keep tra
c
k of w
h
eth
e
r array
is
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-08
Sven Verdoolaeg
e
update test ca
s
e outputs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-08
Sven Verd
o
olae
g
e
tree
.
c: fix typo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-08
Sven Verdool
a
ege
sc
o
p_p
l
us
.
cc: f
i
x typos in comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-08
Sven Verdoo
l
aege
s
u
pport
bitwis
e
as
s
i
g
nment opera
t
ors in s
t
atements
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-08
S
v
e
n Verdo
o
laeg
e
PetScan::extra
c
t_expr(Bi
n
ar
y
Operator *): improve
e
r
ror
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-08
Sven V
e
rdoolaege
scan
.
h: add missing include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-08
S
ven Verdoolae
g
e
sc
a
n
.
h: prote
c
t against multip
l
e
i
nclusions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-07
Sven Ver
d
oolaege
pet
.
cc: update to C
o
mpi
l
erI
n
stance::setInvocation
t
aking
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-07
Sven
V
e
rdoolaeg
e
u
p
date isl fo
r
supp
o
rt for rec
e
n
t
clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-02
Sven Verd
o
o
laege
p
e
t_scop_c
o
mpute_ou
t
er
_
to
_
in
n
er: impro
v
e hand
l
in
g
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-26
Sven Ver
d
o
o
laege
tree2scop
.
c: kill: drop unused variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-26
Sven Verdoolae
g
e
scop
.
c
:
stmt_anonymi
z
e
;
drop
u
nused varia
b
l
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-26
S
v
en V
e
rd
o
olaege
scop
.
c: expr_c
o
ll
e
ct_accesses:
drop unused variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-26
Sven Verdoolaege
sc
o
p
.
c
:
expr_collect_a
c
ces
s
es:
d
r
op un
u
sed variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-26
Sve
n
Ver
d
ool
a
ege
scop
.
c: exp
r
_
c
ollect_
a
ccesses:
drop unused variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-26
Sven V
e
rdoolaege
sco
p
.
c: a
c
cess_collect_
p
arams
:
drop unused v
a
riable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-26
Sven Ve
r
doolae
g
e
scop
.
c: st
m
t_filter:
d
rop unused variabl
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-26
Sven
Verd
o
ola
e
ge
scop
.
c: fil
t
er_implied:
drop
u
nused variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-26
Sve
n
Verdoolaege
s
c
op
.
c: pet_scop_r
e
strict: d
r
op unused va
r
iable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-26
Sven Verd
o
ol
a
ege
scop
.
c: s
c
hedule_e
m
bed: drop unused variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-26
Sven V
e
rdoolaege
scop
.
c: pet_implication_
f
ree: drop un
u
sed vari
a
bl
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-26
Sv
e
n V
e
rdo
o
laege
p
et_codegen
.
c: set_opt
i
ons: dr
o
p
unused variable
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-26
S
v
e
n
Verd
o
olaege
pet_check
_
co
d
e
.
c: check_domain: drop unused variables
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-26
Sven
V
erdoola
e
ge
nes
t
.
c
: pet_
s
tmt
_
re
s
olve_ne
s
ted: drop unused va
r
i
a
ble
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-26
Sven
Verd
o
o
l
aeg
e
filt
e
r
.
c: pet_filt
e
r_in
s
ert_pma
:
drop unused var
i
able
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-26
Sven
V
erdoola
e
ge
expr
.
c: e
x
tract_affine_f
r
om_access: d
r
op unused
v
a
r
iable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-26
Sven Verdoolaege
ex
p
r
.
c: introduce_access
_
relations: dr
o
p
unus
e
d
variabl
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-26
Sven V
e
rdool
a
ege
expr
.
c: introduce_access
_
r
e
latio
n
s: dro
p
unus
e
d va
r
iable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-26
Sv
e
n Ver
d
oolaege
expr
.
c:
c
onstruct_a
c
cess_relatio
n
: drop unused variables
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-26
Sven Verdoolaege
pet_expr_ac
c
es
s
_set_depth:
drop unused var
i
ables
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-26
Sven Verdoola
e
ge
expr
.
c:
h
as_
r
elevant_a
c
ce
s
s_relations: drop u
n
use
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-26
Sven Verdool
a
ege
scop
.
c: drop unused
pet_imp
l
icat
i
o
n
_emb
e
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-26
Sven V
e
rdoolaege
nest
.
c:
d
r
op unus
e
d
pet_ne
s
ted_remove_fr
o
m_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-26
Sven
V
erdoolaege
emit
.
c
:
emit_na
m
e
d
_unsig
n
ed: call e
m
it_uns
i
g
n
ed in
s
t
ead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-26
Sven Verdool
a
ege
parse
.
c: extr
a
ct_tree: avoid
uni
n
it
i
alize
d
read on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-26
Sven
V
erdoola
e
ge
parse
.
c: ext
r
act_expr: avoid uninitialized r
e
ad
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-18
Sven V
e
rdoolaege
pet 0
.
10
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-18
Sven Verdoo
l
aege
upd
a
te isl to version 0
.
18
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-08
Sven Verdoolaege
tree2sc
o
p
.
c: directly
inc
l
ude required headers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-08
Sv
e
n
Ve
r
doolaege
t
r
ee
.
c: directly
i
nclude required headers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-08
Sven Verdoolaege
skip
.
c: dire
c
tly in
c
lude
r
equire
d
header
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-08
Sven Verdoola
e
ge
scop
.
c:
d
irectly include required headers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-08
Sve
n
Verdoolaeg
e
print
.
c: direc
t
ly
i
ncl
u
de required headers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-08
Sven Ve
r
doolaege
parse
.
c:
direc
t
ly inclu
d
e
required headers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-08
Sven Verdoola
e
ge
nest
.
c:
directly inc
l
ude required header
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-08
S
v
en
V
er
d
oolaege
expr
.
c: directly include required header
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-08
Sve
n
Verdoolaege
emit
.
c
:
d
irectl
y
include required headers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-08
Sven V
e
rdoolaege
af
f
.
c: di
r
e
c
t
ly inclu
d
e required header
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-11-23
Sven V
e
rd
o
o
laege
pet_s
c
op_from_pe
t
_
t
r
ee:
t
ake
into account
a
s
s
u
mptions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-11-15
Sv
e
n
V
e
r
d
oolaege
scop
.
c: s
t
m
t_
e
xtract_context: extract out pet
_
stmt_as
s
ume_ge
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-11-15
S
ven Ver
d
oolaeg
e
privat
e
ly export pet_st
m
t_is_affine
_
ass
u
me
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-11-15
S
ven Verdoolaege
pet_tre
e
_i
s
_aff
i
n
e_assume: return isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-11-07
S
v
en Verdool
a
eg
e
p
et_check_code: u
s
e
p
et_scop_get_schedule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-11-07
Sven Verdoolaege
P
etScan:
:
scan:
detect and
r
e
p
ort un
b
alanced pai
r
s of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-11-07
Sven Verdoo
l
aege
ScopLoc: kee
p
track of
S
ourceLocations of s
c
op and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-11-07
S
ven Verdoolaege
t
r
ee2scop
.
c: tr
e
e_
i
s_decl: d
o
not trea
t
empty block
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sven V
e
rdoolaege
m4/ax
_
detect_
c
lang
.
m4:fix des
c
r
iption of SETLANGDEFAULTS_T
A
K
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sve
n
Verdoola
e
ge
m4/ax_de
t
e
c
t_
c
lang
.
m4: i
m
p
r
o
v
e detection o
f
5-argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sven
Ver
d
o
o
laege
update isl for support for recen
t
cl
a
n
gs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sven
V
erdoo
l
aege
pet
.
cc: up
d
ate to Compi
l
erInvoc
a
t
ion::setLangDefaults
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sv
e
n Verdoolaege
u
p
date
i
s
l fo
r
suppor
t
f
o
r
recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-06
Sven
Verdoolaege
u
p
date isl to
version 0
.
17
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-03
Sven Verd
o
olaege
pet 0
.
09
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-03
Sven Verdool
a
eg
e
update is
l
to version
0
.
17
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-26
Sven Ver
d
oolaege
README: up
d
ate latest re
l
ease
o
f
clang
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-26
Sven Verdoolaege
stop creating fake De
c
lR
e
fExpr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-26
Sven Verdoolaege
scan
.
cc: extract
_
array: d
r
op redundant loca
l
var
i
able
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-26
Sv
e
n Verdoolaege
sca
n
.
h: drop spu
r
iou
s
semic
o
lon after namespace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-23
Sve
n
Verdoolaege
support
__builtin_assume
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-23
Sven
Verdoolae
g
e
PetSca
n
::ext
r
act_exp
r
:
extract
o
u
t is_assume
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next