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
testsuite: make tests known to fail effectively fail
2017-02-13
Luc
Van Oostenryck
testsuite:
make tests kn
o
wn to fail effectively f
a
il
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c
V
a
n Oos
t
e
n
r
yck
tests
u
it
e
: give
a pro
p
er na
m
e to
the 'binary-co
n
stant
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
stenryck
expand __builtin_bsw
a
p*() wit
h
constant 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 Oost
e
nryc
k
le
t
identical symbols sh
a
re t
h
eir
ev
a
lu
a
te/e
x
pa
n
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
L
u
c Van
O
ostenryck
move evaluat
i
o
n
& expansion of bui
l
t
ins
i
n
a sep
a
rate
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oos
t
enryc
k
ad
d
supp
o
rt f
o
r L
L
P
6
4
ar
c
h
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
a
n
Oo
s
tenryck
s
impli
f
y '(x ||
x
)' and '(x && x)'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oostenryck
simpli
f
y co
m
p
ariso
n
s
foll
o
wed by
an equality t
e
st against
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oost
e
nryck
add warnin
g
opt
i
o
n
'-Wtautological-compare'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n Oostenr
y
ck
simplify '(x op
x)' to '0'
,
'1' or 'x
'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oostenry
c
k
simplify '(x || 1
)
'
to '1'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Ooste
n
ryck
sim
p
lify '
~
(~
x
)' an
d
'-(-x
)
' to 'x'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oostenryck
simplif
y
'(x % 1
)
' into '0'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Ooste
n
ryck
simplify '
(
x / -1)' to '-x'
(
but
o
nly f
o
r signed division)
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an
O
o
s
tenryck
simp
l
ify '(x * -1)'
to '
-
x'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Ooste
n
ryck
simplify '(x
/ 1)' to '
x
'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oost
e
nry
c
k
mov
e
OP_MUL simpli
f
ication in
a
s
e
parate
function
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oos
t
enryc
k
defi
n
e __
L
O
NG_MAX__ & __SIZEOF_POINTER_
_
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
add an he
l
per for common predef
i
ned macros
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Va
n
Oostenryck
define __
L
P64
_
_ & _LP
6
4
if arch_m64 is enabled
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenr
y
ck
fix killing OP_S
E
T
VAL instructio
n
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oostenryck
remove
'
Es
c
ap
e
'
from token c
h
ar
a
cter class
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
warn
o
n unknown escapes after preprocessing
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
V
an O
o
s
t
e
n
r
yck
add test
c
ase for wrong ear
l
y
es
c
ape con
v
ersion
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
remove
u
n
u
sed arg in uses/defs fu
n
c
tions
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oostenryck
validate
e
xpression's type
i
n
c
o
nditiona
l
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van
Oostenryc
k
add h
e
lper: is
_
scalar_type()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
fi
x
conditional contex
t
test case with void
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oostenryck
cle
a
nup kill_
i
nstructi
o
n()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c
Van Oosten
r
y
ck
explicitely ignore killing OP_ENTRY
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
o
stenryck
fix
k
i
lling OP_COMPUTEDGOTO
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oostenryck
fix killing O
P
_
SELEC
T
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Ooste
n
ryck
fix kil
l
ing
O
P_CAST & friends
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
fix k
i
lli
n
g O
P
_PHI in
s
tructio
n
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
V
a
n
Oost
e
nryck
k
ill
u
ses of replaced instructions
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oosten
r
yck
fix
crash while
te
s
ting between conditio
n
al
& unconditional
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oostenryck
fi
x
cast's t
a
rg
e
t t
y
pe
i
nf
o
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oostenryck
C
1
1: teach sparse a
b
out '--std={c11,gnu11}'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van
Oostenr
y
ck
C11:
t
eac
h
sparse about '_Alignas
(
)'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oostenryck
C11: teach
s
parse abo
u
t '_Alignof
(
)'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oost
e
nryck
C11: teach spa
r
se about
'
_
Noretur
n
'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n Oostenry
c
k
C11: teach sparse ab
o
ut '_Thread_lo
c
al
'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van Oo
s
tenryc
k
fix
value
o
f label stateme
n
t
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc
V
an Oost
e
nryck
missi
n
g
l
oad si
m
plificat
i
on
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n Oos
t
enryck
fix phisrc mix
u
p
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oostenr
y
c
k
fix superfluous
p
h
i
src
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
vol
a
til
e
loads must not be simplified
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oosten
r
yck
unssa: update comment abou
t
t
he unneeded
c
opies
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
V
a
n Oostenryck
unssa: el
i
minate trivial phisr
c
copie
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
unssa: t
r
y
to avoid some O
P
_PHI copies
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oosten
r
yck
unssa: simplify rewrite of OP_PHISOURCE
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oo
s
tenryck
unssa: do not
t
r
y
t
o
update liveness
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
fix c
a
st to bool
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
llvm: remo
v
e unn
e
eded
OP_COP
Y
support
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
llvm: fix typing
w
hen comparing to a constant
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c
Van Oosten
r
yck
f
i
x typing
error in compound assignm
e
nt
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an O
o
stenryck
add su
p
port fo
r
__int1
2
8
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oost
e
nryck
fi
x
missing
e
le
m
e
n
t
in t
y
pe
s
declar
a
ti
o
n
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
r
e
cursive
phi_defines canno
t
h
a
pp
e
n
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oos
t
enry
c
k
cg
c
c
should not define non-
r
es
e
rved identifiers
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
U
pdate maint
a
iners in
th
e
manpage
CC:
Christopher Li
<sparse@chrisli.org>
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
some m
o
di
f
ier
s
need to be preser
v
ed by
'typeof
(
)
'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n Oostenr
y
ck
testsuite: test modifie
r
s preserved
b
y
'typeof()'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
a
n
O
o
sten
r
yc
k
t
estsuite: test
modifiers
preserved by '&
'
o
p
era
t
or
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
ostenryck
use a sho
r
ter n
a
me for functi
o
n-poi
n
ter-modif
i
e
r
-inheritance
.
c
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oo
s
tenr
y
ck
testsuite: simplify
test fun
c
tion-pointer-
i
nheritance
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oosten
r
y
c
k
storage
s
hould not
b
e inhe
r
ited by
p
ointers
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oo
s
t
e
n
r
yck
remove
u
n
used field 'multijump' in struct i
n
stru
c
t
ion
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oos
t
e
nryck
OP_SWITCH
s
hould use 'in
s
n->cond' inst
e
ad of
'in
s
n
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oostenryck
giv
e
co
m
parable lab
e
l's names to b
a
sic blo
c
ks
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc V
a
n Oost
e
nryc
k
l
et "compile" no
t
crash o
n
bools
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Ooste
n
ryck
make
ptrlist walkin
g
against robu
s
t against empty blocks
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Emily Maier
validation: Check C99 for loo
p
v
ariables
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Daniel Wagner
p
arse:
Add co
m
ment to struc
t
sta
t
ement
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Oleg Nest
e
rov
dissect: s/mode_t/u
s
a
g
e
_
t
/
in
report_member()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Oleg
N
este
r
ov
dis
s
ect: teach do_initialize
r
()
t
o handle the nested
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Oleg N
e
st
e
rov
dissect: teach do_e
x
pr
e
ssion
(
) to ha
n
dle EXPR_OF
F
SETO
F
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van Oosten
r
y
c
k
add test
case for builtin bswap with constant args
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Jo
h
annes Berg
i
mplement con
s
t
ant
-
f
olding
in
__builtin_bswap*()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
fi
x
discarded label statem
e
nt
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Ooste
n
ryck
Remove unneed
e
d variable in integer_promot
i
on()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenr
y
ck
Warn on unknown a
t
tributes instead of throwing e
r
ror
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n
Oo
s
t
e
nryck
cleanup:
r
emove evaluate_argu
m
en
t
s(
)
's unused argument
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-01-27
Luc Van Oostenryck
make 'igno
r
ed_attributes[]' static
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-01-27
Emily
Maier
linea
r
ize: Emit C99 declar
a
tions
c
or
r
ectly
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-01-27
Luc Van
O
ostenryc
k
add
m
issing #include
"char
.
h" to char
.
c
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-01-27
Luc Van Oostenryck
Fi
x
ty
p
e checking
of variadic
f
unctions
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-01-27
Lance R
i
c
h
ardson
sparse: up
d
ate __builtin_object_size() pro
t
otype
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-01-27
Luc Va
n
O
o
stenryck
fix mixup in "Ha
n
dl
e
S
Forced
i
n storage_m
o
difiers"
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2016-11-16
Jeff La
y
ton
H
andle SForce
d
in stor
a
g
e
_modifiers
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2016-10-27
R
u
i Teng
sparse: add no_s
a
n
itize_address
a
s
an i
g
nored at
t
rib
u
t
e
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2016-10-13
Lance Richar
d
so
n
spars
e
: ignore __assum
e
_aligned__ attribute
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2016-10-13
R
ams
a
y
Jones
s
p
arse: a
d
d '
a
l
loc_align' to the ignored attributes
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2016-10-13
Chr
i
stopher Li
F
i
x warning compilin
g
sparse-llvm
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2016-02-22
Luc Van Oosten
r
y
ck
Do not drop 'nocast'
m
odifie
r
when taking the address
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2016-02-04
Lu
c
Van Oostenryck
Fix si
z
e
calculation of unsized
b
ool a
r
r
a
y
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2015-08-15
Tony
C
amu
s
o
Add default case to switches on
en
u
m va
r
iables
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2015-08-15
T
o
ny Camu
s
o
.
gitign
o
re: a
d
d cs
c
ope an
d
Qt p
r
oject fil
e
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2015-08-04
Dan Carpen
t
er
ptrlist: read
i
n
g
d
eleted i
t
ems in NEXT_PTR_LI
S
T()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2015-06-14
A
z
at
Khu
z
h
in
v
a
l
idation/prototype: regressio
n
for skipping proto
t
ypes
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
next