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 killing of rewritten loads
2017-02-16
Luc Van
Oostenr
y
ck
fix kil
l
ing of
r
e
w
r
itte
n
loads
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oostenry
c
k
add
killing o
f
stores
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc V
a
n Oostenryck
a
d
d
killing
o
f
no
n
-
v
olat
i
le loads
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oostenr
y
ck
f
i
x
killing OP_CALL
v
ia poi
n
ters
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oostenryck
add killing of pure calls
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
L
uc V
a
n Oostenryck
k
i
ll_instructio
n
() m
a
y need to
be forced or not
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
L
uc Va
n
O
o
stenryck
fix k
i
l
l
i
ng of ot
h
erwi
s
e not-handled inst
r
uctions
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oos
t
enryck
remove
unused clear_phi()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oosten
r
yck
fix cle
a
r_phi(), repl
a
c
e
it by
kil
l
_i
n
st
r
uct
i
on()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc
Van Ooste
n
r
yck
fix killing of OP_PHIs
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Lu
c
Van Oosten
r
yck
add
h
el
p
er kill_use_list
(
)
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van
O
ostenryck
a
d
d killin
g
of
O
P_PHISOURCE
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oostenryck
a
d
d killing of OP_S
L
ICEs
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van
O
ostenryck
fix show-pa
r
s
e
()'s labels
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van O
o
s
te
n
ryc
k
r
emo
v
e unuse
d
field '
g
o
to_bb' i
n
stru
c
t statem
e
nt
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc
Van Oos
t
enryck
r
e
move
u
n
u
sed f
i
eld 'm
u
ltij
m
p'
i
n
struct statemen
t
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van
O
ostenryc
k
c
leanu
p
: th
e
re
is no 'struct phi' to
allocat
e
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oostenr
y
ck
tests
u
ite: quieter e
r
ror repor
t
i
n
g for 'kn
o
wn
-
t
o
-fail
'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oostenryck
tes
t
suite: all
o
w qu
i
eter error repo
r
ting
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
testsuite: get 'chec
k
-known-to-f
a
il' e
a
rlie
r
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oostenryck
testsuite: use 'error' in
s
tea
d
of 'in
f
o' fo
r
s
u
c
cess
f
u
l
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc
V
an Oost
e
nryc
k
tes
t
suite: check th
e
n
br of times
a
pattern should
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n Oost
e
nryck
t
ests
u
it
e
: add so
m
e se
l
fchecking
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
test
s
uite
:
c
heck patt
e
rns presence or a
b
sence
in output
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oostenryck
a
l
l
o
w to launch
the
test suite f
r
o
m t
h
e project ro
o
t dir
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenry
c
k
tests
u
i
t
e: r
e
port a
s
error tests known to fail but
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oo
s
tenry
c
k
testsuit
e
:
add tag to ignore the output/
e
rror
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oostenryck
testsuite
:
add a simple
t
es
t
for
-
Wenum-
m
ismatch
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c
Van Oostenryck
t
estsui
t
e:
si
m
plify the ioc
-
typecheck case
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
t
e
s
tsuit
e
: make test
s
kn
o
wn to fail effectively fail
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oostenryck
t
estsuite: giv
e
a prop
e
r name to the '
b
inary-constant
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oostenryck
expand __builtin_bswap*()
with co
n
st
a
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
L
uc Van
O
ostenryck
let identical symbol
s
s
hare the
i
r
e
valuate/exp
a
nd methods
Originally-by:
Christopher Li
<sparse@chrisli.org>
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
ostenryck
m
o
ve eval
u
a
tion & e
x
pansi
o
n
of builtins in a separat
e
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
os
t
enryck
add support for LLP64 arch
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Ooste
n
ryc
k
s
i
mplify '(x |
|
x)' and '(x &&
x)'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n
Oostenryck
s
i
mplify compari
s
on
s
followed b
y
an equ
a
l
i
ty test ag
a
inst
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oo
s
t
enryck
add
warning option '-Wt
a
u
tological-
c
om
p
are'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oostenryck
si
m
plify
'
(x op
x
)
' to '0',
'1' or '
x
'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oos
t
enryck
simplify
'(x || 1)' to '1'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenry
c
k
s
i
mpl
i
f
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)' into '0'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oo
s
tenryck
simplify '(x / -1)' to '
-
x' (but only
f
or si
g
ned divisio
n
)
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
osten
r
yck
simplif
y
'(x * -1)' to '-x
'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oo
s
t
e
nryck
simplify '(x / 1)'
to 'x'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oost
e
nryck
move OP_MUL s
i
mplifica
t
ion in
a separate function
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenr
y
ck
d
e
fine __LONG_
M
AX__ &
_
_
SIZEOF_POINTER
_
_
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
a
d
d a
n
h
elper for
co
m
mon prede
f
in
e
d macros
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
ostenryck
de
f
ine
__
L
P64__ & _LP64 if arch_m64 is enabled
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
fix killing OP_SE
T
VAL instructions
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oostenryc
k
r
e
mo
v
e 'Escape' from t
o
k
e
n character class
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
w
arn on unknow
n
escapes after
prep
r
o
cessing
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
add tes
t
case for wrong early
escape conver
s
ion
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oostenr
y
ck
remove unu
s
ed arg in u
s
e
s/defs
func
t
ions
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oostenryck
v
alida
t
e
expre
s
sion'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
L
u
c Van
O
osten
r
yc
k
fix cond
i
t
ional cont
e
xt
test case wi
t
h void
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
cleanup kill_instructi
o
n()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oosten
r
yck
explicitely ign
o
re killing OP_ENTRY
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Ooste
n
ryck
fix killing
O
P_COMPUTEDGOTO
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
fix killi
n
g OP_SELECT
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
V
a
n Oosten
r
yck
fix killing OP_CAST & friends
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
f
i
x
kil
l
ing O
P
_PHI instructi
o
ns
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Ooste
n
ryck
kill uses of replaced
ins
t
ructions
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oo
s
tenryc
k
fix crash w
h
ile testing bet
w
een cond
i
tional &
unconditional
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
ostenryck
fi
x
ca
s
t's tar
g
et type info
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oostenryck
C11:
teach sp
a
rse about '--st
d
={c11,gn
u
11}'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van O
o
stenryck
C11: teach sparse about '_Align
a
s()'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
V
a
n Oosten
r
y
c
k
C
11: teach spar
s
e ab
o
ut
'_Alignof
(
)
'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenr
y
c
k
C11: teac
h
sparse about '
_
Noreturn'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oo
s
t
e
nryck
C11: teach
s
parse ab
o
ut '_Thread_local'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oostenryck
fix value of label statemen
t
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
missi
n
g load simplification
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n Oost
e
nryck
fix
p
h
i
src
mix
u
p
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oost
e
n
ryck
fix s
u
p
e
rfluous p
h
isrc
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oos
t
enryck
v
o
latile loads must not be simplified
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Ooste
n
ryck
u
n
ssa: update c
o
mment
a
bout the unneeded copie
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an O
o
stenr
y
ck
unssa:
e
liminate triv
i
al phisrc copie
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
ostenryck
unssa: try to avoid so
m
e OP_
P
HI copies
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oosten
r
yck
unssa: simplify rewrite of OP_PHISO
U
RCE
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
unssa: do n
o
t try to updat
e
liven
e
ss
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oostenryck
fix cast to bool
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van
O
osten
r
yck
llv
m
: remove unneeded O
P
_
C
O
P
Y sup
p
ort
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc
V
an Oostenryck
llvm:
f
ix typing
w
hen comparing to a consta
n
t
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
fix typing e
r
ror in compound as
s
ignment
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c
Van O
o
stenryck
ad
d
supp
o
rt f
o
r __int
1
28
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
fix
m
issing eleme
n
t in types
declaration
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
o
ste
n
r
y
ck
recursi
v
e
p
hi
_
d
efines cannot happ
e
n
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oos
t
enryck
cgcc should not defin
e
non-res
e
rved identifie
r
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oo
s
tenr
y
ck
Update maintainers in the manpag
e
CC:
Christopher Li
<sparse@chrisli.org>
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an
O
ostenryck
some mo
d
ifiers n
e
ed to be
preserved by 'typeof()'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
stenry
c
k
test
s
uite: test
m
odifiers preserved by '
t
y
p
e
of()'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oo
s
t
enryck
t
estsu
i
te: te
s
t modifiers preserved b
y
'&'
o
per
a
tor
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
u
se a short
e
r name for fu
n
ct
i
on-
p
oi
n
t
e
r-mo
d
ifier-inheritance
.
c
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc
V
an O
o
sten
r
yck
te
s
t
su
i
t
e: simpli
f
y
test function-poin
t
er-inheritance
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van Oostenryck
stora
g
e
should n
o
t be inherited by pointers
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van O
o
s
ten
r
yck
remove unused fiel
d
'multij
u
mp' in struct
ins
t
ruction
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van
O
osten
r
yck
OP_SWI
T
CH s
h
ould
u
se 'insn->cond' ins
t
ead o
f
'insn
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oo
s
tenryck
gi
v
e comparable label's names to basic block
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
let
"
compil
e
" not cras
h
on
b
ools
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
next