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 Van Oostenryck
use kill_instruc
t
i
on() whe
n
killing any instructions
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
L
uc
V
an Oostenryck
use
kill_instruc
t
ion() when killing an O
P
_
P
HI dur
i
ng
CSE
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
L
uc Van
Oostenryck
fix killi
n
g
o
f rewritten
loa
d
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van O
o
stenr
y
ck
add killing
of stores
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc
V
an O
o
stenryck
add killing of non-volatile lo
a
ds
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van
O
o
s
tenryck
fix kil
l
ing OP_CALL via p
o
inters
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
L
u
c
Van
O
ostenryck
add killing of pure calls
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oos
t
enryck
k
ill_instruction()
m
ay
need to be forced or not
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Lu
c
Van Oost
e
nryck
fi
x
kill
i
ng o
f
otherw
i
s
e n
o
t-
h
an
d
led i
n
s
tructions
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oostenryck
remove unu
s
ed
c
l
e
ar_phi
(
)
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van
O
osten
r
yck
fix cl
e
a
r
_phi(), repl
a
ce i
t
b
y kill_instructi
o
n
(
)
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oo
s
tenryck
f
i
x
killing of OP_PH
I
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc V
a
n Ooste
n
ryck
add
h
elp
e
r
kill
_
u
se_list()
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
L
u
c
V
a
n Oostenr
y
ck
a
d
d
k
i
lling
o
f OP_PHISOURCEs
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oo
s
tenr
y
ck
a
d
d k
i
lling of
OP_SLICEs
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oostenry
c
k
fix show-parse()'s labels
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc V
a
n Oostenryck
r
e
move
u
nused fiel
d
'goto_bb' in
s
t
ruct statement
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oo
s
tenry
c
k
rem
o
ve unused fie
l
d 'multijm
p
' in str
u
ct
s
tatemen
t
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oostenryck
cle
a
n
up: t
h
ere is no 'st
r
uct
phi' to allocate
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oos
t
en
r
yck
t
est
s
uite: quieter error re
p
orting for 'k
n
own-t
o
-fail'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryc
k
tests
u
ite
:
allow quie
t
er error
r
eporting
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Ooste
n
ryck
t
estsuite: get 'check-k
n
own-to-fa
i
l' earlier
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oos
t
enryck
te
s
tsuite: us
e
'error' instead
o
f 'i
n
fo' f
o
r suc
c
essful
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an
Oosten
r
yck
t
e
stsuite: check
the n
b
r
of times a pattern should
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oosten
r
yck
t
e
stsui
t
e: add some
sel
f
check
i
ng
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Va
n
O
o
stenryck
testsuite: check p
a
t
t
erns pr
e
sence or abs
e
nce in out
p
ut
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
stenryck
allo
w
to launch the
test suite from the
projec
t
ro
o
t
d
ir
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
stenryck
testsuite: repo
r
t a
s
error tests k
n
own to f
a
il but
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
testsuite:
add tag
to ign
o
re the output/error
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oostenryck
testsui
t
e: add a simple
t
est for -
W
enum-mismatc
h
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
testsu
i
te:
s
implify the ioc
-
ty
p
echeck case
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryc
k
testsuit
e
:
mak
e
tests
k
no
w
n to f
a
il effect
i
vely f
a
il
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n
O
o
s
t
enryc
k
t
e
stsuit
e
:
give
a
pr
o
per name
t
o
the 'binary-con
s
tant
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oosten
r
y
ck
expand __
b
ui
l
t
i
n_bswap*(
)
w
i
th con
s
tant args
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 Ooste
n
ry
c
k
let ide
n
tical symbols sh
a
r
e
th
e
ir eva
l
uat
e
/
expand me
t
h
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 & e
x
pansion of builtins in a separate
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oos
t
enryck
add support for LLP64 arch
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Ooste
n
ryck
simp
l
ify '(x || x)' and '(x && x)'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
a
n
Oost
e
nryc
k
simplify comp
a
ris
o
ns fol
l
o
w
ed by an e
q
u
a
li
t
y t
e
st a
g
ainst
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van
Oostenryck
add warning option '-Wtauto
l
ogi
c
a
l-compare'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
uc
V
a
n Oostenry
c
k
s
i
mplify '(x op x
)
' to '0', '1'
o
r '
x
'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
uc V
a
n
O
ostenryck
simplify
'(x || 1)' to '1
'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
uc
V
an Oostenryck
simplify
'
~(~x)' and '-(-x)' t
o
'x'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
V
an O
o
stenryck
simplify
'
(x % 1)' into '0'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
s
i
m
plify
'
(x / -1)
'
t
o '-x' (but o
n
l
y for signed
d
ivision)
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oo
s
tenryck
si
m
plify '(x * -1)'
t
o '-x'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
ostenr
y
ck
simpl
i
fy '(x / 1)' to 'x'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
move OP
_
MUL
s
impli
f
ica
t
ion in a separa
t
e fun
c
tion
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oosten
r
y
c
k
d
e
fine __LONG_MAX__ & __
S
IZEOF_PO
I
NTER__
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oost
e
nry
c
k
ad
d
an h
e
lper for c
o
mmon pr
e
defined macros
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
define __LP64__ & _LP64
if arch_m64 is enable
d
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van O
o
stenryck
fix
k
illing
O
P_SET
V
AL
instructions
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oostenryck
remov
e
'Escape' from token character class
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oostenryc
k
warn on un
k
now
n
es
c
apes af
t
er preprocessin
g
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
a
dd tes
t
case for wrong early escape
c
onvers
i
on
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
re
m
ove un
u
sed arg in uses/defs func
t
ions
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenr
y
ck
v
al
i
date e
x
pression's type in
con
d
i
tionals
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
a
dd help
e
r: is_scalar_type()
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an
Oostenryck
fix condition
a
l context test case wit
h
void
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oost
e
n
r
yck
cleanup kill_instruction()
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n Oo
s
tenryck
e
xp
l
icite
l
y
ignore killing OP_ENTRY
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oostenryck
fix kill
i
ng OP_
C
OMPUTEDGOTO
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenr
y
c
k
fix killi
n
g OP_
S
ELECT
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
f
ix k
i
lling OP_CAS
T
& fr
i
ends
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oostenryck
fix killing OP_PHI i
n
structio
n
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
o
sten
r
y
c
k
kill uses of replaced instructions
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
V
a
n Oosten
r
yck
fix cra
s
h
whi
l
e testing between condit
i
ona
l
& uncon
d
it
i
onal
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n Oos
t
enry
c
k
fix cast's
t
arget
t
yp
e
info
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
C11: te
a
ch spar
s
e
about '--
s
td={c11,gnu1
1
}
'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
uc V
a
n Oos
t
e
nryck
C
1
1:
teach s
p
a
rse about '
_
Ali
g
nas()'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n O
o
s
t
enry
c
k
C11: teach sparse about '_Al
i
gnof()
'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oosten
r
y
ck
C11:
teac
h
sp
a
rse about '_Noreturn'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c
Van Ooste
n
ryck
C11: teach sparse
a
bout '_Th
r
ead
_
l
ocal'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van
O
ostenryck
fix value of label
s
tate
m
en
t
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
o
stenr
y
ck
missin
g
l
oad simplification
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oosten
r
yck
f
i
x
phisr
c
m
i
xup
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oostenryck
fix superflu
o
us p
h
isrc
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
o
s
te
n
ryck
volatil
e
loads
m
ust not be
si
m
plified
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
ostenryck
unssa
:
update comment about t
h
e unneeded
c
opies
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oostenryc
k
uns
s
a: eliminate triv
i
al phisr
c
co
p
ies
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oo
s
ten
r
yck
unssa: try
t
o avoid som
e
OP_
P
H
I copies
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oos
t
enryc
k
unss
a
: simplify rewrite o
f
OP_
P
H
I
SOURC
E
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
st
e
n
ryck
un
s
sa: do not
t
ry to
u
pdate liveness
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oostenryck
fix
cast to bool
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oosten
r
yc
k
llv
m
:
remove unnee
d
ed OP_COP
Y
support
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
llvm: fix ty
p
ing when comparing
to a con
s
tant
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
o
ste
n
ryck
fix typin
g
err
o
r
i
n compound assignm
e
nt
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
add
s
uppo
r
t for __int128
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Ooste
n
ryck
fi
x
missing element in ty
p
es declaration
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
V
a
n Oostenryck
recursive
p
h
i_defin
e
s c
a
nno
t
h
appen
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oo
s
tenry
c
k
cg
c
c shou
l
d not define
non-reserved identifier
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oos
t
enryck
Updat
e
maintain
e
rs in the manpag
e
CC: Christopher Li <
sparse@chrisli.org
>
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oostenr
y
ck
some modifie
r
s nee
d
to b
e
pre
s
e
r
ved
b
y
't
y
p
eof()'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
testsuite: test modifier
s
prese
r
ved by 'typeof()'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
V
a
n
Oostenry
c
k
t
e
s
t
s
u
ite: test
m
od
i
fiers pre
s
e
rve
d
by '&' op
e
ra
t
or
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
use a
s
horte
r
n
a
m
e for function-poin
t
er
-
m
o
difi
e
r-inheritanc
e
.
c
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
test
s
uite: si
m
plify test function-poin
t
er-inheritance
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oostenryck
s
tor
a
ge should
n
ot
be inher
i
ted
by point
e
rs
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oos
t
enryck
r
e
move
u
nused field 'mult
i
jump
'
in struct instruc
t
i
o
n
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oostenryck
OP_SWITCH should use 'insn->c
o
nd' instead of 'insn
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
next