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 Verdoo
l
aege
p
et
.
cc: pet_forea
c
h
_scop
_
in_C_
s
o
u
rce: ret
u
rn
i
sl_sta
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-30
Sven Verdoolaege
pet_
e
xpr_
a
ccess
_
p
r
o
ject_
o
ut_arg: improv
e
error handling
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-30
Sven Verdoolaege
pet_e
x
pr_insert_arg: use pet_expr_
a
c
c
e
s
s_ge
t
_do
m
a
i
n
_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-30
Sven Ve
r
doolaege
scop_plus
.
cc:
extract_list:
i
mprove error handling
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-08-29
Sven Verdoolaege
p
e
t
_codegen
.
c: add m
i
ssi
n
g include
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-08-29
Sven Ver
d
oolaege
s
u
m
mary
.
c: a
d
d
m
i
ssing includ
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-08-17
Sven Verdoola
e
ge
c
o
nfigure
.
a
c: drop -gsplit-dwa
r
f from
l
lvm-config
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-06-16
Sven Verd
o
olaege
m4/ax_detect_clan
g
.
m4:
update to
r
efactori
n
g
o
f frontend
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-06-16
Sven Verdoolaege
up
d
ate isl for sup
p
or
t
for recent clangs
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-06-14
S
ven Ve
r
do
o
laege
pet
.
cc: s
e
t_invocation: plug memory
l
eak
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-06-06
Sven
V
erdoolaege
ad
d
back sup
p
or
t
for older
v
e
rsi
o
n
s of
c
lang
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-06-06
Sven V
e
rdoolaeg
e
scan
.
h: add missin
g
includ
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-04
S
v
en V
e
rdoolaege
int
e
rfa
c
e/isl
.
py
.
top: explicitly cast s
e
lf
.
ptr of Con
t
ext
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-04
Sven Ver
d
ool
a
eg
e
i
nterface/pet
.
py:
s
p
e
ci
f
y
a
rgument types of
c
alled
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-04
Sven V
e
rdoolaege
update i
s
l for f
i
xes in pyth
o
n
bindings
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-04
Sven Verdoolaege
update
i
sl for chang
e
in
interface/extra
c
t_inte
r
f
ace
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-03-09
S
v
en Verdoo
l
aege
s
u
ppo
r
t inlin
i
ng of non-outermost
c
all expre
s
sio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-09
Sven Verdoolaege
make
P
etS
c
an::extract_inlined
_
call public
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-09
Sven Verdo
o
l
a
ege
add pet_
i
d_re
t
_
from_ty
p
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-09
Sven Verdoolaege
ad
d
p
e
t_tree_map_top_down
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-09
Sven Verdoolaege
allow return statements in summa
r
y
functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-09
Sven Ve
r
doo
l
aeg
e
pet_tree: s
u
pport
return statements
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-09
S
v
e
n Verdoolaege
pet_inliner
:
:assign: drop
redundant QualType argument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-09
S
v
en Verdoolaege
extract out (
n
early) shar
e
d pet_exp
r
_access
_
f
r
om_i
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-09
Sve
n
Verdoola
e
ge
expr_plus
.
cc:
extract
_
depth: use pet_id_get_array
_
type
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-09
Sv
e
n Verdoola
e
ge
P
e
tScan:
extra
c
t out pet
_
e
x
p
r_access_from
_
index
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-08
Sven
Verdoolaege
pet_scop_collect_arrays: only
collect siblings
of acces
s
e
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-08
Sve
n
Verdoolaege
pet_scop_collect_a
r
rays: consider all accessed dat
a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-08
Sven Ve
r
dool
a
ege
pet_sco
p
_collec
t
_
a
rrays: on
l
y collect
s
ubfields o
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-08
Sven
Verdoolae
g
e
pe
t
_array: e
x
pl
i
citly kee
p
track of whether array
i
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-08
Sven
Verdoolaege
update
t
est case outputs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-08
Sven Verdoolaege
tree
.
c
: fix ty
p
o
i
n
comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-08
Sven Verdoolae
g
e
scop_plus
.
cc: fix typos in comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-08
Sven Verdo
o
laege
support b
i
twise assignment
operator
s
in st
a
tements
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-08
Sven Verd
o
olaege
PetSca
n
::extract_expr(Bi
n
ar
y
Operator *): imp
r
o
ve error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-08
S
ven
Verdoolaege
sca
n
.
h: add missing in
c
lud
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-08
Sven Ve
r
doola
e
ge
scan
.
h: prote
c
t
a
g
ainst multip
l
e incl
u
sions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-07
Sven Verdoolaege
pet
.
cc: update to CompilerInstance::setInvocation ta
k
i
n
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-07
Sven
V
erdoolaege
updat
e
isl for s
u
p
p
o
rt for r
e
cent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-02
Sve
n
Verdoolaege
p
e
t
_
scop_compute_
o
uter_
t
o
_
inner: im
p
ro
v
e handl
i
ng of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-26
Sven Verdoolaege
t
ree2scop
.
c: kill:
d
r
op unu
s
ed var
i
ab
l
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-26
S
v
en Verdool
a
ege
sco
p
.
c: stmt
_
anonymize
;
drop unused variable
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-26
Sven Verdoolaege
sco
p
.
c: expr
_
coll
e
ct_acce
s
ses: drop unused variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-26
Sven Verdoo
l
aege
scop
.
c:
exp
r
_co
l
lect_accesses: drop un
u
s
ed variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-26
Sven
V
erdoolaege
sc
o
p
.
c: expr_col
l
ect_acces
s
es: drop unused varia
b
le
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-26
Sven Verdoolaege
sco
p
.
c: access_collect_param
s
:
d
r
o
p unu
s
ed
v
ariable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-26
Sven
Verdo
o
la
e
ge
scop
.
c: stm
t
_fil
t
er
:
d
rop
unused
v
ariable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-26
S
v
en Verdoolae
g
e
sco
p
.
c:
f
i
lter_
i
m
plied: drop
unus
e
d
v
ari
a
ble
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-26
Sven
V
erd
o
olaege
s
cop
.
c: pet_scop_
r
e
stri
c
t: drop unused variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-26
Sven Verdoolaeg
e
scop
.
c:
s
chedu
l
e_
e
mbed:
drop unus
e
d varia
b
le
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-26
Sven Verdoo
l
a
e
ge
s
cop
.
c: pet_im
p
lication_free
:
drop unused variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-26
Sven Verdoolaege
pe
t
_c
o
d
egen
.
c: set_
o
ptions: drop unus
e
d variables
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-26
Sven V
e
rdo
o
laege
pet_chec
k
_code
.
c: check
_
domain: drop unused va
r
iab
l
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-26
Sven
V
erdoolaege
n
e
st
.
c: pet_stmt
_
resolve_
n
e
sted: drop unused
variables
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-26
Sve
n
Verdoolaege
filter
.
c: pet_filt
e
r
_
insert_pma: drop unused variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-26
Sven Verdoolaege
expr
.
c: extra
c
t_a
f
fine
_
from_access: d
r
o
p
un
u
sed
v
ariable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-26
Sven Verdoolaege
expr
.
c
:
intr
o
duce
_
access_rela
t
i
ons: drop unused va
r
iable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-26
Sven Verdoolaege
expr
.
c: introduce_access_relat
i
ons: dro
p
unused variabl
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-26
Sven Verdo
o
laege
expr
.
c: c
o
n
s
t
r
uct_access_relation
:
dr
o
p un
u
sed vari
a
b
les
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-26
Sve
n
Verdoolaege
p
et_exp
r
_acce
s
s_set_depth: drop unu
s
e
d
var
i
ables
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-26
Sv
e
n Verdoolaeg
e
e
x
p
r
.
c: has
_
releva
n
t_a
c
cess_r
e
la
t
ion
s
: drop unuse
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-26
Sv
e
n Ver
d
oolaege
scop
.
c: drop unused pe
t
_imp
l
i
c
ation_
e
mbe
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-26
Sve
n
Ver
d
ool
a
ege
n
est
.
c:
d
rop un
u
sed pet_n
e
sted_
r
e
m
ove_f
r
om_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-26
Sven Verdo
o
l
aege
emit
.
c: emit_nam
e
d_unsigned:
c
all
e
mit_un
s
i
g
ned instead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-26
Sven Verdo
o
laege
parse
.
c: extract_
t
ree: avoid uninit
i
alized
r
ead on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-26
Sven Verdo
o
lae
g
e
parse
.
c:
extra
c
t_expr:
a
v
o
id
u
ninitialized read on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-18
Sven Verdoolaeg
e
pet 0
.
10
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-18
Sven Verdoolaege
update isl
t
o vers
i
on 0
.
1
8
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-08
S
ven Verdoolaege
tr
e
e2sc
o
p
.
c: direc
t
ly include required headers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-08
Sve
n
V
erdoolae
g
e
tree
.
c:
d
irect
l
y
i
nclude required headers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-08
Sven Verdoolaege
skip
.
c: d
i
rectly i
n
c
lude requ
i
red headers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-08
S
v
en Ve
r
dool
a
ege
scop
.
c:
directly i
n
clud
e
r
e
qui
r
e
d
he
a
ders
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-08
S
v
en
Verdoolaege
print
.
c: di
r
e
c
tly include
r
eq
u
ired
h
eaders
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-08
Sven Verdo
o
lae
g
e
pars
e
.
c: directl
y
include requ
i
red h
e
ade
r
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-08
Sv
e
n Verdoolae
g
e
n
est
.
c: directly
i
nclude r
e
quired headers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-08
Sven Ver
d
oo
l
aege
exp
r
.
c: directly
i
nclude requir
e
d headers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-08
Sve
n
Verdoolaege
e
mit
.
c: dir
e
ct
l
y incl
u
de
re
q
uired
he
a
d
ers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-08
Sven Verdoolaege
a
ff
.
c: dir
e
c
t
ly
in
c
l
u
de requir
e
d he
a
ders
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-11-23
Sven Verdoolaege
p
et_scop_from_pet_tree: take into account assum
p
t
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-11-15
Sven Verdool
a
ege
sc
o
p
.
c: stmt_extra
c
t_
c
ontext:
e
xt
r
act out pe
t
_stmt_assume_ge
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-11-15
Sven Verdoola
e
ge
privately exp
o
rt pet_stmt_is_
a
ff
i
ne_assume
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-11-15
Sven
Verd
o
o
l
a
e
ge
pet
_
tree_is_affine_assum
e
:
ret
u
rn isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-11-07
Sven
V
erdool
a
ege
p
et_chec
k
_code:
u
se pet
_
sc
o
p_get
_
schedule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-11-07
Sven Ver
d
oo
l
aege
PetScan::
s
can:
d
etect and report unbalanced pa
i
rs
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-11-07
Sven Verdo
o
laege
Sco
p
Loc: k
e
ep
t
r
a
ck of SourceLocation
s
of scop a
n
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-11-07
Sven Verdoo
l
aege
t
ree2scop
.
c:
tree_is_decl: do
n
ot tre
a
t
empty block
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sven
Verdoola
e
g
e
m4/ax_detect_clang
.
m4:fix description of
S
ETLANGDEFAULTS_
T
AK
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sven Ver
d
oolaege
m4/
a
x
_
d
e
tect_c
l
ang
.
m4: improve detection of
5-argume
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sven Verd
o
o
l
aege
u
p
date isl
f
or support for
r
ecent cla
n
gs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sven Verdoola
e
ge
p
et
.
cc: upda
t
e to
Compi
l
e
rInvo
c
ation:
:
s
etLangDefaults
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
S
ven Verd
o
olaege
update isl for support for re
c
ent cla
n
gs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-06
Sv
e
n Verdoo
l
ae
g
e
upda
t
e
isl to vers
i
on 0
.
17
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-03
S
ven Verdoolaege
pet 0
.
0
9
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-03
Sven Verdoo
l
a
e
ge
update isl
t
o
ve
r
sion 0
.
17
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-26
Sven V
e
r
doola
e
ge
README: update latest relea
s
e of cla
n
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-26
Sve
n
Ve
r
d
oolaege
stop creating fake
DeclRefExp
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-26
Sven
Verdoo
l
aeg
e
scan
.
cc
:
extrac
t
_
a
rray:
drop r
e
dundant local variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-26
Sven
V
erdoolaege
s
c
an
.
h: drop spurious
semicolon after n
a
m
e
s
pace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-23
Sven Verdool
a
ege
support __b
u
iltin_a
s
sume
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-23
Sven Ve
r
doola
e
ge
PetScan::e
x
t
r
act
_
expr: extract
o
u
t is_assume
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next