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 stores
2017-02-16
Lu
c
Van Oostenryck
add
k
il
l
ing of st
o
res
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oo
s
tenr
y
ck
add
k
illing of non-volatile load
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oostenryck
fix ki
l
ling OP_
C
A
LL via pointers
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc
Van
O
ostenryck
add killing of
pur
e
calls
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc V
a
n Oostenry
c
k
kil
l
_instruction()
m
ay
need to
b
e
forced or
not
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc
V
a
n Oo
s
tenryck
fix killi
n
g of otherwis
e
not-handled
instructio
n
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
L
u
c Van Oostenryck
remove unused clear_phi()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van
O
ost
e
nryck
fix
clear_phi(), r
e
plac
e
i
t
by k
i
ll_instructio
n
()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc V
a
n
Oos
t
e
n
ryck
fix killing o
f
O
P_PHIs
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
L
uc Van Oo
s
t
e
nryc
k
add helper kill_use_list(
)
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oostenry
c
k
add kil
l
ing of
O
P
_
PHISOU
R
CEs
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oo
s
tenryck
add kil
l
ing o
f
OP_SLI
C
Es
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oostenryck
fix show-parse()
'
s labels
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc V
a
n
Oost
e
n
ryck
remov
e
unus
e
d field
'
got
o
_bb
'
in stru
c
t
stat
e
ment
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oostenryck
remove unused field 'm
u
ltijmp'
i
n st
r
uct statem
e
nt
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Lu
c
Va
n
O
oste
n
r
y
ck
cleanup: t
h
er
e
is no 'stru
c
t phi' to all
o
cate
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oostenryck
testsuite
:
quieter error
reporting fo
r
'known-to-fa
i
l'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
o
stenryck
testsuite: allo
w
q
u
i
eter e
r
r
or reporting
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
te
s
tsu
i
te: get 'check-known-to-fail
'
ea
r
lier
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
stenryck
tests
u
i
te: use 'error' instead
of 'in
f
o' f
o
r su
c
ce
s
sful
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
tes
t
suite: check the nbr of
t
imes
a
patte
r
n shou
l
d
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oostenryck
t
estsuite: add some s
e
l
fcheck
i
ng
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Va
n
Oostenryck
tes
t
sui
t
e: ch
e
ck patterns presence
o
r absence in o
u
tput
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
a
n Oo
s
t
e
nryck
al
l
ow to launch the t
e
st suite from the proj
e
c
t root
dir
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van Oostenryck
testsuite:
r
eport as error
t
ests known
t
o fail but
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oostenryck
t
es
t
suit
e
:
a
dd
t
ag
to ignore th
e
output/
e
rror
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
testsuite: add a sim
p
le
test for -Wenu
m
-m
i
smatch
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oostenryc
k
testsuite: simplify the ioc-typ
e
chec
k
case
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oostenr
y
ck
t
ests
u
ite
:
ma
k
e test
s
kno
w
n to
f
ail effectively fail
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van Oostenryck
t
e
stsuite: give a proper na
m
e
to the 'binary-c
o
nstan
t
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Ooste
n
ryck
expan
d
__builti
n
_bswap*() with co
n
stan
t
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 Van Oostenry
c
k
l
et
identical sym
b
ols share th
e
ir
evaluate/exp
a
n
d
meth
o
ds
Originally-by:
Christopher Li
<sparse@chrisli.org>
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
move e
v
aluation & e
x
p
ans
i
on of builtins in a se
p
arate
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oosten
r
y
ck
add
s
uppor
t
for LLP64
arch
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oos
t
e
nryck
simplify '(x || x)
'
a
n
d
'
(
x && x
)
'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oo
s
ten
r
yck
s
i
mplify compari
s
ons
followed by an eq
u
ality
t
est a
g
a
i
nst
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oos
t
e
nryck
add
w
arning option '-Wta
u
tologi
c
a
l
-compare'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Ooste
n
r
y
ck
simplify '(x op x)' to '0', '1' or 'x'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Va
n
Oostenryck
simplify '(x || 1)' to '1'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oos
t
enryck
simpl
i
fy '~(~x)'
an
d
'-(
-
x)' to 'x'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van Oostenry
c
k
s
imp
l
if
y
'(x % 1)' in
t
o '0'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oos
t
enryc
k
simplify
'
(x / -1)' to
'
-x' (b
u
t only for signed division)
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oostenryck
simplify '(x *
-1)
'
t
o
'
-x
'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
oste
n
ryck
sim
p
lif
y
'(x
/ 1
)
' to 'x'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Ooste
n
ryc
k
m
o
ve OP
_
MUL simp
l
ifica
t
ion
i
n a separate func
t
ion
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
a
n
Oostenryck
define __LONG_MAX__
& __SI
Z
EOF_
P
OINTER__
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n Oostenr
y
c
k
add
a
n help
e
r for c
o
mmon predefined
m
a
c
r
o
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van Oo
s
tenryck
defin
e
__LP6
4
__ & _LP
6
4 if arch_m64 is
en
a
b
led
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
fix
k
il
l
ing OP_SETVAL instr
u
ctions
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c
V
a
n Oostenryck
rem
o
ve 'E
s
c
ape' fro
m
token chara
c
ter cl
a
ss
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Va
n
Oo
s
t
enryck
warn on unknown
esc
a
pes af
t
er
prepr
o
cessing
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc
V
an Oostenr
y
ck
add
t
es
t
c
ase for wrong
early escape conv
e
rsion
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
re
m
ove unused arg in uses
/
defs
functi
o
ns
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oo
s
t
e
nryck
validat
e
ex
p
ression's type
in conditio
n
als
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Ooste
n
r
yck
a
d
d help
e
r: i
s
_sca
l
ar
_
type
(
)
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oostenryc
k
fix cond
i
tional context test
c
a
s
e wit
h
void
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
ste
n
ryck
cleanup kill_instruction(
)
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oostenr
y
ck
e
x
p
l
i
citely ignore kil
l
i
ng OP_ENTRY
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
os
t
en
r
yc
k
fi
x
kill
i
ng O
P
_COMPUTEDGOTO
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n O
o
s
tenryck
f
i
x
k
ill
i
ng OP
_
SELECT
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
f
i
x killin
g
OP_CAST
&
friends
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
V
a
n Oos
t
en
r
yck
fix ki
l
ling
O
P_PHI
instruct
i
ons
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n Oostenryck
kill uses of replaced
i
n
s
truct
i
ons
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n Oosten
r
yck
f
i
x crash while
t
esti
n
g betw
e
en conditional
& unc
o
nditional
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc
Van Oosten
r
y
ck
f
ix c
a
s
t
's
t
arget type
i
nfo
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oost
e
nryck
C1
1
: teach sparse about '--s
t
d=
{
c11
,
gnu11}'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van
O
ostenryck
C11: teach sparse abou
t
'_Aligna
s
()'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
C11:
t
each spars
e
abou
t
'_Al
i
gnof()'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
C11:
t
e
a
c
h
sp
a
rse abou
t
'_No
r
etu
r
n'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oo
s
tenryck
C11: teach sparse a
b
o
u
t
'
_Thr
e
a
d_local'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oos
t
e
nr
y
ck
fix
v
alue of label statemen
t
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oost
e
nry
c
k
m
issin
g
lo
a
d simpl
i
fication
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
fix phi
s
r
c mixup
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Ooste
n
ryck
fix superfluou
s
phis
r
c
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oost
e
nryck
volatile
l
oads mu
s
t not be simplif
i
ed
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n Oos
t
e
nryck
u
n
ssa: upda
t
e co
m
ment ab
o
ut
t
he unneeded copies
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oostenryck
u
n
s
sa: eliminat
e
trivial phisr
c
copies
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c
V
a
n Oostenry
c
k
un
s
s
a
: tr
y
to avoi
d
some OP_PHI copies
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oost
e
n
r
yck
u
n
ss
a
: simplify rewrit
e
of OP_PHI
S
OURC
E
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
unssa: do not try
t
o up
d
ate liveness
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
a
n Oostenryck
f
ix cast t
o
bool
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c
Van Oostenryck
l
lvm:
r
e
move un
n
ee
d
ed OP_
C
OP
Y
sup
p
o
rt
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
l
lvm
:
fix
typing when compa
r
in
g
to a con
s
tant
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
fix t
y
pi
n
g error in
compou
n
d assignmen
t
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oo
s
tenryck
add support for __int128
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oost
e
nr
y
ck
fix
mi
s
s
ing ele
m
ent in types
d
eclaratio
n
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van
O
ostenryck
recursive phi_
d
efines
c
a
nnot ha
p
pen
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oost
e
nryck
cgcc s
h
ou
l
d n
o
t define no
n
-re
s
erved identifiers
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van
Oostenryck
Upd
a
te m
a
intainers in the manpage
CC:
Christopher Li
<sparse@chrisli.org>
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van Oostenryck
some modifiers need to be pr
e
s
e
rved by 'type
o
f()'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
s
t
enry
c
k
tests
u
ite
:
test modifiers preserved
by 'typeof
(
)'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oostenryck
testsuit
e
: test
m
odifi
e
rs pre
s
erved
by
'
&' operator
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
use
a
shorter
na
m
e for fun
c
tion-p
o
inter-modifier-
i
nheritanc
e
.
c
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
testsui
t
e: simpl
i
fy t
e
st funct
i
o
n
-po
i
nte
r
-inheritance
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
stenryck
s
t
orage sho
u
ld not
b
e
inherited by pointers
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oost
e
nryc
k
remove unus
e
d
f
ield
'mu
l
tiju
m
p'
in
str
u
c
t
instruction
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oostenryck
OP_SWITCH shou
l
d use 'insn
-
>cond' inst
e
ad
o
f 'insn
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oos
t
enryck
give c
o
m
p
arab
l
e la
b
el's n
a
mes to
b
asic blocks
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van
O
ost
e
nryck
let "co
m
pile"
n
ot crash on
b
o
ol
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oostenryck
m
ake ptrlist walk
i
n
g
again
s
t robust a
g
a
i
nst
e
m
pty blocks
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
next