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
cleanup: there is no 'struct phi' to allocate
2017-02-16
Luc Van Oo
s
tenryck
cleanu
p
: the
r
e is no 'stru
c
t
phi' to all
o
cate
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n
O
ostenr
y
ck
testsuite: quieter error r
e
po
r
ting for 'kno
w
n-to-fail'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oo
s
t
enryck
testsuite
:
al
l
ow quieter error re
p
ort
i
n
g
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Ooste
n
ry
c
k
testsuit
e
:
get 'check-known
-
to-fail' earlier
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Ooste
n
ryck
testsuite: u
s
e 'error' instead of 'info' for
s
ucces
s
ful
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
test
s
uite:
c
he
c
k the nbr
of times a
pa
t
t
ern should
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Ooste
n
ryc
k
tes
t
sui
t
e: add some
s
elfcheck
i
n
g
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenr
y
ck
testsuite: che
c
k patt
e
rns presence
o
r absence in output
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oostenryck
allow
to launch t
h
e t
e
s
t
suite from the project ro
o
t dir
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Ooste
n
ryck
testsuit
e
: repo
r
t as er
r
or tests known to fail but
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oostenryck
testsuite: add t
a
g
to
i
gnore the output/error
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oost
e
nryck
testsuite: add a simple test for -Wen
u
m-m
i
smatch
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenr
y
ck
testsuite: simplify the
i
oc-
t
ypechec
k
case
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oostenryck
testsuit
e
: make t
e
sts known to fail ef
f
ectively fai
l
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van Ooste
n
ryck
t
e
st
s
uite: give a proper name to th
e
'
binary-consta
n
t
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Ooste
n
r
y
c
k
expand _
_
b
ui
l
tin_bswap*()
w
ith co
n
stant args
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 Oostenryck
let identic
a
l
symb
o
ls
s
hare their evaluate/
e
xpand methods
Originally-by:
Christopher Li
<sparse@chrisli.org>
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oo
s
ten
r
y
ck
move evaluation &
e
xpa
n
sion of b
u
iltins in a s
e
pa
r
a
te
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
O
o
stenryck
a
d
d
s
uppor
t
for LLP64 arch
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van O
o
stenryck
s
im
p
l
i
fy '(x || x)' and '(x && x)'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenry
c
k
sim
p
l
i
fy comparisons followed
b
y a
n
equali
t
y
te
s
t ag
a
inst
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oo
s
tenr
y
ck
a
dd warning o
p
ti
o
n '-W
t
au
t
ologi
c
al-compare'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenr
y
ck
simpl
i
fy '
(
x op x)' t
o
'0', '1' or 'x
'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Ooste
n
r
y
ck
simplify '
(
x
|| 1)' to
'
1
'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
simplify
'
~(
~
x)' and '-(-x)' to 'x'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oostenryck
simplify '(x % 1)' into '0'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oostenryck
simp
l
ify '(x / -
1
)'
t
o
'-
x
' (but only
f
or signed di
v
i
s
ion)
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oostenryck
simplify '(x *
-
1)
'
to '-
x
'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oosten
r
y
ck
simplify '(x /
1)
'
to 'x'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van
Oostenryck
move OP_M
U
L
s
impl
i
ficati
o
n in a separate fun
c
tion
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oost
e
nryck
d
efine __LONG_
M
A
X
__ &
_
_SIZEOF_POINTER__
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
add an
h
elper fo
r
common predef
i
ned
m
acros
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oost
e
nr
y
ck
define __LP64__ &
_L
P
64
i
f arch_m64 i
s
enab
l
ed
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
f
ix killing
O
P
_S
E
T
V
AL instructions
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oostenryck
remove
'
Esca
p
e
'
f
r
om tok
e
n character cl
a
ss
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Va
n
O
os
t
e
n
ryck
warn on unknown
e
scapes after prep
r
o
c
essing
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van Oos
t
enry
c
k
add te
s
tcase for w
r
ong early esca
p
e con
v
ersion
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Va
n
Oostenryck
r
em
o
ve unuse
d
arg in uses/
d
efs f
u
ncti
o
n
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van
O
o
s
t
enr
y
ck
validate e
x
pr
e
ssion's type in condi
t
i
o
n
a
l
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
o
s
tenryck
ad
d
helper: is
_
scalar_t
y
pe()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oo
s
t
e
nryck
fix conditional conte
x
t test case with vo
i
d
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oostenryck
c
l
eanup kil
l
_instruction(
)
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenry
c
k
explici
t
ely ignore ki
l
ling OP_E
N
TRY
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
fix killing OP_COMPUTEDGOTO
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van
O
ost
e
nryck
fix killin
g
OP_S
E
L
E
CT
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Va
n
Oost
e
n
ryck
fix killing OP_CAST &
f
riends
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oostenryck
fix kill
i
n
g
O
P
_PHI in
s
t
r
uctions
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
a
n Oosten
r
yck
kill
u
ses of
r
eplaced
in
s
tructi
o
ns
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenr
y
ck
fix crash while
t
es
t
i
n
g betwe
e
n con
d
itional & unconditio
n
a
l
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
fix cast's target type info
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oost
e
nryck
C11:
teach s
p
arse a
b
out '--st
d
=
{c11
,
gnu11}'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c
Van Oostenryc
k
C11: teach spar
s
e about
'_Al
i
gnas(
)
'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oostenryck
C11:
te
a
ch sparse abou
t
'
_Alignof()'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oostenryck
C11: teach s
p
a
rse about '_Nor
e
t
u
rn'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oostenryck
C11: teach sparse about '_Thread_local'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oostenr
y
ck
fix val
u
e of label statement
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oostenryck
missing lo
a
d s
i
mplification
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
V
an Oos
t
enryck
fix phisrc
m
ixup
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oo
s
tenr
y
ck
f
ix superfluous ph
i
src
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oostenryck
volatile l
o
ads must not
be simpl
i
fied
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryc
k
unssa: updat
e
c
o
mment
a
b
out the
un
n
e
e
ded
c
opi
e
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van Oostenryck
u
nssa
:
e
l
i
m
inate trivial phisrc copies
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oosten
r
yck
u
nssa
:
try to avoid
s
ome
O
P_PHI
c
op
i
es
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oostenry
c
k
unssa: simplify rew
r
ite of OP_PHISO
U
RC
E
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
unss
a
: do not try to update
liveness
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenry
c
k
f
i
x cast to bool
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
llv
m
: remo
v
e unneed
e
d OP_COPY support
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c
Va
n
Oostenryc
k
llvm: fix
typing when
c
omparing to
a constant
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
fix typ
i
ng err
o
r in compo
u
nd assig
n
ment
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oo
s
t
e
nryck
add su
p
port
for __in
t
128
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
fix miss
i
ng el
e
m
ent in types declarati
o
n
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenr
y
ck
recursive phi_d
e
f
ines cannot happen
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryc
k
cgcc
s
hould no
t
define non-r
e
served identifiers
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenry
c
k
Update mai
n
tai
n
ers in the ma
n
page
CC:
Christopher Li
<sparse@chrisli.org>
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
V
an Oost
e
nryck
some modifier
s
ne
e
d to be
preserved by 'typeof()'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryc
k
tests
u
ite: test
modifi
e
rs pr
e
served by 'typeof()'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
ostenryck
t
e
stsuite: test modifi
e
r
s
pr
e
ser
v
ed by '&' o
p
erator
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oostenryck
use
a
short
e
r name for fu
n
c
t
ion-poin
t
er-modifier-inheritance
.
c
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
test
s
uite: simplify test fun
c
tion-
p
oin
t
er-inheritance
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van O
o
stenryck
storag
e
s
hould not be
inherited b
y
pointe
r
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Ooste
n
ryck
remov
e
unused field 'multijump' i
n
struc
t
instr
u
cti
o
n
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oostenryck
OP
_
SWITCH sh
o
uld
u
s
e
'insn->cond'
i
n
s
t
e
a
d of 'insn
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc
V
a
n Oostenryck
give comparable label's nam
e
s to basic block
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n
O
o
s
tenryck
l
e
t "compile" not crash on
b
ools
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van
O
ostenryck
make ptrlist walkin
g
aga
i
ns
t
ro
b
ust
a
gai
n
st
e
mpty
b
locks
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Emily Ma
i
er
validation: Chec
k
C99 for loop variables
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
D
aniel W
a
gner
par
s
e: Add comment to struct
s
t
ate
m
ent
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Oleg Nest
e
rov
diss
e
c
t
: s/mode_t/
u
sag
e
_t/ in
report_member()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
O
l
eg N
e
s
t
erov
d
i
ssec
t
: tea
c
h
do_in
i
tializer() t
o
ha
n
dle the nes
t
ed
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Oleg
Nesterov
di
s
sect: tea
c
h
d
o_expression() to
handle EXPR_OFFSETOF
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oost
e
n
r
yck
add t
e
st case for built
i
n bsw
a
p
with constant args
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Johannes Berg
impl
e
ment
c
onstant-f
o
ldi
n
g in
__b
u
ilt
i
n_b
s
wap*()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Ooste
n
ryck
fix
disc
a
rded label statement
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oostenr
y
ck
Remo
v
e
unneede
d
varia
b
le
i
n
in
t
ege
r
_
pr
o
motion
(
)
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oosten
r
yck
Warn
on unknown
attributes
instead of throwing erro
r
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n
Oost
e
nry
c
k
cl
e
anup:
remo
v
e
evaluate_argument
s
()'s unused ar
g
um
e
nt
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-01-27
L
u
c Van
Oosten
r
y
c
k
make
'i
g
nored_attributes[]' stat
i
c
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-01-27
Emily Maier
linearize: Emit C99 declaratio
n
s correctly
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-01-27
Luc Van O
o
st
e
nryck
add
m
issin
g
#include "char
.
h" to char
.
c
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-01-27
Luc Van Oostenryck
F
ix type checki
n
g of variadic func
t
i
ons
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
next