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
avoid crash with test-linearize -vv
2017-03-31
Luc Va
n
Oo
s
tenryck
avoid cra
s
h
w
ith
t
e
st-linear
i
z
e -vv
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-03-06
Luc Van
O
ostenry
c
k
use VOI
D
i
n
s
tead of directly usin
g
&
v
o
i
d_pseudo
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-03-06
L
u
c Van
O
o
s
t
e
nryck
move
'extern w
i
th init
i
alizer' validation after
t
he
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-03-06
Lu
c
V
an O
o
stenryck
chec
k
th
e
storage of C99
f
or-loop i
n
itializers
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-03-06
Luc Van Oost
e
nryck
add an
optional validation
m
ethod to exte
r
na
l
_declaration()
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-03-06
Luc Van Oostenryck
a
dd te
s
t cases for sto
r
a
ge of c99 for-loop decla
r
ations
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-03-06
L
uc Va
n
Oos
t
enryck
add test case for scope
of C99 for-loo
p
declarati
o
ns
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-03-06
Luc Van O
o
stenryck
replace test for c99
f
or-loo
p
i
nitia
l
ize
r
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-03-06
Luc V
a
n Oostenryck
remove unused he
l
per is_branc
h
_goto()
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-03-06
Luc Van Oos
t
en
r
y
ck
split OP_BR be
t
ween unconditional &
conditio
n
al:
OP_CBR
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-03-03
Luc Van Oostenryck
fix si
z
e
of loaded bitfiel
d
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-03-03
Lu
c
Va
n
O
o
ste
n
ryck
fix
u
sage in sim
p
lif
y
_s
e
teq_setne()
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-03-03
Luc Van Oostenryck
i
g
no
r
e
whole-range
o
v
erlap
p
ing initial
i
z
er
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-03-03
Luc Va
n
O
ost
e
nryck
fix ch
e
cking of ov
e
r
l
apping initializer
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-03-03
Luc
V
an O
o
stenryck
allow t
o
w
a
rn on all over
l
apping initializers
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-03-03
Luc V
a
n
Oost
e
nryck
add test
case
for warning
s
about
over
l
apping initializers
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-03-03
Luc V
a
n Oostenryck
use
option: '
-
Wover
r
ide-init'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-03-03
E
dward C
r
ee
Allow
c
a
sting to
a restri
c
t
e
d type if !
r
estrict
e
d_v
a
lue
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-03-03
Luc Van Oostenr
y
ck
make -Wbitwise operational
again
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-27
Luc
V
a
n Oostenryck
a
d
d missing
br
a
c
es around
F
OR_EAC
H
_PTR loop
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-26
Luc Van Oostenr
y
ck
f
i
x expansion
cost of pure functions
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-23
Luc
V
a
n Oost
e
nr
y
c
k
CS
E
: avoid hashing remo
v
ed
ins
t
ructions
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-23
Luc Van Oostenryck
C
S
E
:
u
s
e commutati
v
i
ty to
i
d
entify equival
e
nt
i
nstructi
o
ns
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-23
Luc Van Oostenryck
CSE
:
a
d
d test cases for compariso
n
s duality
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc Va
n
Oostenryck
simpl
i
fy
f
loat-to-float
c
a
s
t
s
that
d
oesn't change
size
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Lu
c
V
a
n Oostenryck
fix
O
P_PHI usage in tr
y
_to_s
i
mplify
_
bb()
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
L
u
c Van Oo
s
tenryck
u
s
e
kil
l
_instr
u
c
tion(
)
w
h
e
n
k
i
l
ling any instructio
n
s
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oostenryck
use kill_in
s
truct
i
on() when kil
l
ing
a
n OP_PHI d
u
rin
g
CSE
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oostenry
c
k
fi
x
kill
i
ng of
r
ewritten loads
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc
Van Oostenryck
add killing of sto
r
es
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oostenryck
add ki
l
l
i
n
g of non-
v
olatile loads
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oostenr
y
ck
fi
x
kil
l
i
n
g
O
P
_
CAL
L
via poi
n
t
ers
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
L
uc V
a
n Oostenryck
add
k
il
l
i
ng o
f
pure cal
l
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oosten
r
yck
kill_instr
u
ctio
n
() m
a
y need to b
e
f
orced or not
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc V
a
n Oosten
r
yck
fix kill
i
ng of
o
therwise not-h
a
n
d
le
d
ins
t
ructions
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oostenryc
k
r
e
m
ove unu
s
ed 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_instruction()
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Ooste
n
ryck
fix
killing of OP_P
H
Is
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc V
a
n Oo
s
t
e
nr
y
c
k
a
dd helper k
i
ll_u
s
e_lis
t
()
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
L
uc
V
an Oostenryck
ad
d
killing of OP_PHI
S
OU
R
CEs
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oosten
r
yck
a
dd killing of OP_SLICEs
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
L
u
c Van Oostenryck
f
ix show-parse()'
s
labe
l
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc
Van Oostenryck
rem
o
v
e
u
n
used field 'go
t
o_bb' in stru
c
t st
a
tement
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc
V
an Oostenryck
remove unused field 'mu
l
t
i
jmp' in struct
s
tatemen
t
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc Va
n
O
o
s
t
enryc
k
cle
a
n
u
p: ther
e
is no
'struct ph
i
'
to allocate
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Va
n
Oost
e
nryck
testsuite: qu
i
eter e
r
ror reportin
g
fo
r
'
k
n
ow
n
-to-fail'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
ostenryck
testsuite: allow quieter error reporting
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oostenryck
testsuite: get
'check-known
-
to-fail'
e
arl
i
er
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
testsuite: u
s
e 'er
r
or' instead
o
f 'info'
for succ
e
ssful
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an O
o
ste
n
ryck
t
estsuite: ch
e
ck t
h
e nbr of
t
i
m
es a
p
atter
n
shoul
d
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oo
s
t
enryc
k
testsuit
e
: add som
e
s
elfchec
k
ing
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Ooste
n
r
y
ck
testsu
i
te: check patte
r
ns pres
e
nce or absence in outpu
t
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
a
n Oostenryck
allo
w
to launch the
t
est suite from the
proj
e
ct root dir
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oo
s
tenryck
testsui
t
e: report as error
tes
t
s
known to fail
b
u
t
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oo
s
tenryck
testsuite: add ta
g
t
o
ignore th
e
outp
u
t/error
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
te
s
t
s
u
ite: add
a
sim
p
le test for -
W
enum-mism
a
tch
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oostenryck
tests
u
ite:
simplify the ioc-t
y
pec
h
e
c
k case
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
testsuite: make tests known to
fail effectively fail
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oost
e
n
ry
c
k
testsuite: give a pro
p
e
r name
t
o t
h
e
'
binary-con
s
tant
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oostenryck
e
xpand __builtin_bswap
*
(
)
with co
n
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
Luc Van
Oostenry
c
k
let
identical sy
m
b
ol
s
sha
r
e their evaluate/expand methods
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 evalu
a
tion & exp
a
n
s
ion of bui
l
ti
n
s in a separate
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Ooste
n
ryc
k
a
d
d
s
upport
for LLP64 arch
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oostenryck
si
m
p
l
ify '
(
x |
|
x)' and '(x && x)'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oos
t
enryck
s
implify compari
s
ons fo
l
lowed by an equali
t
y test a
g
ain
s
t
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van
O
ostenryck
add warni
n
g option '-Wtautological-compare'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n Oostenryck
si
m
p
lify '(x op x)' to
'0', '1' or '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 '1'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van Oo
s
tenryck
simplify '~(~x)' and '-(-x)' to 'x'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n Ooste
n
ryck
sim
p
lify '(x
% 1)' int
o
'0'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
s
imp
l
i
fy '(x / -1)' to
'-x' (but
o
nl
y
for signed divis
i
on)
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n Oostenry
c
k
s
i
m
plify '(x * -1)'
to '-x
'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenr
y
ck
si
m
plify '(x / 1)' to 'x'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Ooste
n
ryck
move OP_MUL simpl
i
ficat
i
on
in a separate function
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oostenryck
define _
_
LONG_MAX__ & __SIZEO
F
_POINTER__
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
add an h
e
lper
f
or common prede
f
ined macros
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oos
t
e
n
r
yck
define __LP64__ & _LP64 if a
r
ch_m64 i
s
enabled
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c
Van Oosten
r
yc
k
f
ix killin
g
OP_SETVAL instru
c
tions
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
remov
e
'Escape'
f
ro
m
token ch
a
racter class
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
st
e
n
ryck
warn
o
n unknown es
c
apes after preprocessing
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oo
s
tenry
c
k
a
d
d
testcase for wrong early esc
a
pe conversion
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oo
s
tenryck
r
e
move unus
e
d a
r
g
in uses
/
defs func
t
ions
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van
O
os
t
enr
y
ck
val
i
dat
e
expression's ty
p
e in c
o
nditio
n
a
l
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oos
t
e
n
ryck
a
dd helper:
is_scalar_ty
p
e()
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oost
e
nryck
fix
c
onditional context
t
est case with
void
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oostenryck
cleanup kill_
i
nstruc
t
i
on()
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
osten
r
yck
explic
i
tely ignor
e
killing OP_
E
NTRY
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
fix killing OP_COM
P
UTEDGOTO
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
fix ki
l
l
ing OP_SELECT
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
uc
V
an Oostenryck
fix killin
g
O
P
_CA
S
T &
fri
e
nds
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oostenryck
fix killing
OP_PHI instr
u
ctions
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
k
i
l
l
u
ses of replaced instructions
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oosten
r
yck
fix crash wh
i
l
e testing
b
etween conditional & u
n
con
d
itio
n
al
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oos
t
enryck
fix cast's
t
arget type
i
nfo
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oosten
r
y
ck
C
1
1: te
a
ch spars
e
a
bout '-
-
std={c11
,
gnu11}'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
a
n Oostenryck
C1
1
:
teach
s
par
s
e about '_Aligna
s
()
'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oostenryck
C11:
te
a
c
h
spa
r
se
a
bout '_Ali
g
no
f
()'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oos
t
enryck
C11: teach sparse about '_Noretu
r
n'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oostenryck
C11: tea
c
h sparse about '_Thread_local'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oost
e
nryck
f
ix val
u
e
o
f label state
m
ent
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
next
