repo.or.cz
/
smatch.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
add killing of non-volatile loads
2017-02-16
Luc V
a
n Oosten
r
y
ck
add
k
illing
of non-v
o
lat
i
le
loads
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
L
u
c Van
O
ostenryck
fix k
i
lli
n
g OP
_
CALL via p
o
inters
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc V
a
n Oosten
r
y
c
k
ad
d
ki
l
ling
of p
u
r
e cal
l
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van
Oostenryck
kil
l
_i
n
st
r
uction() m
a
y need
t
o be
f
orced or not
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc V
a
n
O
ostenryck
f
i
x ki
l
ling of otherw
i
s
e
not-handl
e
d instructio
n
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc V
a
n Oosten
r
yc
k
remove
unus
e
d cle
a
r_phi()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
L
u
c Van Oostenryc
k
fix
cl
e
ar_ph
i
(), replace it by kill_instruction(
)
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Ooste
n
ryc
k
fix killing of OP_PHI
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oostenryck
add helper
k
ill
_
use_list()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
L
uc Van Oostenr
y
ck
add
k
i
l
ling of O
P
_
P
HISOURCEs
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc
V
a
n
O
o
s
tenryck
add ki
l
l
ing of OP_SL
I
CEs
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oos
t
enryck
fix show-parse()'s
l
abels
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oo
s
tenryc
k
rem
o
ve
u
n
used
f
ield 'goto
_
bb'
i
n
s
truct stateme
n
t
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oostenryck
remo
v
e u
n
used field 'mu
l
tijmp' in struct st
a
teme
n
t
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oost
e
nryck
cl
e
anup: there is no
'struct phi' to al
l
o
c
a
te
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
testsuite:
quieter error reporting
f
o
r
'known
-
to-f
a
il
'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenry
c
k
t
e
s
t
suite: a
l
l
ow
q
uieter error
r
eporting
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oost
e
nryck
t
e
stsuit
e
: ge
t
'check
-
known-to-fail' earlier
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
ostenryck
testsuite: us
e
'error
'
instead
o
f 'info'
f
or successful
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oos
t
enryck
tes
t
suite: check the nbr of times a pattern sh
o
uld
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van Oostenryc
k
testsui
t
e: add some se
l
fcheckin
g
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
o
ste
n
ryck
testsui
t
e: ch
e
c
k
patterns presence or
a
bsen
c
e in ou
t
p
ut
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oos
t
enryck
allow to lau
n
ch t
h
e test
s
uite f
r
om th
e
p
r
oject
r
o
ot dir
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oostenryck
testsu
i
te: report a
s
error t
e
sts known
t
o
fail
but
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oost
e
nryck
te
s
tsuit
e
: add tag
t
o i
g
nore the output/er
r
or
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
tests
u
ite:
add a simple test for -
W
enum-mismatc
h
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oo
s
tenryck
t
estsuite: simplify th
e
ioc-ty
p
echeck case
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oost
e
nryck
testsuit
e
:
m
ake tests known to fail
effectiv
e
ly fail
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an O
o
s
t
enryc
k
testsui
t
e:
g
i
ve a proper name to the 'b
i
nary
-
constant
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenry
c
k
expand _
_
built
i
n_b
s
w
ap*(
)
wit
h
con
s
tant args
Based-on-patch-by:
Christopher Li
<sparse@chrisli.org>
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oostenryck
let ide
n
ti
c
al s
y
mbols s
h
are their evaluate/expand methods
Originally-by:
Christopher Li
<sparse@chrisli.org>
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryc
k
move evaluat
i
on & expan
s
ion of
builtins in a separate
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van Oostenryck
add suppo
r
t for LLP64 arch
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oo
s
ten
r
y
c
k
simpl
i
f
y '(x
|| x)' and '(x && x)'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
ostenryck
simplify compariso
n
s
f
o
l
lowed b
y
a
n
e
q
ual
i
t
y test
agains
t
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van O
o
s
tenryck
add warning option '-Wtautol
o
gica
l
-compare'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
simpli
f
y '(x op x)'
t
o
'0', '1' or 'x'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oostenryck
simplify '(x || 1)' t
o
'1'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Va
n
Oostenryck
s
i
mplify '~(~x)' and '-(-x)'
to 'x'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oostenryck
simplify '
(
x % 1)' into '0'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Ooste
n
ryck
sim
p
li
f
y '(x
/ -1)' to '-x' (but
only
f
or
s
igned division)
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oo
s
tenryck
s
i
mplif
y
'(
x
* -1)' to '-x'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
simplify '(x / 1)
'
to
'x'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n Ooste
n
ryck
move OP_MUL simplification in a separate fun
c
tion
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
ostenryck
define __
L
O
NG_MAX
_
_
&
__SIZEOF_POI
N
TER__
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
V
a
n Oosten
r
yck
add a
n
helper for
common p
r
e
d
efined ma
c
ros
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Ooste
n
r
yc
k
define
_
_LP64__ & _LP64 if arch_m64 is en
a
bled
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
a
n Oos
t
enryck
fix kil
l
ing OP_SET
V
A
L
inst
r
uctions
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c
V
an Oostenryck
remove 'Escape' from tok
e
n ch
a
racter class
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oo
s
t
enryc
k
wa
r
n on
u
nknow
n
e
scape
s
after preprocessing
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
o
ste
n
ryck
a
d
d testcase for
wrong early
escape conversion
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
re
m
ove un
u
sed arg in use
s
/defs functions
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
stenryck
val
i
date expression's type in condition
a
ls
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oo
s
tenryck
add hel
p
er: is_
s
c
alar_t
y
pe(
)
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oost
e
nr
y
ck
f
ix condi
t
i
o
nal
c
ontext test
c
a
s
e with vo
i
d
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
os
t
enryck
clea
n
up k
i
ll
_
inst
r
uc
t
ion()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oostenryck
e
xplici
t
ely ignore ki
l
ling
OP_E
N
TRY
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van
Oo
s
tenryck
fix killing OP
_
C
O
MPUTE
D
GOTO
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
ste
n
ryc
k
fix killing OP_SELEC
T
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oost
e
nryck
fi
x
killing OP_CAST & frie
n
d
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
fix killing OP_PHI i
n
st
r
uctions
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Va
n
Oos
t
enryck
kil
l
u
s
es of r
e
p
l
aced
i
nst
r
uc
t
io
n
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c
Van Oostenryck
f
i
x
crash
w
hile testing between conditional
&
unconditional
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oos
t
enryck
fix
cast's target
type info
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oo
s
t
e
nryck
C11:
teach spars
e
a
bout '
-
-std={c11,gn
u
11}'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
ost
e
nr
y
ck
C11:
t
each sparse
a
b
out '_Alignas
(
)'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oos
t
en
r
yck
C11
:
teach sparse about
'
_Alignof()'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
C1
1
:
t
each sp
a
rs
e
abou
t
'_No
r
eturn'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n
O
ostenryck
C
1
1
: teach
spar
s
e
a
bout '_Thr
e
ad
_
local'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oo
s
tenryck
fix
v
alue o
f
lab
e
l stat
e
ment
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
missin
g
load
simplif
i
cat
i
on
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oosten
r
y
ck
fix
p
hisrc mixup
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oosten
r
yck
fix superflu
o
us phisrc
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
stenryc
k
volat
i
l
e loads must not
be simpl
i
f
i
ed
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oostenryck
un
s
sa: update c
o
mm
e
n
t a
b
out
t
h
e
u
nneede
d
copies
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
st
e
nryck
unss
a
:
elimin
a
t
e
t
r
ivial
phis
r
c
copies
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
unssa: try to avoid som
e
OP_PHI copies
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
u
nssa: simplify rewrite of OP_PHISOURCE
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Ooste
n
r
yck
u
n
ssa: do not try to update liveness
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oostenryck
fi
x
cast to bo
o
l
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryc
k
llvm: remov
e
unneeded OP_COPY support
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oostenryck
llvm
:
fix typing w
h
en c
o
mpari
n
g t
o
a
co
n
stant
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oo
s
tenryck
fix typin
g
error in compo
u
nd a
s
signment
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c
V
an Oostenryc
k
a
d
d
sup
p
ort f
o
r __int128
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oos
t
enryck
fi
x
missing el
e
ment
in types declaration
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oostenry
c
k
r
e
c
u
rsive phi_defines ca
n
not
h
appe
n
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oos
t
en
r
y
ck
cgcc s
h
ould n
o
t define non
-
reser
v
ed
iden
t
ifiers
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oost
e
nr
y
ck
Up
d
ate maintainers in the
m
anpage
CC:
Christopher Li
<sparse@chrisli.org>
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oo
s
te
n
ry
c
k
some
modifi
e
rs need to
be pr
e
served b
y
'type
o
f()'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
O
ostenr
y
ck
testsuite: test mod
i
fiers pre
s
erve
d
by 'ty
p
e
of()'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n Oostenryck
te
s
tsuite: t
e
st
m
odifie
r
s
p
reserve
d
by
'&'
operator
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
os
t
enryck
us
e
a shorter na
m
e for f
u
nction-pointer-
m
odifie
r
-
i
nhe
r
itance
.
c
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oostenry
c
k
testsuite: s
i
mplify
t
est function-
p
ointer-i
n
heritance
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van O
o
stenryck
sto
r
a
g
e should not be
inh
e
rited
b
y pointer
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
stenryck
remove unused
f
i
eld 'multijum
p
'
i
n stru
c
t
instruction
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Ooste
n
ryck
OP_SWITCH sho
u
l
d
us
e
'i
n
sn->
c
ond' ins
t
ead of 'i
n
sn
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
V
a
n Oo
s
tenryck
give comparable label's
names to basic blocks
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n Oostenr
y
ck
l
e
t
"c
o
mpil
e
" not crash on bools
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oos
t
enryck
m
a
ke ptrlist wal
k
i
ng against robu
s
t
against e
m
pty block
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Emily
Maier
valid
a
tion: Check C99 for loo
p
variables
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
next