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 checking of overlapping initializer
2017-03-03
L
u
c
Van Oost
e
nryck
fix
checking
of over
l
appin
g
initializ
e
r
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-03-03
Luc Van
Oo
s
t
e
nry
c
k
a
l
low to wa
r
n on al
l
overlapping
initia
l
iz
e
rs
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-03-03
Luc Van Oostenryck
add te
s
t case for warnings ab
o
ut over
l
appin
g
i
n
itializ
e
rs
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-03-03
Luc Van Ooste
n
ryck
use option: '
-
W
override-init'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-03-03
Edward Cree
Allow casting to a res
t
ricted type
i
f !restricte
d
_
v
a
l
ue
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-03-03
Luc Van Oos
t
en
r
yck
make -Wbitwis
e
oper
a
tional again
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-27
L
uc
V
an Oostenr
y
ck
add missin
g
bra
c
es around FOR_EACH_PTR loop
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-26
L
u
c Van Oostenryck
fix expansion cost of pure functions
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-23
Luc Van Ooste
n
ryck
CSE: avo
i
d h
a
s
h
ing removed
i
nstructions
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-23
Luc Van Oost
e
nryck
CSE: us
e
c
ommutativity
to id
e
nt
i
fy equivalent
i
n
structions
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-23
Luc Van
O
ostenr
y
ck
CSE
:
add tes
t
case
s
for c
o
mparisons d
u
ality
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc V
a
n O
o
st
e
nryck
simplify
f
lo
a
t-to-float casts tha
t
d
o
esn
'
t
c
hange size
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
L
u
c
Van
O
ostenryck
fix
O
P
_PHI usage in try_to_simplify_bb()
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oo
s
tenryck
u
se kil
l
_in
s
tr
u
ct
i
on()
when killi
n
g an
y
instructions
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oostenr
y
ck
use kill_instructi
o
n(
)
when
killi
n
g an OP_PHI during
C
S
E
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oos
t
enry
c
k
fi
x
killing
of
rewr
i
tten loads
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
L
uc Van Oostenry
c
k
add k
i
l
lin
g
of stores
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oostenryc
k
add killing of non-vo
l
atil
e
loads
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc Va
n
Oostenryck
fix
ki
l
ling O
P
_CALL via pointers
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc Va
n
O
o
st
e
nryck
add
killin
g
o
f pure calls
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc Va
n
Oo
s
tenr
y
ck
ki
l
l_i
n
st
r
uction(
)
may
n
eed t
o
be
f
orced or not
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oostenryck
fix killing
of othe
r
wise n
o
t-handled instruct
i
ons
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
L
u
c Van Oostenr
y
c
k
remo
v
e unused clear_phi(
)
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oostenryck
fix clear_phi
(
), replace it by kill_
i
nstructi
o
n(
)
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oostenr
y
ck
fix killin
g
of OP_P
H
I
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc V
a
n Oostenryck
add helper ki
l
l_us
e
_
l
ist()
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oosten
r
y
ck
add killing of OP_PHISOURCEs
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van
Ooste
n
ryck
add killing of OP_
S
LIC
E
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc
V
a
n Oos
t
e
nryck
fix show-parse()'s
labels
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
L
uc Van Oos
t
en
r
yck
remove unused field 'goto_bb' in s
t
ru
c
t statement
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oos
t
enry
c
k
rem
o
ve unused fie
l
d
'mu
l
t
ijmp' in st
r
uct stateme
n
t
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van
O
ostenryck
c
l
eanup
:
th
e
re
is no 's
t
ruct phi' t
o
allocate
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
testsuite: qu
i
e
t
e
r
error r
e
porting for
'known-to-fail'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oost
e
nryck
testsuite: allow qu
i
et
e
r error rep
o
rti
n
g
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oos
t
enryck
testsuite: get 'check-
k
nown-to-fail' e
a
rl
i
er
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van
Oosten
r
yck
testsuite: use
'error' instead of 'info' for s
u
cc
e
ssful
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenr
y
c
k
t
e
stsuite: ch
e
ck the n
b
r of times a pattern
s
hould
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c V
a
n Oostenryck
tests
u
ite: add some selfchecking
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
ostenryck
testsuit
e
:
check patt
e
rns pres
e
nce or absence
in output
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
allow to la
u
nch the test
s
uite fro
m
the project root dir
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
sten
r
yck
testsui
t
e:
r
ep
o
rt
as e
r
ror tests know
n
to f
a
il but
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oost
e
n
r
yck
tes
t
suite: add tag to ignore
the output
/
error
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c V
a
n
Oosten
r
y
ck
testsuite: add a sim
p
le test for -W
e
nu
m
-mi
s
match
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
stenryck
test
s
uite
:
simplify
the ioc-ty
p
e
c
h
eck
case
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oostenryck
testsuite: m
a
ke
t
ests known to
f
a
i
l effec
t
i
v
e
l
y
fail
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
tes
t
suite: g
i
ve a proper name to the 'binary-constant
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oostenryck
expand _
_
bui
l
tin
_
bswap*() with constant a
r
gs
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 Oo
s
tenryck
let
i
den
t
ical symbols share their evaluate/exp
a
nd method
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 O
o
st
e
nryck
move
evaluation & expansion
o
f builtins in a separate
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
add supp
o
rt for LLP64 a
r
ch
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oostenryc
k
simplify '(x ||
x)' and '(x && x)'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Ooste
n
ryck
si
m
plify
c
om
p
aris
o
ns
foll
o
wed
b
y an equalit
y
t
est aga
i
n
s
t
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oostenryck
add warni
n
g
option '-W
t
autological-comp
a
re'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
uc V
a
n Oostenryck
si
m
plif
y
'(x op x)
'
to
'0', '1' or
'x'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oosten
r
yck
simp
l
i
f
y '(x || 1)'
t
o '1'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
uc V
a
n Oostenry
c
k
simplify '~(
~
x)' and '-(-x
)
'
to
'
x
'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
uc V
a
n Oostenryck
simpli
f
y '
(
x % 1)' into '0'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
a
n Oo
s
tenryck
s
i
mplify '(x /
-
1)' t
o
'-x'
(
but
o
nly for signed divisi
o
n)
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oostenry
c
k
s
implify '(x * -1)'
t
o
'-x'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oostenryck
s
implify '(x / 1)' to 'x'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oost
e
nryck
move OP_MUL simplification
i
n
a
s
eparate function
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenry
c
k
define __LONG_MAX__ & __SIZEOF_POINTER_
_
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
stenryck
add a
n
help
e
r fo
r
com
m
on pred
e
fined macros
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c
V
an Oosten
r
yck
d
e
f
ine __LP64__ & _LP64
if arch_m64 is
e
na
b
le
d
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van
O
ostenryck
fix killin
g
OP_SE
T
VAL instru
c
tions
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Ooste
n
ryck
remove 'Esca
p
e' from token character
cla
s
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oo
s
tenryck
warn on unknow
n
escapes after pr
e
process
i
ng
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
o
stenryck
a
d
d testcase for wrong early escap
e
c
onve
r
sion
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oostenryck
r
emove unused a
r
g
i
n
uses/defs
f
unctions
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oostenr
y
ck
v
alidate expression'
s
type in
conditionals
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oost
e
nryck
add h
e
lper: is_s
c
a
lar_typ
e
(
)
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van Oostenryc
k
fix co
n
ditional context test
c
ase wi
t
h void
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
V
an O
o
ste
n
ryck
c
leanup kill_instr
u
cti
o
n
(
)
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
e
x
plicitely ignor
e
killing OP_ENTRY
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n
Oostenryck
fix killin
g
OP_
C
OMP
U
T
E
DGOTO
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oostenryck
fi
x
killing OP_SE
L
ECT
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oost
e
nryck
fix killing O
P
_CAST & friends
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
stenryck
fix kill
i
ng
OP_PHI instructions
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n Oost
e
nr
y
ck
kill uses of replaced ins
t
ru
c
t
i
on
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
fix
crash while testing between con
d
itio
n
al & unconditional
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
a
n
Oostenry
c
k
fix cast
'
s target type
info
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
C
1
1: t
e
ach
spar
s
e
about '--std
=
{c11,gnu11}'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oostenryck
C11
:
teac
h
sparse about
'_
A
l
i
g
n
as()'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oosten
r
yck
C11: tea
c
h sparse about '_A
l
i
gnof()'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oos
t
enryck
C
11: teach sp
a
r
se about '_Nore
t
urn'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n Ooste
n
ryck
C11: te
a
ch spa
r
se
a
bo
u
t '_Thread_l
o
cal'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
st
e
n
ryck
fix
v
al
u
e of label stateme
n
t
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oostenryck
missing
l
oad
s
imp
l
i
ficatio
n
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Ooste
n
ryck
fix phi
s
rc
m
ixup
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
V
an Oostenryc
k
fix superf
l
u
ous phisrc
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oost
e
nryck
volatile lo
a
ds mu
s
t not be simplified
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oo
s
tenryck
unssa: update
c
o
m
ment about the
u
nn
e
eded copies
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van
O
ostenryck
u
n
ssa: e
l
iminat
e
trivial phisrc copies
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oostenr
y
c
k
uns
s
a: try
to avoi
d
some OP_PHI
copies
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n Oostenryck
u
n
s
s
a: simplify rew
r
ite of
O
P_PHISOURCE
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oostenry
c
k
unssa: do not
t
r
y
to update liven
e
ss
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenry
c
k
fix cast to bool
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van
O
ostenryck
llvm:
r
e
mo
v
e unneeded OP_COPY support
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oostenryck
l
lvm:
f
i
x
typing when comparin
g
to a constant
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n Oostenryck
f
i
x typing error
i
n
c
ompound assi
g
nme
n
t
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
next