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 VOID instead of directly using &void_pseudo
2017-03-06
Luc
Van
O
osten
r
y
c
k
use
VOID inste
a
d of directly using &void_pseudo
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-03-06
L
uc Van Oosten
r
y
ck
move 'exte
r
n with in
i
tializer'
v
alidation after the
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-03-06
Luc Van Oostenryck
c
h
eck
t
he storage of C99 for-loop initializers
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-03-06
Luc Van Ooste
n
ryck
a
d
d an optional
validatio
n
method to external
_
declaration()
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-03-06
Luc Van
O
ostenryc
k
ad
d
t
e
st cases for sto
r
age
of c99 for-loop
declarations
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-03-06
L
u
c
Van Oost
e
nryck
add
t
est case for scope of C99 f
o
r
-loop
d
eclarations
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-03-06
Luc Van Ooste
n
ryc
k
r
e
p
lace te
s
t for c99 for-loop initializers
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-03-06
Luc Van
O
ostenryc
k
remove unused helper is_branch_
g
oto()
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-03-06
L
uc
Van Ooste
n
ryck
s
plit
OP_B
R
b
etween unconditional & conditional: 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
b
itfie
l
ds
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-03-03
Luc Van Oostenryck
f
i
x usage
i
n si
m
pli
f
y
_
seteq
_
setn
e
()
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-03-03
Luc Van Oostenryck
igno
r
e
w
hole-rang
e
overla
p
ping initializer
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-03-03
Luc Va
n
Oost
e
n
r
yck
fix c
h
ecking of ov
e
rlapping ini
t
ializer
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-03-03
Luc V
a
n
O
o
s
tenryck
a
l
low to warn on al
l
overlappi
n
g initializers
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-03-03
Luc V
a
n Oostenryck
add test case for warni
n
gs about
o
verlapp
i
ng
i
nitializers
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-03-03
Luc Van Oostenryck
use op
t
ion:
'
-
Wover
r
ide
-
init'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-03-03
Edwa
r
d
Cree
Allow casting to
a
r
estrict
e
d type i
f
!restricted_value
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-03-03
Luc Van Oos
t
enryck
make -
W
bitwi
s
e operat
i
onal
again
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-27
Luc Van
O
o
stenry
c
k
add missing braces around FOR_EACH_
P
TR loop
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-26
Luc
V
an Oosten
r
yck
fix
e
xpansion co
s
t of pure
funct
i
ons
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-23
L
uc V
a
n Oostenryck
C
S
E:
a
void hashing removed
ins
t
ruction
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-23
Luc Van Oostenryck
CSE:
use co
m
mutativ
i
ty
t
o ide
n
tify eq
u
ivalent instr
u
ctions
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-23
Lu
c
Van O
o
stenryck
CSE
:
add tes
t
cases for comparisons
duality
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oostenryck
simplify
float
-
to-float casts that d
o
esn't change si
z
e
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oo
s
t
e
n
r
yck
fix OP_PHI
u
sage in try_to_
s
i
m
plify
_
bb(
)
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Lu
c
Van O
o
stenryc
k
use kil
l
_i
n
s
t
ruction()
w
hen ki
l
ling any in
s
tructions
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
L
uc Van Oostenryck
use kill
_
instructio
n
() when ki
l
ling an O
P
_PHI during CS
E
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oostenr
y
ck
f
i
x
killi
n
g of re
w
r
i
t
ten loads
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Lu
c
Van Oostenryck
a
dd killi
n
g of stores
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van
O
o
sten
r
yck
a
d
d killing o
f
non
-
volatile loa
d
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
L
u
c Van O
o
stenr
y
ck
fix killin
g
O
P
_C
A
LL via poi
n
ters
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
L
u
c Van
O
ostenryck
add killing of pur
e
call
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
L
u
c
Van Oostenryck
kill_instruction() may
n
eed to be for
c
ed o
r
not
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Ooste
n
r
y
c
k
f
ix
k
illing o
f
otherw
i
se not-h
a
ndled in
s
truct
i
on
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc V
a
n
Oostenryck
remove
u
nu
s
ed clear
_
phi()
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc
V
an Oostenryc
k
fi
x
clear_phi(), replace it by
k
ill
_
instruction()
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oostenryck
fix
k
illin
g
of OP_PHIs
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Ooste
n
ryck
add helper kill_use_list()
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
L
u
c Van Oo
s
tenryc
k
add k
i
lling o
f
OP_PH
I
SOU
R
CEs
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oosten
r
yck
add
k
illi
n
g
of OP_SLIC
E
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
L
u
c Van Oos
t
enryck
fix sh
o
w-parse()'s labels
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oosten
r
yck
remove unused f
i
eld 'goto_bb'
i
n struct statement
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc
Van Oostenryck
remove un
u
sed field 'multijmp' in stru
c
t
st
a
tement
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
L
uc Va
n
Oost
e
nryck
c
leanup: there
i
s
no
'struct phi'
t
o all
o
cate
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
s
tenryck
t
e
st
s
uite: q
u
ieter error reporting for 'known
-
to-fail'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oos
t
enryck
tes
t
suite:
a
llow quieter error reporting
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van Oos
t
enryck
test
s
uite: get 'check-known-to-
f
ail' earli
e
r
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenry
c
k
testsuite: use 'error'
i
nstead o
f
'
in
f
o' for successful
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oos
t
e
nryck
testsuite: check
t
h
e nb
r
of time
s
a pattern should
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
testsuit
e
: add so
m
e
selfc
h
ecking
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oostenryck
testsui
t
e
:
ch
e
c
k
pa
t
terns p
r
esence o
r
abse
n
ce in outp
u
t
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oo
s
tenryck
allow to lau
n
ch
the test su
i
te from the project roo
t
dir
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n Oostenryck
t
e
stsuite: report a
s
error tests
k
nown to fa
i
l but
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenr
y
ck
testsui
t
e: add tag
to
ignore the output/err
o
r
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
ostenryck
testsuite: add a
simple test for -Wenum
-
m
i
smatch
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oosten
r
yck
testsuite: simplify
t
he ioc-typech
e
ck ca
s
e
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
te
s
t
s
uit
e
:
m
ak
e
t
e
sts known to fail effectiv
e
l
y
fail
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oost
e
nryck
testsuite: gi
v
e
a proper na
m
e to the
'bi
n
ary-constant
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryc
k
e
xpand __builtin_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
Luc Van Oostenryck
let identical s
y
mbols share their evaluate
/
expand
m
ethods
Originally-by: Christopher Li <
sparse@chrisli.org
>
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oost
e
nryck
m
o
ve
evaluation &
e
xpansion of builtins in a separate
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n Oostenryck
add support for LLP64
arch
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
ostenryck
s
implify
'
(
x || x)' and '(x && x)'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oo
s
ten
r
yc
k
s
i
mplify comparisons foll
o
wed
b
y an e
q
uali
t
y te
s
t ag
a
inst
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oostenryc
k
add warning o
p
tion
'
-Wtautol
o
gical-compare'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oostenryck
sim
p
lify '(x op x)' to '0'
,
'1' or 'x
'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
simplify '(x
|
|
1
)' to '1'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oo
s
t
enr
y
ck
simplify '~(~x)' and '-(-x)' to 'x'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Ooste
n
r
yck
sim
p
lif
y
'(x % 1)' into '
0
'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
a
n Oostenryck
simpl
i
fy '(
x
/
-1)'
t
o '-x' (
b
ut only for signed division
)
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
si
m
p
lify '(
x
* -
1
)' to '-x'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oostenryc
k
sim
p
lif
y
'(x /
1)' to 'x'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c
V
an Oosten
r
yc
k
move OP_MUL
s
impli
f
ic
a
tio
n
in a separate function
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oostenryck
de
f
ine __
L
ONG_MAX__ & __SI
Z
EOF_
P
OINTER__
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oos
t
enryck
add an
helper for com
m
on
predefined macr
o
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
a
n Oostenry
c
k
define __LP64__ & _LP64 if arch_m64 is enabl
e
d
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oo
s
tenryck
fix
k
i
l
ling OP_SETVAL instructions
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
uc
V
a
n
O
o
stenryck
remo
v
e 'Escape' from
t
ok
e
n character class
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oost
e
n
ry
c
k
warn on unkn
o
wn
e
sca
p
es after prepr
o
cessing
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oostenryck
add t
e
stcas
e
f
or wrong e
a
rly
e
sc
a
pe c
o
nversion
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryc
k
r
emove unus
e
d arg in u
s
es/defs functions
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
a
n O
o
stenryck
val
i
date express
i
on
'
s type in co
n
ditional
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
add h
e
lper: i
s
_scalar_type()
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryc
k
fix
c
o
nditi
o
nal
c
ontext
test case
w
ith voi
d
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an
Oostenryck
cleanup kill_instruction()
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
expli
c
itely ignore
k
ill
i
ng OP_ENTRY
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenr
y
ck
fix killing
OP_COMPUTEDGOTO
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oosten
r
yck
f
ix ki
l
ling OP_SEL
E
CT
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
fix killi
n
g O
P
_CAST & frie
n
ds
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oo
s
tenryck
fix killin
g
OP_PHI
i
nstruction
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Va
n
Oostenr
y
ck
ki
l
l use
s
of repl
a
c
e
d
i
nst
r
uctions
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oos
t
enryck
fi
x
cras
h
while testin
g
between
condition
a
l
&
unco
n
d
i
t
i
o
nal
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
osten
r
yc
k
fix cast's ta
r
g
et type info
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oostenryck
C11: teach spars
e
about '--std={c11
,
g
n
u11}'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenr
y
ck
C
11
:
teach
s
p
arse about '_Aligna
s
()'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
O
os
t
enryck
C11: t
e
ach spar
s
e abo
u
t
'
_Aligno
f
(
)'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oost
e
nryck
C11: teach sparse about '_Noreturn'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oostenr
y
ck
C11: te
a
ch sparse about '_Thread_local'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van
O
ostenryck
fix value of label sta
t
ement
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
stenryck
missi
n
g load simp
l
i
f
i
cation
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
next