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
fix usage in simplify_seteq_setne()
2017-03-03
Luc V
a
n Oosten
r
yck
fix
usage
i
n s
i
mp
l
ify_seteq_setne()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-03-03
L
u
c Va
n
Oost
e
nryck
ignore whole-
r
a
n
ge
o
verlapping init
i
a
lizer
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-03-03
Lu
c
Van Oostenryck
f
i
x check
i
ng of o
v
e
rl
a
pping initia
l
izer
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-03-03
Luc Van Oostenryck
allow to warn on a
l
l overl
a
pping ini
t
ializers
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-03-03
Luc Van Oostenryck
add te
s
t case for w
a
rning
s
about overlappin
g
initializers
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-03-03
Luc Van Oo
s
ten
r
yck
use option: '-Woverride-init'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-03-03
Edward C
r
ee
Allow c
a
sting t
o
a
r
e
s
tricted type if !restricte
d
_val
u
e
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-03-03
Luc V
a
n Oostenryck
m
ak
e
-Wbitwise operational again
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-27
Luc
Van
Oostenr
y
ck
add missing
braces
a
ro
u
nd FO
R
_EA
C
H
_
PTR loop
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-26
Luc Van
O
o
s
t
en
r
yck
f
i
x e
x
p
ansion cost of pure funct
i
ons
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-23
Luc Van Oostenryck
C
S
E
:
avo
i
d hashing removed ins
t
ructions
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-23
Luc Van Oostenry
c
k
C
S
E
:
us
e
c
o
mm
u
t
a
t
i
vity
to identify equivalent ins
t
ructi
o
ns
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-23
L
u
c V
a
n Oostenryck
CSE:
a
dd
test c
a
s
e
s
for compar
i
sons
dual
i
t
y
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oostenry
c
k
simplify flo
a
t-to-float casts
t
hat doesn't change size
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Lu
c
V
a
n Oostenryck
fix OP_PHI
usage in try_to_simplif
y
_bb()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc
V
an O
o
stenryck
use
k
ill
_
instruc
t
ion() when
killing
a
ny in
s
truct
i
ons
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oostenryck
use
k
i
ll_instruc
t
ion() when killing a
n
OP_PHI dur
i
ng CSE
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc V
a
n Oostenryck
fix killing of rewritten load
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
L
uc Va
n
Oo
s
tenry
c
k
add killing of store
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
L
uc Van Ooste
n
r
y
c
k
a
d
d killing o
f
non-vo
l
a
tile loads
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc
Van Oostenry
c
k
f
i
x killing OP_CALL via pointers
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oost
e
nry
c
k
a
dd
killing of pure calls
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Lu
c
Van Oostenryck
kill
_
instruction() may need t
o
be for
c
e
d
or not
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc
V
an O
o
stenryck
f
ix killi
n
g of othe
r
wise
not-handled instructions
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc
V
a
n Oost
e
n
ryck
r
emove unused clear_phi(
)
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van
O
os
t
en
r
y
c
k
fix
clear_phi()
,
r
epla
c
e it by
k
ill_i
n
structi
o
n
()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oost
e
nryc
k
fix kil
l
ing of OP_PHIs
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oost
e
nryck
ad
d
hel
p
e
r kill_use_
l
ist()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
L
uc Van Oostenryck
add kill
i
n
g of
OP_PHISO
U
RCEs
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oostenryck
add killin
g
of OP_S
L
IC
E
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Lu
c
Van
Oost
e
nryck
fi
x
show-parse()'s
labels
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc
V
an Oos
t
enryck
rem
o
v
e
unused field 'goto_b
b
' in struct sta
t
e
m
ent
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oost
e
nryck
remove unuse
d
field 'multijm
p
'
in struct s
t
atement
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oostenryc
k
clean
u
p
:
t
here is
n
o
'
stru
c
t phi' to allocate
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
stenryck
testsu
i
te: quiete
r
error reportin
g
for 'known-to
-
fai
l
'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenr
y
ck
testsuite: allow quieter error
r
eporting
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oostenry
c
k
testsu
i
te: get 'c
h
eck-k
n
own-to-fail' ear
l
ier
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
t
e
stsuite: use 'er
r
or' i
n
stead of 'inf
o
' for s
u
cces
s
ful
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
ostenryck
t
e
stsuite: chec
k
the nbr of times a pattern shoul
d
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
stenryck
testsuit
e
: add some selfchecking
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oostenryck
test
s
ui
t
e
: check
p
atterns pre
s
ence or abse
n
ce
in output
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Ooste
n
ry
c
k
allow to launc
h
the test
suite fro
m
t
h
e project
r
oo
t
d
ir
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
stenryck
testsuite: report a
s
error
t
es
t
s
k
nown to f
a
il
but
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oo
s
tenryck
te
s
tsuite: add tag to ignore the output/erro
r
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
tests
u
ite: add
a
simple test fo
r
-Wenu
m
-mi
s
match
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oostenryck
testsuite: sim
p
lify
t
he ioc-typecheck case
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oosten
r
yck
testsuite: make t
e
s
ts known to f
a
il
e
f
f
ecti
v
ely
fail
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van Oostenryck
testsui
t
e
:
give a proper name to the 'binary-constan
t
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
expand __builtin_bswap*
(
) with consta
n
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 Oostenr
y
c
k
l
e
t identical symbols share th
e
ir eva
l
ua
t
e/exp
a
nd metho
d
s
Originally-by:
Christopher Li
<sparse@chrisli.org>
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oos
t
enryck
move eval
u
a
t
ion
&
expansi
o
n of builtins i
n
a
separate
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oos
t
enryck
a
d
d
s
u
p
p
o
rt for LLP64 a
r
c
h
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van O
o
s
tenryck
simplify '(x || x)' and '(x &&
x)'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
simpli
f
y compa
r
isons f
o
l
l
ow
e
d by an equality test
against
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oostenry
c
k
add warning optio
n
'-
W
tau
t
ological-compa
r
e'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenry
c
k
simp
l
ify '(
x
o
p
x)' t
o
'
0
',
'
1' or 'x'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oostenryc
k
s
implify '(
x
|| 1)' t
o
'1'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oos
t
en
r
y
c
k
simplif
y
'~(~x)' an
d
'-(-
x
)' to 'x'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
simplify
'(x % 1)' into '0'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenr
y
c
k
simp
l
ify '(
x
/ -
1
)' to '-x' (but on
l
y
for signed d
i
v
i
s
i
on)
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oos
t
en
r
yck
simpl
i
fy '(x *
-
1)' t
o
'
-x'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oosten
r
yck
s
i
mplify '
(
x / 1)' to '
x
'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oosten
r
yck
move OP_MUL sim
p
l
i
fi
c
ation in a
separate func
t
ion
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
ost
e
n
ryck
de
f
ine _
_
LONG_MAX__ & __S
I
ZEOF_POIN
T
ER__
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oo
s
tenryck
add
a
n
helper for common predefined macros
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
define __LP64__
&
_L
P
64
i
f arc
h
_m64 is
enabled
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van
Oostenryck
fix killing OP_SETVAL instr
u
cti
o
ns
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
remove '
E
sc
a
pe' from token char
a
cter class
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oost
e
nr
y
ck
warn on un
k
nown escape
s
after preproce
s
sing
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oostenryck
add testcase for wrong ea
r
ly escape conve
r
sion
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van Oo
s
tenry
c
k
remo
v
e unused a
r
g
i
n uses/def
s
functions
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
validate expression's type
i
n conditionals
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenry
c
k
a
d
d h
e
lper: is_sc
a
lar_type(
)
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oostenryck
f
ix
cond
i
ti
o
nal
c
ontext test
c
ase with voi
d
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n
Oostenryck
c
l
eanup k
i
ll_ins
t
r
uctio
n
()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
expl
i
citely
ignore ki
l
l
i
n
g
OP_ENTR
Y
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Ooste
n
ryck
fix ki
l
ling OP_CO
M
P
U
TEDGOTO
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
fix killing OP_SELECT
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Va
n
Oostenryck
fix
k
illing OP
_
CAST & fri
e
n
d
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
s
t
e
nryck
fix killing
O
P_PHI instructions
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
k
i
ll uses of replaced instruct
i
ons
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n
Oostenryck
fi
x
crash while te
s
ting be
t
we
e
n
condi
t
i
o
n
a
l & uncon
d
itional
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Va
n
Oostenryck
fix cast'
s
target typ
e
info
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oos
t
en
r
y
c
k
C1
1
: teach s
p
arse about '--std={c11,gnu11}'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
stenryck
C
11
:
te
a
ch s
p
arse a
b
o
u
t '_Alignas()'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n
O
ostenryck
C11: teac
h
sparse
a
b
o
ut '_Alignof()'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
o
st
e
nryck
C11: teach sparse abou
t
'_Noreturn
'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Ooste
n
ryck
C
11: teach sparse about '_Th
r
ead_local'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Ooste
n
ry
c
k
fix value of label s
t
atem
e
nt
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an O
o
ste
n
ryck
miss
i
ng
l
oad s
i
m
plification
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc
Van Oostenryck
fix phisr
c
m
i
xup
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
fix sup
e
rf
l
uous phisrc
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oostenryck
volatile l
o
ads
m
ust not
b
e simplified
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oosten
r
y
ck
unssa: update comm
e
nt
a
bout the u
n
n
eeded copies
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
a
n Oostenryck
unssa: elimin
a
te trivial ph
i
s
r
c
c
o
p
i
es
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van
Oos
t
enryck
unssa: try t
o
av
o
id s
o
me
OP_PHI c
o
pies
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
stenryck
unss
a
: simplify rewri
t
e of OP_PHISO
U
R
C
E
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oostenryck
un
s
sa: do n
o
t
t
r
y
to
u
pda
t
e liv
e
ne
s
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
fix cast to boo
l
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oos
t
e
n
ryck
llv
m
: remove un
n
eeded OP_COPY support
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
next