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
use kill_instruction() when killing any instructions during CSE
2017-02-16
Luc
V
an Oostenry
c
k
use kill_in
s
tructi
o
n()
w
h
e
n killing any i
n
stru
c
tions
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc V
a
n Oostenryck
us
e
k
i
ll_instruc
t
i
on(
)
when
k
illing an OP_PHI durin
g
CSE
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oostenryck
fix killing of
r
ewritte
n
loads
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van
Oostenryc
k
a
d
d killing of stores
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Va
n
Oos
t
enryck
add killing of non-volatile loads
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oostenryc
k
fix k
i
lling
OP_CALL via pointers
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
L
u
c
Van Oostenryck
add killing of
pure calls
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oostenryck
ki
l
l_
i
nstruction() may
n
eed to
be forced or n
o
t
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
L
uc V
a
n Oostenryck
fix
killing of otherwise not
-
handle
d
i
nst
r
uctio
n
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc V
a
n Oostenryck
r
e
mo
v
e
unused cle
a
r_phi
(
)
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
L
uc Van Oost
e
nryck
fix cle
a
r_phi(),
replace it by kill_in
s
truction()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
L
uc
V
an Oostenryck
fix killing of O
P
_
PH
I
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
L
u
c Van Oostenryck
add he
l
per
k
ill_use_li
s
t()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Lu
c
Va
n
Oostenryck
add killing of OP_PHISOURCEs
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van
O
ostenryck
add killing of OP_SLICEs
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van O
o
s
tenryck
fix show-pa
r
se()'s
labels
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oost
e
n
r
y
ck
remo
v
e
unused
fie
l
d 'goto_bb' in struct statement
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Lu
c
V
an Oost
e
nryck
remove
u
nused field '
m
ultijmp'
in struct
s
tat
e
ment
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
L
uc Va
n
Oo
s
tenryck
cleanup: there i
s
no 'stru
c
t phi' to
a
llocate
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oostenryck
testsuite: quie
t
er error re
p
ort
i
ng for 'known-to-fail'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oostenr
y
ck
test
s
uit
e
: allow quieter error reporting
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Ooste
n
ryck
testsuite: ge
t
'chec
k
-
k
nown-
t
o-fail' ea
r
lier
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oo
s
ten
r
y
c
k
testsuit
e
: use '
e
rror' ins
t
ead
of 'info' for success
f
ul
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc
V
a
n Oostenr
y
c
k
t
estsuite: check
t
he
n
br of times
a
patte
r
n s
h
ould
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
a
n
Oos
t
enryck
testsuite: add some selfch
e
cking
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oo
s
te
n
ryck
te
s
tsuite: che
c
k
p
a
tte
r
ns presence or
absence in output
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
o
stenryck
allow t
o
la
u
nch the
t
est suite from
t
he pro
j
ect r
o
ot dir
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n Oo
s
tenryck
test
s
uite: report as error tes
t
s known t
o
fail but
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryc
k
t
estsu
i
te: add tag to ign
o
re
t
h
e o
u
tput/er
r
or
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc V
a
n
O
os
t
enryck
te
s
tsuite:
add a simple t
e
st for -Wenum-mismatch
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oostenryck
testsuit
e
:
s
i
m
p
lify the ioc-ty
p
echec
k
case
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
o
s
tenryck
testsuite: make tests
known to fa
i
l
ef
f
ect
i
v
ely fa
i
l
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oostenryck
t
e
stsuite: g
i
v
e
a pro
p
e
r n
a
me
t
o the 'binary-c
o
nstant
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van
O
ost
e
nry
c
k
expa
n
d __builtin_bswa
p
*() with constant 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
iden
t
ical
symbols sha
r
e th
e
ir ev
a
luate/expand
m
ethods
Originally-by:
Christopher Li
<sparse@chrisli.org>
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n Oo
s
te
n
ryc
k
move
e
valuatio
n
& expansion
o
f
builtins in a sep
a
rate
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
stenryck
add support
f
o
r
LLP64 arch
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
simplify '(x
|
| x)' and '(
x
&
&
x)'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
sim
p
lif
y
comparisons fo
l
lowed by an equality test agai
n
st
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
stenry
c
k
add wa
r
ning
option
'-Wtauto
l
ogical-com
p
are'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oostenryck
s
implify '(x op x
)
' to
'0',
'
1' or 'x
'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van
O
ostenryck
sim
p
li
f
y '(x || 1)' to
'
1
'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van Oostenr
y
c
k
simp
l
ify '~(~x)
'
and '-(-x)
'
to 'x'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
s
i
mplify '
(
x % 1)'
i
nt
o
'
0
'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oo
s
t
e
n
ryc
k
s
imp
l
ify '(x
/
-1)' to '
-
x' (bu
t
only for s
i
gned
d
iv
i
sion
)
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Ooste
n
ryck
simplify '(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 Van
Oos
t
enryck
move OP_MUL simpli
f
ication in a
sepa
r
ate functio
n
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oostenryck
de
f
ine __LONG_MAX__ & _
_
SIZ
E
O
F
_POINTER
_
_
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Ooste
n
ry
c
k
a
dd an helper for common pre
d
efined macros
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc
V
an O
o
sten
r
yck
de
f
ine __L
P
64__ &
_L
P
64 if arch_m64
i
s enabled
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oostenry
c
k
fix killi
n
g OP
_
S
E
TVA
L
instructions
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Ooste
n
ryck
remov
e
'Escape'
f
rom token
character
class
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oosten
r
yck
warn on unknown
e
s
ca
p
e
s after prepro
c
e
s
si
n
g
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c
Van Oostenryck
add testcase for wro
n
g early
e
scape co
n
v
ers
i
o
n
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van
O
o
stenryck
rem
o
v
e unused ar
g
i
n uses/defs
functions
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oostenryck
validate expressio
n
's type in conditionals
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oostenryck
add helper: is_scalar_type()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oost
e
nr
y
ck
fix
c
o
n
ditional c
o
ntext t
e
st case with void
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
os
t
enry
c
k
cleanu
p
kill_instruction()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryc
k
explicitely ignore kil
l
ing OP_ENTRY
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van O
o
stenryck
fix killing OP
_
COMPUTEDGOTO
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
fix killing OP_SE
L
E
C
T
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oosten
r
yc
k
f
ix
killing OP_CAST & friends
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van O
o
stenryck
fix killing OP_P
H
I instructions
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n
O
ostenr
y
ck
kill uses of replaced instruct
i
ons
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
fix crash while testing
b
e
tween conditional &
u
n
co
n
ditional
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Ooste
n
r
y
ck
fix cast's ta
r
g
e
t type info
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oostenryck
C1
1
:
teach sparse
a
bout '--std={c11,gn
u
1
1
}
'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oo
s
tenryck
C11: t
e
ach sp
a
rse ab
o
ut '_Align
a
s()'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
a
n
Oostenryck
C11: teach sparse about '_Alignof()'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oo
s
tenryck
C11: t
e
ach sparse abou
t
'
_Noretur
n
'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
C11: teach sparse ab
o
ut
'
_Thread
_
local'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oo
s
tenryck
fix value of label state
m
ent
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oost
e
nryck
missing load si
m
plifi
c
atio
n
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oostenryck
fix
phisrc mixup
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenry
c
k
fix supe
r
fluou
s
phisrc
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van O
o
stenryck
volatil
e
load
s
m
ust
not be simplified
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
u
nssa: u
p
dat
e
comment ab
o
ut the u
n
needed copies
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
ostenryck
unssa: elimi
n
ate trivial
p
hi
s
rc co
p
ies
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oostenryck
unssa:
try to avoid some OP
_
PH
I
copies
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n O
o
stenryck
unss
a
: simplify rewrite of
O
P_PHISOURCE
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oostenryck
unss
a
: do
n
ot try
t
o u
p
date liveness
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oo
s
tenryck
f
i
x cast to bool
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
l
l
vm:
r
emove un
n
eeded OP_COPY
s
u
p
port
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenr
y
ck
llvm: f
i
x typing wh
e
n
comp
a
ring to a consta
n
t
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Ooste
n
ryck
fix typi
n
g error in co
m
poun
d
assignment
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
a
n
Oostenryck
add
s
upport f
o
r
__int128
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oostenryck
fi
x
missing element in types decl
a
ratio
n
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Ooste
n
ryck
recursive ph
i
_defi
n
es
c
a
nnot h
a
ppen
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oos
t
enryck
cgcc
s
ho
u
ld not define n
o
n-reserv
e
d i
d
entif
i
ers
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oosten
r
y
ck
Upd
a
te m
a
i
n
ta
i
n
e
rs in t
h
e
manpage
CC:
Christopher Li
<sparse@chrisli.org>
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oostenr
y
ck
some modifiers need t
o
b
e preserved by 'ty
p
eof()'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
o
stenryck
testsuite:
test modifi
e
rs prese
r
ved
b
y
'
t
yp
e
of()'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Ooste
n
ryck
testsuite: tes
t
mod
i
f
i
e
r
s
pres
e
r
v
ed
b
y '&'
o
p
e
rator
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
O
o
stenryck
use
a
sh
o
rter nam
e
for function-poi
n
ter-modifier-inheritance
.
c
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oost
e
n
r
yck
testsuit
e
: sim
p
li
f
y test fu
n
ction-po
i
nt
e
r-inheritance
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Ooste
n
ryck
st
o
r
age should n
o
t
be inher
i
t
ed by p
o
inters
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
rem
o
ve unused field 'm
u
l
tijump
'
in
s
tr
u
ct instruction
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
OP
_
S
WITCH shoul
d
us
e
'insn->
c
ond'
i
nstead of 'insn
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
next