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 Van Oostenryck
avoid cra
s
h with test-li
n
earize -vv
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-03-06
Luc Van
O
o
s
tenryck
use VOID instead of direct
l
y u
s
i
ng &void_pseudo
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-03-06
L
uc Van Oost
e
nryck
move '
e
xtern with initializer' validation afte
r
the
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-03-06
Luc Van
O
oste
n
r
y
c
k
c
h
eck the storage of C99 for-loo
p
initi
a
lizers
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-03-06
Luc Va
n
Oostenryck
a
dd a
n
optional vali
d
ation
m
eth
o
d to e
x
ternal_de
c
l
aration()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-03-06
Luc Van Oostenryck
add test case
s
for storage of
c99 for-lo
o
p
declarations
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-03-06
Luc Van Oostenryck
a
dd test case fo
r
scope of C99 for-
l
oop decl
a
rati
o
ns
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-03-06
Luc Va
n
Oostenryck
replace
t
est for
c99 for-loop in
i
tializers
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-03-06
Luc Van Oostenry
c
k
remove unused helpe
r
is_br
a
nch_
g
oto()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-03-06
L
uc Van Oos
t
en
r
yck
sp
l
i
t OP
_
BR between
unc
o
nditional & conditio
n
a
l:
O
P_CBR
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-03-03
Luc Van
Oo
s
tenryck
f
i
x
size of loade
d
bitfields
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-03-03
Luc Van Oosten
r
y
c
k
fix us
a
ge in simplify_seteq_setne()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-03-03
Luc Van Oostenryck
i
g
no
r
e who
l
e-ra
n
ge overlappi
n
g initializer
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-03-03
Luc Va
n
Oostenryck
fix checking of overlappi
n
g
i
ni
t
i
a
li
z
er
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-03-03
Luc Va
n
Oostenr
y
ck
allow to war
n
on al
l
ove
r
lappi
n
g initializers
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-03-03
Lu
c
Va
n
O
ostenryck
a
d
d
tes
t
case for warnin
g
s about overlapping initi
a
l
i
z
e
r
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-03-03
Luc Van Oostenryck
use option:
'
-Woverrid
e
-
init'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-03-03
Edward Cree
Allow cas
t
ing to a r
e
stricte
d
type if !restri
c
ted_value
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-03-03
Luc
V
an
O
o
s
tenryck
make -Wbitwise ope
r
a
tional again
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-27
Luc Van O
o
stenryck
add
m
issing braces aro
u
nd 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
f
unct
i
o
ns
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-23
Luc Van Oost
e
nryck
C
S
E: a
v
oid hashing re
m
oved instructions
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-23
Luc Van Oos
t
e
n
ryck
CSE: us
e
commutativity to ide
n
ti
f
y
e
q
u
i
v
alent instructions
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-23
L
uc Va
n
O
o
stenryck
CS
E
: add test
c
ases for comparisons duality
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Va
n
Oostenr
y
ck
simplify float-
t
o-
f
loat c
a
sts that d
o
esn't
chan
g
e
s
iz
e
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van O
o
sten
r
yck
f
ix OP_PHI usage in try_to_simplif
y
_
b
b()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc
Van Oostenryck
use
k
il
l
_i
n
struct
i
on() when ki
l
ling an
y
ins
t
ructions
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van
O
o
stenryck
use kil
l
_in
s
truction
(
) whe
n
ki
l
ling
a
n OP_
P
H
I
durin
g
CSE
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oos
t
enryck
f
ix killing o
f
rewritten load
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oostenryck
add k
i
l
ling of
s
t
o
res
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc
Van Oos
t
enryck
add killing of non-
v
o
la
t
ile
l
o
a
d
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oos
t
enryc
k
f
i
x ki
l
ling OP_CALL vi
a
pointers
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
L
u
c Van
O
ost
e
n
ry
c
k
ad
d
kill
i
ng of pure call
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Lu
c
Van Oostenryck
kill_instructi
o
n(
)
may nee
d
to be
f
orce
d
or
not
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
L
uc Van Oo
s
t
e
nryck
fix killing of
o
the
r
wi
s
e not
-
handled instructions
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc V
a
n Oostenryck
remove unu
s
ed clear_p
h
i()
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
Lu
c
V
an
O
ostenryck
fix kil
l
ing o
f
O
P
_PHIs
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
L
uc V
a
n Oostenryc
k
add helpe
r
kill_use_lis
t
(
)
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van
O
ostenryck
add killing
o
f OP_PHI
S
O
URCEs
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
L
u
c Van Oostenryck
add killi
n
g
of
OP_SLICEs
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Va
n
Oos
t
enr
y
ck
fix show-pa
r
se()'s la
b
els
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Lu
c
V
an Oost
e
nryck
remove
u
nused field 'goto_bb' in struct statement
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van O
o
stenryck
remov
e
unused field
'mul
t
ijm
p
'
in struct st
a
tement
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
L
u
c Van Oo
s
tenryck
c
l
eanup: there is no
'
s
truct phi
'
to all
o
cate
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c
Van Oostenryck
testsuite: quieter
e
rror r
e
p
or
t
ing for '
k
nown
-
to-fail'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van
O
ost
e
n
r
yck
tes
t
s
u
ite: all
o
w
quieter error reportin
g
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oost
e
nryck
te
s
ts
u
ite: get 'check-
k
nown-
t
o-fa
i
l'
e
arlier
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c
V
a
n Oostenryck
testsuite: use 'error' i
n
stead of 'in
f
o'
f
or successful
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n
Oostenryck
t
e
s
t
su
i
te: check
t
he n
b
r
of times a pattern should
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc
V
an Oos
t
enryck
te
s
tsuite: a
d
d
s
ome s
e
lfchec
k
ing
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oostenryck
testsui
t
e:
c
h
eck
p
atterns
presence or a
b
s
enc
e
in
output
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oos
t
enryck
a
l
l
o
w
to lau
n
c
h the test suite from the project root dir
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van Oostenryck
testsuite: rep
o
rt as error te
s
ts kno
w
n
to fail but
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc
Van Oostenryck
te
s
tsuite: add tag
to ign
o
r
e the
out
p
ut/
e
rror
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van
O
ostenr
y
ck
testsuite:
a
dd a simpl
e
test
f
o
r
-W
e
num-
m
ismatch
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
tes
t
suite: s
i
mpl
i
fy the ioc-typecheck case
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oost
e
nryck
testsuite
:
make tests known to
fail
e
ffectivel
y
f
a
il
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van Oostenryck
testsu
i
te: giv
e
a proper nam
e
t
o the 'binary
-
cons
t
a
n
t
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oos
t
enryck
expand __built
i
n_b
s
wa
p
*() with cons
t
ant 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 Oostenryck
let ident
i
cal symbo
l
s share their evalua
t
e/expand me
t
hods
Originally-by:
Christopher Li
<sparse@chrisli.org>
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van Oostenryck
move eva
l
uatio
n
& expansion
o
f
b
uilt
i
n
s i
n
a separ
a
te
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van Oostenryck
add support f
o
r
L
L
P
64 arch
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryc
k
simpl
i
f
y
'(x
|
|
x)' and '(x
&
&
x)'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an
Oostenryc
k
simplify comparisons
f
ollowed
by
a
n equality test against
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c
Van Oostenry
c
k
add
warning option '-W
t
aut
o
logical-compare'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oostenryck
sim
p
l
i
f
y '(x
o
p x
)
' to '0',
'1' or 'x
'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Va
n
Oostenryck
s
i
mplify '(x || 1)' to '1'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oosten
r
yck
simpl
i
fy '~(~x)'
a
n
d
'
-
(-
x
)' to 'x'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oosten
r
yck
simplify
'(
x
% 1)' int
o
'0'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
a
n
Oos
t
enr
y
ck
s
i
mp
l
ify '(x
/
-
1)' to
'
-
x' (but
o
nly for
s
i
gned
div
i
sion
)
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
s
implify
'(x *
-
1
)
' to '-x'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oostenryck
sim
p
li
f
y '
(
x
/
1)'
to 'x'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van
O
ost
e
nryck
m
o
ve OP
_
MUL simplification
i
n
a se
p
a
r
ate function
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oost
e
nryck
d
e
fine __LONG_MAX__
&
_
_
SIZEOF_POINTER__
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenry
c
k
a
dd an helper for common predefi
n
ed macros
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van O
o
ste
n
ryck
define __LP64__ & _L
P
64 if arch_m64 is enabl
e
d
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van
Oosten
r
yck
fix killing OP_SETVAL
inst
r
uctions
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
remove 'Escape' from toke
n
c
ha
r
acter class
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oosten
r
yc
k
w
a
r
n on
unkno
w
n esca
p
es af
t
e
r
preprocessin
g
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oo
s
tenry
c
k
add
t
estcase for wrong early es
c
ape conv
e
rs
i
on
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c
Van O
o
stenryck
remove unu
s
ed arg in uses/de
f
s functions
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van Oosten
r
yck
v
alida
t
e expr
e
ssio
n
's type in conditionals
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oostenr
y
ck
add he
l
per: is_scalar
_
type()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryc
k
f
ix
conditional context test case with voi
d
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van Oo
s
tenryck
cleanup ki
l
l_instruct
i
on()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
ex
p
licitely ignore
killing
O
P
_
ENTRY
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oost
e
n
ryck
fix killing OP
_
COMPUTED
G
O
T
O
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van
O
ostenryck
fix killing OP_S
E
LECT
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
fix kil
l
in
g
OP_CAST
& fr
i
ends
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
f
i
x killi
n
g OP
_
P
H
I instru
c
tions
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an
Oo
s
tenryck
kill uses
o
f repla
c
ed instructions
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oostenryck
fix crash while testing betwe
e
n
c
o
nditional & unconditio
n
al
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oos
t
enryck
fix cast's ta
r
ge
t
type info
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
a
n O
o
stenr
y
ck
C11: teach sparse about '--st
d
={c1
1
,gnu11}'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
C11: teach sparse about '
_
Alignas()'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oo
s
tenr
y
ck
C11:
teach sparse
a
bout '_Ali
g
nof
(
)'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oosten
r
y
c
k
C11: teac
h
spar
s
e a
b
out '_Noreturn
'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c
V
an Oostenryck
C11: te
a
ch sparse
a
b
o
ut '_Th
r
ead_lo
c
al'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oosten
r
yck
fix value of label statement
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
next