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 an OP_PHI during CSE
2017-02-16
Luc Van
O
osten
r
yc
k
use ki
l
l_i
n
st
r
uction
(
) when killing an OP_PHI
d
uring C
S
E
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc Va
n
Oostenryck
fix killing of
rew
r
i
t
t
e
n loads
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oostenryck
add
killi
n
g of stores
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oos
t
e
nryck
a
d
d ki
l
l
i
ng of n
o
n-volatile loads
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oostenryck
fix killing OP_CA
L
L via pointe
r
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc V
a
n Oostenryck
a
d
d killi
n
g of pure calls
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oostenryck
ki
l
l_instructi
o
n() may need to be forced or no
t
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
L
u
c Van O
o
s
tenryck
fix kill
i
n
g of o
t
herwise not-handl
e
d instr
u
ctions
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Ooste
n
ryck
rem
o
ve u
n
used clear
_
phi()
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc
V
an O
o
st
e
nryck
fix c
l
ear_
p
hi
(
), rep
l
ace i
t
by kill
_
instr
u
ct
i
on()
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
L
u
c Van Oos
t
enry
c
k
fix
k
illing of
O
P_PHI
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc
V
an Oostenryck
add he
l
per kill_use_list()
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Lu
c
Van Oost
e
nryck
a
dd kil
l
i
ng of O
P
_
PHIS
O
URCEs
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van
O
ostenryck
add
k
illin
g
of OP
_
SLICEs
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
L
uc Van Ooste
n
r
y
ck
fix show-pa
r
se()'s labels
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc
V
an Oostenryck
r
e
move u
n
used field 'goto_bb' in struc
t
statement
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van O
o
stenryck
re
m
ove unused field
'
multijmp' in st
r
uct
s
t
atement
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van
O
ostenryck
cleanup:
there is no
'
struc
t
p
h
i' to
alloc
a
t
e
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
O
ostenryck
tes
t
sui
t
e: quieter error reporting for 'k
n
own-
t
o-f
a
il'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
testsuite: allow q
u
ieter er
r
or repo
r
ti
n
g
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
os
t
enryck
tes
t
suite: get 'check-known-to-fai
l
'
earlie
r
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oo
s
te
n
ryck
testsuite: use 'error' instead of 'info' for su
c
cessful
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Ooste
n
ryck
t
estsuite: check the nbr of
tim
e
s a
pattern s
h
ould
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oo
s
t
e
nryck
test
s
uit
e
: add som
e
selfchecking
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n Oos
t
enryck
testsui
t
e: check pa
t
terns
p
res
e
nce or absenc
e
in output
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oostenryck
all
o
w
to
la
u
nch
t
h
e
test sui
t
e from the projec
t
root dir
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oostenryck
testsuite: report as err
o
r tests known
t
o fai
l
but
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oosten
r
y
c
k
testsui
t
e: add tag to igno
r
e the o
u
tput/error
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van Oosten
r
yck
t
est
s
ui
t
e:
a
dd a simple test for -Wenum-mi
s
ma
t
c
h
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oostenry
c
k
testsuite:
sim
p
l
i
fy the ioc-typech
e
ck case
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oos
t
enr
y
ck
testsuite
:
m
ake tests known to fail effectively fail
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Ooste
n
ryck
tests
u
i
t
e: g
i
ve a pr
o
p
er name to the
'b
i
nary-c
o
nstant
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c
V
an
O
os
t
e
n
ryc
k
expand __builtin_bswap*()
w
i
th constant ar
g
s
Based-on-patch-by: Christopher Li <
sparse@chrisli.org
>
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oosten
r
yc
k
l
et identical symbols share
t
heir e
v
a
l
uate/e
x
pan
d
met
h
ods
Originally-by: Christopher Li <
sparse@chrisli.org
>
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oostenryck
move evaluation
& expansion
of builtins
i
n a separ
a
te
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
a
dd support for LLP64 ar
c
h
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oost
e
nryck
s
i
mplify '(x || x)' and '
(
x && x)'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oos
t
enryck
simplify c
o
mparisons fol
l
owed by
a
n
eq
u
ality test
against
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oost
e
nryck
add warning option '-W
t
a
utolo
g
ical-co
m
pare'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c
Van Oosten
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 Oost
e
nryck
simplify '(x || 1)' to
'1'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
simpli
f
y
'
~
(
~x)
'
a
n
d '-(-x)' to 'x'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Va
n
Oos
t
e
nryck
s
implify '(x % 1)' into '0'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
simpli
f
y
'(x
/
-1)' to '-
x
' (but only for signed
division)
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oo
s
t
e
n
r
yck
simplify '
(
x *
-
1)' to '
-
x
'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oos
t
enryck
simplify
'
(
x
/ 1)' to 'x'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
m
ove OP_MUL simplificati
o
n
i
n
a separate f
u
nction
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
oste
n
ryck
defin
e
__LONG_
M
AX__ & __SIZEOF_POINTER__
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
os
t
en
r
yck
add an h
e
lper
f
or comm
o
n
predefined
m
acros
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
def
i
ne __LP64__ & _LP64 if
arch_m64 is e
n
a
bled
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n
Oostenr
y
c
k
fix
k
illin
g
OP_SETVAL instr
u
c
t
i
o
ns
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oos
t
enryck
remov
e
'Esc
a
pe'
f
r
o
m token character class
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oost
e
nryck
warn on u
n
known es
c
apes a
f
ter preproc
e
ss
i
ng
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oo
s
t
e
nr
y
ck
add test
c
a
se for
w
rong e
a
rly escape conversion
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oos
t
e
nryck
remove unused arg in us
e
s/de
f
s fun
c
tion
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oo
s
tenryck
validate expressio
n
's type in conditionals
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenry
c
k
add hel
p
er:
is_scalar_type()
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oosten
r
yck
fix
c
onditiona
l
context t
e
s
t
case
w
ith void
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
stenryck
cleanup kill_in
s
t
ruct
i
o
n()
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
s
tenryck
e
xplicite
l
y
ign
o
re
ki
l
lin
g
OP_ENT
R
Y
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c
V
an Oo
s
tenry
c
k
fix killing O
P
_C
O
MPUTEDGOTO
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Va
n
Oostenryck
fi
x
killing OP_SELECT
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van
Oostenryck
fix killing OP
_
CAST
& friends
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Ooste
n
ryck
fix ki
l
ling OP_PHI instr
u
ctions
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Ooste
n
ryck
kill
u
s
es of rep
l
ace
d
instruct
i
o
n
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van
Oostenryck
f
ix crash while tes
t
ing bet
w
een condi
t
i
o
n
a
l
& uncon
d
i
tional
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
fix cast's t
a
r
g
et type info
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an O
o
stenry
c
k
C
11: teach s
p
arse about '--s
t
d
=
{c11,gnu11}'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oostenryck
C11: teach sp
a
rse about '_
A
l
i
gnas(
)
'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
o
sten
r
yck
C
1
1:
t
each s
p
arse about
'
_Al
i
gnof()'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Ooste
n
ryck
C1
1
: teach sparse about '_Noreturn'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenry
c
k
C11: teach sp
a
rse ab
o
ut '_Thread_local
'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van Oostenr
y
ck
fix
v
alu
e
of
label statement
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
missing
l
oad simplification
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
o
s
tenryc
k
f
i
x ph
i
src mixup
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
fix
superfluous phisrc
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oo
s
t
e
nryc
k
v
olatil
e
lo
a
d
s must not be
s
im
p
lified
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an
O
ostenryc
k
u
n
ssa: updat
e
c
o
mment about the unne
e
d
e
d copies
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van Oostenryck
unssa: eliminate trivi
a
l phisrc copies
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
O
o
stenryck
unssa: try
to a
v
oid so
m
e OP_PHI copies
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
unssa: simplify r
e
write of OP_P
H
ISOURCE
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Ooste
n
ryck
unssa: do not try to update livene
s
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oostenry
c
k
fix cast to
b
o
o
l
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oostenryck
llvm: remove
u
nneeded OP
_
CO
P
Y
s
up
p
o
r
t
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
st
e
n
ryck
llvm: fix typing when comparin
g
to a
constant
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenr
y
ck
fix t
y
pi
n
g er
r
or i
n
compound a
s
si
g
nment
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oo
s
tenryck
add support for __int1
2
8
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Ooste
n
r
y
c
k
fix mis
s
i
n
g
e
lemen
t
in
t
ypes declaration
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van O
o
stenry
c
k
recursive phi_defines
c
anno
t
h
a
ppen
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
uc
V
a
n Oost
e
nr
y
ck
c
gc
c
shou
l
d
not define
n
on-reserved i
d
entifiers
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c
Van
O
ostenr
y
ck
Update maintai
n
ers in
t
he manpage
CC: Christopher Li <
sparse@chrisli.org
>
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oo
s
tenry
c
k
some modifi
e
rs need
t
o be p
r
e
ser
v
ed b
y
'typeof()'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
testsu
i
te: test m
o
difiers p
r
eserved
b
y 'typeof
(
)'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryc
k
te
s
tsuite: test modifiers preserved by '&' op
e
rator
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
u
se a
short
e
r n
a
m
e
f
or function-pointer-modifie
r
-in
h
e
r
i
tance
.
c
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oo
s
tenr
y
ck
testsuite: simplify test function-pointer-inh
e
ritance
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oos
t
e
n
ryck
sto
r
age sho
u
ld no
t
be inherite
d
by pointers
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
remove u
n
used
f
ield '
m
ultij
u
mp' in struct instr
u
ction
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an
Oo
s
tenryck
OP_SWITC
H
sh
o
u
l
d
u
se
'
i
ns
n
->cond' instead of 'insn
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
os
t
enr
y
ck
give
c
omparabl
e
label's nam
e
s to b
a
si
c
blocks
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
next