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
simplify '(x || 1)' to '1'
2017-02-13
Lu
c
Van
O
ostenryck
simplify '(
x
||
1)' to '1'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Ooste
n
ryck
simpl
i
f
y '~(~
x
)' and '-(-x)'
to 'x
'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oo
s
tenry
c
k
s
i
m
plify '(
x
% 1)'
i
nto '
0
'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van Oostenryck
simpl
i
fy '(x / -1)' to '-
x
' (b
u
t
o
n
ly
f
o
r
s
igned
divis
i
o
n)
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van Oosten
r
yck
si
m
pl
i
fy '(x * -1)' to '-x
'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
s
ten
r
yck
si
m
plify '(x / 1)' to '
x
'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc
Van
Oostenr
y
ck
m
o
ve
OP_M
U
L
simp
l
ificat
i
o
n in a
s
eparate functi
o
n
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n Oostenryck
d
ef
i
ne
_
_L
O
NG_MAX__ & __SIZEOF_POINTE
R
__
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
sten
r
yck
add an
h
e
l
per f
o
r common predefined
macro
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n
Oosten
r
y
c
k
defi
n
e __LP64__ &
_LP
6
4
if a
r
ch
_
m6
4
is e
n
ab
l
ed
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Ooste
n
ryck
fix
k
illing OP_SETVAL instructions
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c
Van Oost
e
nryck
remove 'Escape' from
to
k
en character cla
s
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oost
e
n
r
yck
warn
on
u
n
k
n
o
w
n escapes after preprocessing
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oostenryc
k
add testcase for wrong early e
s
cape conver
s
ion
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n Oostenr
y
ck
remove unused arg in u
s
es/defs functions
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oosten
r
yck
validate e
x
p
ressi
o
n's ty
p
e
i
n co
n
dition
a
ls
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
s
te
n
ryck
add helper: is_scal
a
r_type(
)
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n Oo
s
tenryck
fix
c
on
d
itional
context tes
t
c
a
se w
i
th void
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oos
t
enr
y
ck
cle
a
nup k
i
ll_instruction()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc
V
an Oost
e
nryc
k
exp
l
icitely ignore killing OP_ENTRY
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van Oo
s
tenryc
k
fix killi
n
g
OP_CO
M
PU
T
EDGOTO
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenry
c
k
fix kill
i
ng OP_SELE
C
T
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van
O
ostenr
y
ck
fix killing OP_CAS
T
& friends
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc
V
an Oostenryck
fix killing OP_PHI instructions
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
kill
u
s
es
of rep
l
ace
d
inst
r
uctions
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van Oostenryck
fix cr
a
s
h
whi
l
e
te
s
ting between conditional & un
c
onditional
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van Oostenry
c
k
fix cast's target type info
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
C11: teach spars
e
abou
t
'--std={c11,g
n
u11}'
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
V
an Oos
t
e
n
ryck
C
1
1: teach sparse about
'_Alig
n
o
f
()'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
C11:
teach s
p
a
rse ab
o
ut '_Noreturn'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Ooste
n
ryck
C11: t
e
ach s
p
a
r
se about '_Threa
d
_local'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c
Van Oo
s
tenr
y
ck
f
ix v
a
lu
e
o
f label st
a
tement
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
missing l
o
ad s
i
mplifica
t
io
n
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
O
o
stenryck
fi
x
phisrc mixup
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
oste
n
r
yc
k
fix superf
l
uous
phi
s
rc
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oostenry
c
k
vola
t
ile l
o
ads must not be s
i
mplified
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
o
stenr
y
ck
u
n
ssa: update c
o
mment about
the unneeded
c
opies
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oos
t
e
n
ry
c
k
u
n
ssa:
eli
m
inate trivi
a
l
p
his
r
c copies
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oost
e
nryck
unssa: try to
av
o
i
d s
o
me OP_P
H
I copie
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
st
e
n
ryck
un
s
sa:
s
implify rewrite of OP_PHISOURCE
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oo
s
t
e
n
ryck
unssa:
do not
try to update livenes
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc
V
an
Oost
e
nryc
k
fix
cast to bool
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c
Van
O
ostenryck
l
l
vm: remove unneeded
O
P_COPY support
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
a
n
Oo
s
tenryck
llvm: fix typing
w
hen comparing
to a
c
onstant
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenr
y
ck
fix
typ
i
ng error in compoun
d
ass
i
g
n
m
ent
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc
Van Oostenry
c
k
add support for __int1
2
8
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Ooste
n
ryck
f
ix
m
issing element in types declaratio
n
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van
O
ostenryck
recurs
i
ve
phi_defin
e
s
cannot happen
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
osten
r
yck
cgcc should not defi
n
e non-re
s
erv
e
d identifiers
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
U
pdat
e
m
a
i
ntain
e
rs in the manpage
CC:
Christopher Li
<sparse@chrisli.org>
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oostenryck
some modif
i
er
s
need to be
p
r
eserve
d
by 'typeof()'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c
V
an Oos
t
enryck
testsuite:
t
est modifiers p
r
eserved by 'typ
e
o
f()'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Va
n
Oostenryck
t
e
stsuite: test
m
odifier
s
preser
v
e
d
by '&' operator
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oost
e
nryck
u
s
e a sho
r
ter nam
e
for f
u
nc
t
i
o
n
-
poi
n
ter-m
o
d
i
fier-inherit
a
nce
.
c
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oostenry
c
k
testsuite
:
simplify test function-poi
n
ter-in
h
eritance
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
storag
e
s
hould not be
i
nherited
b
y
pointe
r
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oos
t
enryck
rem
o
ve un
u
sed field 'mul
t
ijump' in struct in
s
tru
c
tion
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
osten
r
y
c
k
OP_SWITCH should use 'insn->cond'
i
n
stead
of 'insn
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
gi
v
e c
o
mparable label'
s
n
a
m
es
to ba
s
ic b
l
o
cks
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van
O
ostenryck
l
e
t
"compile" not c
r
ash
o
n
bools
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van O
o
stenryc
k
make p
t
r
l
ist walking aga
i
n
s
t robust a
g
a
i
n
s
t
em
p
ty
bloc
k
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Emily Maier
validation: Check C99 for loop varia
b
le
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Danie
l
W
a
g
n
er
parse:
A
d
d
comment
t
o struct statement
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Oleg Nes
t
erov
dissect: s/mode_t/usage_t/ in re
p
or
t
_
m
e
m
ber()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
O
leg Nes
t
erov
dis
s
ect: teach do_initializer() to handl
e
th
e
nested
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Ol
e
g
Nesterov
di
s
sect: teac
h
do_expre
s
si
o
n() to handle EXPR_OFFSETOF
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c
Van Ooste
n
ryck
a
d
d
test case for
b
u
i
l
tin bswap
with con
s
t
ant
a
rgs
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Joh
a
nnes Berg
implemen
t
constant-fol
d
ing in __builtin_bswa
p
*()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
o
stenryc
k
fix discarded label statement
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
ste
n
ryck
Remove unneeded variable
in integer_promotion()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Ooste
n
ryck
Warn
on
un
k
n
o
wn
attr
i
butes
i
n
stead of
thr
o
wing errors
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n O
o
ste
n
ryck
cleanu
p
:
remo
v
e
evaluate_arguments()
'
s unused
argume
n
t
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-01-27
Luc Va
n
O
o
stenryck
m
a
ke 'i
g
n
ored
_
a
ttributes[]' static
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-01-27
Emily Maier
linearize: Emit
C99 declarations
correc
t
ly
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-01-27
Luc Van Oostenryc
k
add mi
s
sing
#include "ch
a
r
.
h
"
to
c
h
a
r
.
c
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-01-27
Luc Van Oostenryck
Fix ty
p
e c
h
ec
k
ing of varia
d
ic functions
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-01-27
Lanc
e
Ri
c
hardson
sparse: update __builtin
_
object_size() prot
o
type
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-01-27
Luc Van Oostenry
c
k
fi
x
mixup in "
H
andle SForced in storage_modif
i
ers"
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2016-11-16
Jeff
Lay
t
on
H
andle
S
Forced in storage_modifier
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2016-10-27
Ru
i
Teng
spa
r
se: add no_
s
a
n
it
i
ze
_
add
r
ess as an ignored attribute
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2016-10-13
Lance Ri
c
har
d
son
spar
s
e: ignore __as
s
ume_a
l
i
gned__
a
ttribute
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2016-10-13
Ramsa
y
Jones
sparse:
add 'alloc
_
al
i
gn'
t
o the i
g
nored a
t
t
ributes
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2016-10-13
Christopher Li
Fix warning
com
p
iling sparse-
l
lvm
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2016-02-22
Luc V
a
n O
o
stenryck
D
o
no
t
dro
p
'nocas
t
' modi
f
ier wh
e
n t
a
kin
g
the a
d
d
r
es
s
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2016-02-04
Lu
c
Va
n
Oostenryck
F
ix siz
e
cal
c
u
l
ati
o
n of un
s
ized b
o
o
l array
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2015-08-15
T
ony Camuso
A
d
d
d
e
f
ault c
a
s
e
to swi
t
ch
e
s on
en
u
m var
i
ables
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2015-08-15
Tony Camuso
.
gitignore: add csc
o
p
e
a
nd
Q
t
projec
t
files
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2015-08-04
D
an
C
arpenter
ptrlist: reading
deleted
items in NEXT_PTR_LI
S
T()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2015-06-14
Aza
t
Khuzhin
valid
a
tion/prototype:
r
egr
e
s
s
ion f
o
r skipping prototypes
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2015-06-14
Azat Khuzhin
sparse, llv
m
: com
p
i
l
e: skip func
t
i
o
n
protot
y
pes to
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2015-06-12
H
e
ik
o
Carste
n
s
sparse/parse
.
c
: i
g
n
ore hotpa
t
ch attribute
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2015-04-21
Michael Stefani
u
c
A
d
d t
e
sts for the builtin IN
F
and n
a
n
() functio
n
s
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2015-03-13
A
rd Biesheuvel
I
g
nore pure attribute in assignement
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2015-03-13
Michael S
t
efaniuc
Add a
d
efine for __builtin_ms_va_cop
y
()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2015-03-13
M
i
c
hael Stefaniuc
Add the __built
i
n functions needed for INFINIT
Y
and
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2015-02-09
Luc Van Oo
s
tenryck
Teach sparse a
b
ou
t
the __COUNTER__
predefined macro
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2015-02-06
Christopher Li
Ma
k
e m
a
cro expanded string imm
u
tab
l
e
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2015-01-28
Christian Bor
n
tra
e
ge
r
s3
9
0x:
a
dd the proper
d
efines f
o
r data types
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-12-12
Christophe
r
Li
P
t
r list sor
t
ing shoul
d
use m
e
mmove ins
t
ead of mem
c
py
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
next