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
split OP_BR between unconditional & conditional: OP_CBR
2017-03-06
Luc Van Oostenryck
split OP_BR
between uncondi
t
ional &
conditional
:
OP_CBR
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-03-03
Luc Van
O
o
s
t
enryc
k
fix
size o
f
loaded bitfields
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-03-03
Luc Van Oosten
r
yck
fi
x
usage in si
m
p
li
f
y_seteq_setne()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-03-03
Luc Van Oos
t
enryck
ign
o
re whole-range over
l
apping initializer
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-03-03
Luc
V
a
n Oo
s
te
n
ry
c
k
fi
x
checking o
f
o
verla
p
pin
g
ini
t
ializer
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-03-03
Lu
c
Van
O
ostenryc
k
a
llow to warn on all overla
p
p
ing initialize
r
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-03-03
Luc
V
an
Oostenryck
add t
e
st c
a
se for war
n
ings
a
bout overlapping ini
t
iali
z
ers
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-03-03
L
u
c Va
n
Oostenryck
u
se opti
o
n
: '-Woverride-
i
nit'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-03-03
Edwa
r
d Cree
Allow casting to
a
re
s
t
r
icted type if !restricted_val
u
e
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-03-03
Lu
c
Van Oostenry
c
k
make -Wbitwise operational again
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-27
Luc Van Oos
t
enryck
add missin
g
brac
e
s around FO
R
_EACH_PTR loop
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-26
Luc Van Oostenryck
fix expansion cost
o
f pure functions
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-23
Luc Van
Oostenryck
CSE:
a
void hashing
re
m
o
v
e
d
i
nstructions
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-23
Luc
V
an Oost
e
nryck
CSE: us
e
commutat
i
vit
y
to i
d
entify equiv
a
lent inst
r
u
c
tions
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-23
Luc Van
O
ost
e
nryck
CSE: add
tes
t
cases fo
r
compari
s
on
s
dua
l
ity
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van O
o
stenryck
simplify float-to-float casts th
a
t d
o
esn't chan
g
e size
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
L
u
c
Van Oostenr
y
ck
fi
x
O
P_PHI u
s
a
ge i
n
t
r
y
_
to
_
simplify_bb()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oostenryck
use kill_instruction() whe
n
k
i
lling any i
n
structions
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc V
a
n
O
os
t
enr
y
ck
use kil
l
_instruction() when
killing an OP_
P
HI durin
g
CSE
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oo
s
tenryck
fix ki
l
l
i
ng of rewritte
n
loads
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc
V
an O
o
stenryck
add
killing of stor
e
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Lu
c
Va
n
O
osten
r
yck
add kill
i
ng of n
o
n-volatile l
o
ads
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Lu
c
Van Oostenryc
k
fix k
i
l
l
ing OP_CAL
L
via poi
n
t
e
r
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Lu
c
Van Oostenryck
add killing of pure calls
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oostenr
y
ck
kill
_
instruction() may need to b
e
for
c
ed or
n
ot
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
L
u
c Va
n
Oost
e
nryck
fix
k
i
lling of o
t
her
w
ise not-handled instruc
t
i
ons
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oostenryck
remove
unused
c
lear_phi()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc
V
an Oostenryck
fix c
l
ear
_
phi(), rep
l
ace i
t
by kil
l
_instruction
(
)
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oostenryck
fix
killing
o
f OP_PHIs
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Lu
c
Va
n
Oostenryck
add helpe
r
k
i
ll_us
e
_l
i
st()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oostenry
c
k
add killing of OP_P
H
ISOURCEs
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
L
uc Van
O
ostenryck
a
dd killing of OP_S
L
ICEs
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oostenryck
fix show-par
s
e()'s lab
e
ls
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc
V
an
Oostenryck
r
e
move
u
n
used field
'go
t
o
_
bb'
in
s
tru
c
t statement
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oo
s
t
enryck
remov
e
unused
field 'multijmp
'
in stru
c
t statement
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van
O
o
stenryck
cle
a
nup:
there is n
o
'struct phi' to a
l
lo
c
ate
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Va
n
Oostenryck
tes
t
suite: quieter error reporting for
'known-to-fai
l
'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oostenryck
testsuite:
allow
q
uie
t
er error reporting
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenry
c
k
testsuite: get 'check-known-to-fail
'
earlier
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
testsu
i
te: use '
e
r
r
or' in
s
t
e
ad of 'i
n
fo' for successfu
l
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an
O
ostenryck
testsuite: check th
e
n
b
r o
f
times
a
pattern
s
hou
l
d
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oostenryck
t
e
stsuite: add some selfc
h
e
c
king
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenr
y
ck
testsuite
:
c
heck
patterns presence or absence in output
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
all
o
w
t
o
launch the test
suit
e
f
rom the
p
roje
c
t root dir
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
stenryck
tests
u
i
te
:
r
eport as error te
s
t
s
k
nown
to f
a
i
l but
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
testsuite: a
d
d tag to ig
n
ore the output/error
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oostenryck
te
s
tsuite: a
d
d a
simple test for -Wenum-mismatch
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c
V
an Oostenryck
tes
t
su
i
te
:
s
im
p
l
i
fy the ioc-typecheck case
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
testsu
i
te: make tests known to fail
e
f
f
e
ctively fa
i
l
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van Oostenryck
te
s
tsuite:
g
i
ve
a
pr
o
per name to the 'bi
n
ar
y
-c
o
n
s
tant
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
O
ostenr
y
ck
expand __
b
uilt
i
n_bswap*
(
)
with co
n
st
a
nt ar
g
s
Based-on-patch-by:
Christopher Li
<sparse@chrisli.org>
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van
O
ostenryck
l
et
i
den
t
i
cal symbol
s
sha
r
e th
e
ir
evaluate/expand m
e
tho
d
s
Originally-by:
Christopher Li
<sparse@chrisli.org>
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
O
o
ste
n
ryck
move
evalua
t
ion
&
e
xpa
n
sion o
f
b
uiltins in
a
s
eparate
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n Oos
t
enryck
ad
d
suppor
t
for LLP64 arch
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenr
y
ck
simp
l
ify '
(
x |
|
x)
'
and '(x
&&
x)'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van Oostenryck
s
i
mplify comparisons follo
w
e
d by an equa
l
ity t
e
st against
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oos
t
enryck
add warning option '-
W
tauto
l
ogical-compare'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oos
t
enryck
si
m
plif
y
'(x
op x)' to '0', '1' or
'
x'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
a
n O
o
stenryck
simplify '(x || 1
)
'
to
'1'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
s
t
enryck
s
i
m
plif
y
'~(~x)' and '-(-
x
)' to 'x
'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
simplify '(x % 1)' i
n
to '0
'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
stenryck
simplify
'(x / -1)' t
o
'-x'
(but only
for signed
division)
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oosten
r
yck
simplify
'
(x
* -1)' to '-x
'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Ooste
n
r
yck
simplify '(x /
1
)
' t
o
'x'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
move OP_MUL
simp
l
ification in a separate functio
n
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
de
f
ine __LONG_M
A
X
_
_ & __SIZEOF
_
POINTER__
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenry
c
k
a
d
d an helper for common predefined macros
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oost
e
nryck
define __LP6
4
__ & _LP64 if arch
_
m64 i
s
enabl
e
d
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
fix killin
g
OP
_
SETV
A
L
i
nstru
c
tions
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryc
k
remov
e
'Escap
e
'
from token character class
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
osten
r
y
ck
wa
r
n
on unknown escapes after preprocess
i
ng
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oostenryck
add t
e
stcase
f
or wrong early e
s
cape
co
n
versi
o
n
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Ooste
n
ryck
remove unus
e
d arg in uses/def
s
f
u
nctions
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oost
e
nryck
va
l
idate expression's
typ
e
i
n
co
n
ditionals
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
stenryck
add helper: is_scalar_type()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van
Oostenr
y
ck
fix conditional cont
e
xt test case with v
o
id
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
V
a
n Oostenryck
cleanup
kill_
i
nstruc
t
i
on(
)
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oos
t
e
n
ryck
exp
l
icitely ignore kill
i
ng
OP_
E
N
T
RY
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n Oostenryck
fix killi
n
g
O
P
_COMPUTE
D
GOTO
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van O
o
stenryck
fix killing OP_SELECT
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oos
t
enryck
f
i
x
killing OP_CAS
T
&
frie
n
ds
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oostenryc
k
f
i
x ki
l
ling
O
P
_PHI instru
c
tions
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van Oostenryck
k
i
ll uses of repla
c
ed instructions
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van
Oostenryc
k
fix crash while t
e
sting between conditional &
u
nconditional
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Ooste
n
ryck
fix
c
ast's target type info
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
stenryck
C
1
1: teach sparse about '--std
=
{c11,
g
nu1
1
}'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
stenryck
C11: teach
s
parse abo
u
t
'_Alignas()'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van Oo
s
tenr
y
ck
C11: teac
h
sparse about '_Alignof()'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc
Van Oostenr
y
ck
C11: t
e
ach spa
r
se abo
u
t '_
N
oreturn'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oostenryck
C11: teach
s
pars
e
ab
o
ut '_T
h
rea
d
_local'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oo
s
tenr
y
ck
fix
valu
e
of
label st
a
tement
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Va
n
O
o
s
t
enr
y
c
k
mis
s
in
g
l
o
ad simplification
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oostenryck
f
i
x phisrc
mixup
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oostenryck
f
i
x su
p
erfluous phisrc
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
o
stenry
c
k
volatile loads
m
us
t
not be simplified
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oo
s
t
e
nryck
uns
s
a: upda
t
e comment abou
t
the unne
e
ded cop
i
es
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Ooste
n
ryck
un
s
sa: eli
m
i
n
at
e
tri
v
i
a
l
phisrc copie
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oostenryck
unssa: tr
y
to avoid some OP_PHI copies
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oostenryck
unssa: simplify rewrite of OP_P
H
I
SOURCE
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oostenryc
k
unssa: do not
t
r
y to update liveness
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
next