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
remove unused helper is_branch_goto()
2017-03-06
Lu
c
V
a
n Oostenryck
remove unu
s
ed
h
elper
i
s_
b
ran
c
h
_goto()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-03-06
L
u
c Van
O
os
t
enryck
split O
P
_BR be
t
ween un
c
ondi
t
ional
&
con
d
itio
n
a
l: OP_CBR
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-03-03
Luc
Van
O
o
stenryck
f
ix size of loaded
bitfields
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-03-03
L
uc V
a
n Oostenryc
k
fix
u
s
age in si
m
plify_s
e
teq_se
t
ne()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-03-03
Luc Van Oosten
r
yck
ignore whole
-
ra
n
ge overlapping
i
nitializer
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-03-03
Luc
Van Oostenryck
fi
x
c
h
e
cking
of overl
a
pping
i
n
i
tializer
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-03-03
Luc
V
a
n Oostenr
y
ck
allow to warn on
a
l
l overlap
p
in
g
initializers
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-03-03
Luc Van Oostenryc
k
add tes
t
case for wa
r
nin
g
s about overlappi
n
g
initializers
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-03-03
L
u
c Van Oo
s
tenryck
use option: '-
W
override-
i
nit'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-03-03
Ed
w
ard
C
ree
Allow castin
g
t
o
a r
e
stricted type if
!res
t
ricted_va
l
ue
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-03-03
Luc
Van
O
osten
r
yck
ma
k
e
-Wb
i
twise ope
r
a
t
ional agai
n
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-27
Luc V
a
n Oostenryck
add missing
b
races
a
r
ound FO
R
_
E
ACH
_
PTR loop
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-26
Luc
V
a
n
O
ostenryck
fix expansion cost of pure
functi
o
ns
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-23
Luc Van Oo
s
tenryck
CSE:
a
void h
a
shing removed inst
r
uctions
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-23
Lu
c
Van Oostenryck
CSE: u
s
e commutativity t
o
identify
e
quivalent
instructions
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-23
L
u
c Van Ooste
n
ryck
CS
E
: add test cas
e
s for
co
m
parisons duality
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Lu
c
V
a
n Oo
s
tenryck
simplify fl
o
at-to-fl
o
at casts th
a
t d
o
esn't change si
z
e
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
L
u
c Van Oosten
r
yck
fix
O
P_PHI usage in try_t
o
_s
i
mp
l
ify_bb()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van
O
ostenryck
us
e
kill_instr
u
ction
(
) when
killing any
instruc
t
ions
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van
O
ostenr
y
ck
use
k
ill_instruction
(
)
when k
i
lling an OP_PHI during
CSE
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
L
u
c Van
O
ostenryck
f
ix killin
g
of re
w
ritten loads
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Lu
c
Va
n
Ooste
n
ryck
ad
d
killing of stores
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oostenryck
add ki
l
lin
g
of non-
v
o
l
atile loads
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Lu
c
Van Oostenry
c
k
fix kill
i
n
g
OP_CALL via pointers
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oostenryck
ad
d
k
i
l
l
i
ng of
p
ur
e
calls
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Lu
c
Van Oost
e
nryck
ki
l
l_instru
c
tion()
m
a
y
need
to be forced or not
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Va
n
O
oste
n
ryck
fi
x
killing of other
w
ise
not-ha
n
dle
d
in
s
tructi
o
ns
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oo
s
te
n
ryck
r
e
move
u
nused c
l
e
ar_phi()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc V
a
n
O
os
t
e
n
ry
c
k
fi
x
cle
a
r_phi(),
r
eplace it by k
i
ll
_
in
s
tr
u
ct
i
on()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oo
s
tenryck
fix killing
of OP_PHIs
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Lu
c
Van
Oostenryck
a
d
d helper kil
l
_use_list()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc V
a
n Oost
e
n
r
y
c
k
ad
d
killi
n
g
of OP_PHISOURCEs
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oo
s
ten
r
yck
add killing of O
P
_SLIC
E
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van O
o
stenryck
fix show-parse()'s labels
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oosten
r
yck
remo
v
e
unu
s
ed fiel
d
'
g
oto_bb' i
n
struct st
a
tement
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van
O
ostenryck
remove u
n
used
f
ield 'mul
t
ijmp' in struct
s
tatement
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oo
s
tenryck
clea
n
up: there is no 'struct
phi' to allocate
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oostenryck
testsu
i
te: quiet
e
r error rep
o
rting for
'
k
n
o
wn-to-f
a
il'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Ooste
n
ryck
t
e
stsuite: al
l
ow quieter error
r
eporting
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenry
c
k
testsu
i
te: get
'check-known-to-fail' earlier
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Ooste
n
r
y
ck
testsui
t
e: u
s
e
'
erro
r
' instead
of 'info' fo
r
su
c
ces
s
f
u
l
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oostenryck
testsuite: check the nbr of times a pattern should
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenr
y
ck
t
e
stsuite
:
a
dd
some
selfchecking
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
ostenryck
testsuite
:
check pat
t
erns presence or ab
s
ence
in
o
utput
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
allow
to l
a
unch the test suite from
the proj
e
ct root
d
i
r
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c
V
a
n Oostenryck
testsuite:
r
epo
r
t
as
e
rror
t
ests
k
nown
to fail bu
t
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oosten
r
y
c
k
test
s
u
i
te:
ad
d
tag to
i
gnore the output/error
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n
Oostenryck
test
s
uit
e
: add
a
simpl
e
te
s
t for -Wenum-mismatch
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
ostenryck
test
s
uite: simp
l
ify th
e
i
oc-typecheck case
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
testsuite: mak
e
tests known
t
o fail effectively fail
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c
Van
O
o
s
tenry
c
k
te
s
tsuite: give a proper nam
e
to the 'binary-constant
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
e
xpand __built
i
n_bsw
a
p*() 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
ck
let identica
l
symbo
l
s share
their evaluate/expan
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
valuation & expansion of buil
t
i
ns in a
s
epa
r
ate
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van O
o
s
ten
r
y
ck
add support for LLP
6
4 arch
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c
V
an Oos
t
en
r
yck
simplify '(x || x)' and '(x
&& x)'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
simplify comparisons fo
l
low
e
d b
y
an equality test ag
a
inst
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oostenryck
a
d
d
warning option
'-Wtautological-compare'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oost
e
n
r
yck
simplify '(x op x)' to '0', '1' or
'
x'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
s
i
mp
l
ify
'
(x || 1)' to '
1
'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van
O
ostenr
y
c
k
s
i
mpli
f
y '~(~x)' and '-(-x)' to
'
x'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oo
s
tenryck
simp
l
i
f
y '(
x
% 1)'
i
n
t
o
'0'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryc
k
s
impli
f
y
'
(x
/
-1)' to '-x
'
(but on
l
y f
o
r
signed division)
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van Oostenryck
s
i
m
p
lif
y
'(x * -1)' to '-x'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
ostenryck
simp
l
ify '(x / 1)' to 'x'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oostenryc
k
m
ove
OP_MUL simplifica
t
i
o
n in a separate function
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n
O
ostenryck
define __LO
N
G
_
M
AX__
&
__SIZEOF_POINTER__
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenr
y
ck
add
an h
e
l
per for common predefin
e
d m
a
cros
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
oste
n
ry
c
k
define __
L
P64_
_
& _LP6
4
if arch_m64 is
e
nab
l
ed
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oostenry
c
k
fix killing
O
P
_
SE
T
VAL instru
c
tions
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
V
an Oostenryck
remove
'Escape' from token character cla
s
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oostenryck
warn o
n
u
nkno
w
n
esc
a
p
e
s after preprocessing
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oost
e
nryck
add testcase for
wrong early
e
sca
p
e co
n
vers
i
o
n
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van
Oostenryck
remov
e
unus
e
d a
r
g in uses/defs func
t
ions
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
o
stenryck
validate e
x
pre
s
s
i
on's ty
p
e in conditionals
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oostenryck
add helper:
is_sc
a
lar_
t
ype()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n Oostenryck
f
ix conditional
c
o
ntex
t
test case w
i
th
v
oid
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oo
s
tenryck
cleanup kill
_
instruction(
)
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oostenry
c
k
ex
p
licitely igno
r
e killing O
P
_
ENTRY
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Ooste
n
ryck
fix
killing OP_COMPUTEDGOTO
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Va
n
Oostenryck
fi
x
k
illin
g
OP_SELE
C
T
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
f
ix killing OP_C
A
ST &
f
riends
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oost
e
nryck
fix killing OP_PHI in
s
t
r
uctions
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
kill us
e
s of replaced instructions
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van Oostenr
y
ck
fix crash
w
h
i
le
t
e
sting
b
etween condit
i
onal & unc
o
nditiona
l
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc
Van
O
o
s
tenryck
f
ix cast's targ
e
t ty
p
e info
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oosten
r
yck
C
1
1: t
e
ach spar
s
e
a
bout '
-
-std={c11,gnu11}'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n O
o
ste
n
ryc
k
C
1
1
:
teach sp
a
rse a
b
out '_Alignas()'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oostenryck
C11: teach s
p
a
r
s
e abou
t
'_Alignof()'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n Oostenryck
C11: t
e
a
c
h sp
a
rse about '_Noreturn
'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oostenryck
C11: teach spar
s
e abo
u
t
'
_Threa
d
_lo
c
al'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oos
t
e
nr
y
c
k
f
i
x value of lab
e
l sta
t
ement
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oos
t
enryck
missing
load
s
i
m
p
l
ific
a
tion
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oosten
r
yck
fix ph
i
src mixup
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c
V
an O
o
s
tenryck
fix s
u
p
e
rfluous phisrc
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oostenryck
volatile loa
d
s mu
s
t not be simplifi
e
d
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van O
o
ste
n
r
yck
u
nss
a
:
upd
a
te
comment abou
t
the unneeded copi
e
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van
O
ostenry
c
k
unssa: elim
i
n
a
te tr
i
v
i
al phisrc copies
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c
Van Oostenryck
unss
a
: t
r
y to avoid s
o
me O
P
_PHI copie
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oosten
r
yck
un
s
s
a: sim
p
lify
rewrite o
f
OP_PHISOURCE
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
next