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
define __LP64__ & _LP64 if arch_m64 is enabled
2017-02-13
L
u
c Van Oostenr
y
ck
define __L
P
64__
&
_LP64 if a
r
c
h
_m
6
4 is ena
b
le
d
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Va
n
Oo
s
t
enryck
fix k
i
lling OP_SETVAL instructions
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenry
c
k
re
m
o
ve 'Escape' from token character class
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
w
a
r
n
on unknown escapes aft
e
r
p
reproc
e
ssing
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
ad
d
t
e
s
tcase for wrong
early escape c
o
n
v
ersi
o
n
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
a
n
Oostenryck
remove
unused arg i
n
uses/d
e
fs func
t
ions
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
va
l
idate expression's
t
ype in conditionals
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
st
e
nry
c
k
add
helper:
i
s_scalar_type()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenry
c
k
fix condition
a
l c
o
n
t
ext
test c
a
s
e
with v
o
id
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oostenryc
k
cleanup kill_instru
c
tion()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oostenryc
k
ex
p
l
i
citely
i
gnore kil
l
ing OP_ENTRY
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van Oost
e
nryck
fix killi
n
g OP_COMP
U
TEDGOT
O
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oos
t
enryck
fix kill
i
ng OP_
S
E
L
ECT
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van Oostenryc
k
fix killing
O
P
_CAST & friend
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van Ooste
n
ryck
f
i
x
kill
i
ng
O
P_PHI instr
u
ctio
n
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oostenryck
kill uses of
r
eplace
d
instruct
i
on
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
fix crash whil
e
testin
g
b
e
tween co
n
dit
i
onal & unco
n
d
i
tional
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
stenryc
k
f
i
x
cas
t
's ta
r
g
e
t
type
info
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
C11:
te
a
ch sparse about '--std={c11,gnu11}'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Va
n
Oostenr
y
ck
C11: teach s
p
arse abou
t
'
_Aligna
s
()'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oostenryck
C11: teach sparse
a
bout '_Aligno
f
()'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oos
t
enryck
C11:
t
eac
h
sparse about '_Noreturn'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oostenry
c
k
C11
:
te
a
ch sparse
a
bout '_Thread_loc
a
l'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oostenryck
f
ix value of
l
abel statement
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Ooste
n
ryck
missing load
s
i
m
plification
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oost
e
nryck
fix ph
i
src mi
x
up
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oostenryck
fix superf
l
uous phisrc
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
ste
n
ryc
k
vol
a
tile loa
d
s must n
o
t b
e
s
i
mplifie
d
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c
Van Oostenryck
un
s
sa
:
u
pd
a
te
com
m
ent about
t
he unneeded copi
e
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oostenryck
unssa: eliminate trivial phi
s
rc copies
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
unssa: try to avo
i
d some OP_
P
HI copies
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenry
c
k
u
n
ssa: simplify r
e
w
r
ite of O
P
_PHISOURCE
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oost
e
nryck
un
s
sa:
d
o not try to update liven
e
ss
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
fix cast to
b
ool
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n Oostenryck
l
l
vm
:
remove unneed
e
d OP_COPY support
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van O
o
sten
r
y
ck
llvm:
fi
x
typing when c
o
mparin
g
to a constant
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Va
n
Oost
e
nryck
f
i
x
ty
p
ing error in c
o
m
p
ound
a
ssignment
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
ad
d
su
p
port for __
i
nt128
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oosten
r
yck
fix missing
e
l
ement i
n
types declaration
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
ost
e
nryck
recursive phi_defines cannot hap
p
e
n
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
a
n Oost
e
nryck
c
gcc sho
u
ld
not def
i
n
e
non-res
e
rved identifiers
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oosten
r
yc
k
Update maintai
n
ers in the
m
a
npag
e
CC:
Christopher Li
<sparse@chrisli.org>
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
ostenry
c
k
som
e
modifiers n
e
ed
t
o be
p
r
e
served
b
y 'ty
p
eof()'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oost
e
nryck
testsuit
e
: test modi
f
iers preserved by 'typeof()'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
t
e
stsuite:
tes
t
modifiers pre
s
erved by '&' operator
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
use a sh
o
rter name f
o
r funct
i
o
n-p
o
i
nter-modifier
-
inheritance
.
c
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
stenryck
testsuite: simplify te
s
t
f
u
nction-poi
n
t
er-in
h
eritance
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
ostenryc
k
storage should
no
t
be inherited by poi
n
ters
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oostenryck
remove unus
e
d field 'mult
i
jump' i
n
struct inst
r
uction
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oosten
r
y
c
k
OP_SWIT
C
H should use 'insn->cond
'
in
s
tead of '
i
nsn
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
give co
m
pa
r
able label
'
s names to bas
i
c
blocks
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oostenryck
l
et "compile" no
t
cras
h
on b
o
o
l
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n Oostenryck
make ptrlist walkin
g
against robust
a
gainst empty blocks
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
E
m
i
l
y Maier
valida
t
ion: Check C99
f
or
l
oo
p
variables
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Daniel Wagner
p
arse:
A
dd comment to struc
t
s
t
a
tement
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Oleg Nestero
v
dissect: s/mode
_
t/u
s
age
_
t/ in report_member()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Oleg
N
esterov
dissect
:
teach do_initialize
r
()
t
o ha
n
d
l
e the nested
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Oleg Nesterov
d
i
ssect: teach d
o
_expression() to handle EXPR_OFFSETO
F
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van
O
oste
n
ryck
add tes
t
case for builtin bswap with constant args
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Johannes Berg
implement con
s
tant-folding in __built
i
n_bswap*
(
)
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n Oostenryck
fix di
s
carded
l
abel stat
e
ment
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oosten
r
yck
Remov
e
unneeded var
i
able in intege
r
_promotion()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van
Ooste
n
ryc
k
Wa
r
n
o
n
unknown attributes ins
t
e
a
d of thr
o
wi
n
g errors
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oost
e
n
r
yck
c
lea
n
up: remo
v
e evaluate_argument
s
()'s unu
s
ed a
r
gument
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-01-27
Luc
V
an Oostenr
y
ck
make 'ign
o
red_attributes[]
'
static
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-01-27
Emily
Maier
li
n
ear
i
ze: E
m
it C9
9
de
c
laratio
n
s corr
e
ctly
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-01-27
Luc
Va
n
Oostenr
y
ck
add
missing #i
n
clude "char
.
h" to char
.
c
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-01-27
Luc Va
n
Oo
s
tenryck
Fix
t
y
pe
checki
n
g
of variadic f
u
nctio
n
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-01-27
La
n
ce
Richardson
sparse:
update __builtin_obje
c
t_
s
ize() prototype
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-01-27
L
uc Va
n
O
o
s
tenryck
fix mixup in
"
Handle SForced in storage_modifiers"
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2016-11-16
Jef
f
Lay
t
o
n
H
andle SForced in storage_modifiers
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2016-10-27
Rui
T
en
g
s
parse:
a
d
d no
_
s
a
nitize_
a
ddr
e
ss as an ignored attribute
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2016-10-13
Lance
R
ich
a
rdson
sparse: ignor
e
__a
s
s
ume_aligned__ attribute
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2016-10-13
Ramsay Jones
spa
r
s
e
: add 'allo
c
_al
i
gn' to the ignor
e
d attributes
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2016-10-13
Christophe
r
L
i
Fix
warni
n
g compiling
spa
r
se-
l
l
v
m
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2016-02-22
Luc Van Oostenryck
Do no
t
drop 'noc
a
st' modifier when taking th
e
a
d
dress
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2016-02-04
L
uc Van Oos
t
e
nry
c
k
F
ix size calcul
a
t
ion o
f
unsi
z
ed bool array
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2015-08-15
Tony Camus
o
Add d
e
fa
u
lt
c
ase to sw
i
tch
e
s on enum var
i
a
b
les
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2015-08-15
T
ony Camuso
.
giti
g
nore: ad
d
cscope
a
n
d Qt
p
roje
c
t files
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2015-08-04
Dan Carpenter
ptrlist
:
readin
g
deleted
item
s
in NEXT_PTR_LIST()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2015-06-14
A
zat Khuzhin
validation/prototy
p
e: regression for skipping protot
y
pes
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2015-06-14
Azat Khuzhin
sparse, llvm:
compil
e
: skip func
t
i
on prototypes
t
o
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2015-06-12
He
i
k
o Carst
e
ns
sparse/p
a
rse
.
c
: ignore hotp
a
tch at
t
ribute
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2015-04-21
M
i
c
hael Stefaniuc
A
d
d test
s
for the b
u
ilt
i
n INF and
nan
(
) func
t
ions
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2015-03-13
Ard Biesheuvel
Ignore pure attribu
t
e in assign
e
ment
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2015-03-13
Michael Stefa
n
iuc
A
d
d a define for __bui
l
tin_ms_va_
c
opy()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2015-03-13
Michael Stefaniuc
Add the __
b
u
il
t
in functions needed
for I
N
FINITY a
n
d
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2015-02-09
L
u
c Va
n
O
o
stenr
y
ck
Teac
h
s
parse about
the __COUN
T
E
R_
_
pred
e
fi
n
ed ma
c
ro
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2015-02-06
Christopher Li
Ma
k
e macro exp
a
nded
string imm
u
table
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2015-01-28
C
h
ristian
Borntraeger
s390x: add
t
h
e proper d
e
fines for data types
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-12-12
Ch
r
istophe
r
Li
Ptr li
s
t sorting
s
hould use mem
m
ove instead of memcpy
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-11-10
Aaro K
o
skinen
build: allow use of PKG_
C
ONFIG to over
r
id
e
p
kg-con
f
ig
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-11-10
Ramsay Jones
c
o
m
p
ile-
i
386
.
c: d
o
n
'
t ig
n
ore return va
l
ue of write(2)
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-11-10
Ramsay Jones
parse
.
c: remov
e
duplicate 'may_a
l
ias
'
ignored_attri
b
utes
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-11-10
Ramsay
Jones
cgcc
:
avoid
p
assing
a
sparse-only op
t
ion to cc
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-11-10
Rams
a
y Jon
e
s
test-suite: remove bashism to a
v
oid
t
e
st fa
i
l
u
r
e
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-10-25
C
h
ristopher Li
teach next_designators() u
s
e
array
_
element
_
offset(
)
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-10-10
Ramsay
J
ones
cgcc
:
use $cco
m
to set $mu
l
tiarch_
d
i
r
if n
o
t s
p
ecified
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-10-10
Ram
s
ay Jone
s
c
gcc: use on
l
y the
cc comma
n
d t
o
determine $gcc_
b
ase_dir
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-10-10
Rams
a
y
J
o
nes
Add support for
m
u
l
tiarch system header fil
e
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
next