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
dissect: teach do_initializer() to handle the nested EXPR_IDENTIFIER's
2017-02-13
Oleg Nesterov
dissect: teach do_initializer() to han
d
le the
n
es
t
ed
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Oleg
N
es
t
erov
diss
e
ct: teach do_expression() to handl
e
E
X
PR_
O
FF
S
ETOF
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenry
c
k
ad
d
test case
fo
r
builtin
bswap with constant args
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
J
o
hann
e
s Berg
implement co
n
stant-fold
i
ng in __
b
uiltin_bswap*()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c
Van Oostenryck
fix discarded label statement
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an
O
o
stenryck
Remove
u
nneeded variable i
n
integer_promotio
n
()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oost
e
nr
y
ck
W
a
rn on unknown attribut
e
s
instead of throwing er
r
or
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van Oo
s
te
n
ryck
clea
n
up: remove
e
valuate_
a
rguments()
'
s unused
argument
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-01-27
Luc Van
O
o
stenryck
make 'ignored_a
t
t
ribu
t
es[]' static
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-01-27
Emily Maier
linearize: E
m
it C99 d
e
clarations
correctly
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-01-27
Luc Van
O
ostenryck
add
m
is
s
ing #include "char
.
h" to char
.
c
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-01-27
Luc Van Oostenryck
Fix
type check
i
ng of variadic f
u
nctions
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-01-27
Lance Richa
r
d
son
sparse
:
update __builtin_object_s
i
ze()
pro
t
otype
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-01-27
L
u
c Van O
o
s
tenryck
fix mixu
p
in "Handle SFo
r
ced in
st
o
rage_modifiers"
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2016-11-16
Jeff Layton
Ha
n
d
le SF
o
r
ced i
n
storage_modifiers
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2016-10-27
Rui Ten
g
sparse: add no
_
sanitize_add
r
ess
as a
n
i
gnored attribute
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2016-10-13
Lance Richardson
spars
e
: i
g
n
ore __assume_aligned__ attribute
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2016-10-13
Ramsay Jones
sparse: add 'alloc_align' to the
i
g
nored attribut
e
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2016-10-13
C
h
ristopher Li
Fix warn
i
ng com
p
i
l
ing sparse-llvm
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2016-02-22
Luc Van Oostenryc
k
Do not drop 'noc
a
st' modifier
when taking th
e
address
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2016-02-04
Luc Van Oostenryck
Fix size calcul
a
t
i
on of u
n
sized bool array
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2015-08-15
T
ony
Camuso
Add defau
l
t case to swi
t
c
h
es on e
n
um varia
b
les
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2015-08-15
Tony Camuso
.
gitignore: add
cscope
a
nd
Qt p
r
oject files
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2015-08-04
Dan Carpenter
ptrlist: read
i
ng
d
e
l
e
ted items i
n
NEXT_PTR_LIST()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2015-06-14
Azat Khu
z
hin
validati
o
n
/p
r
oto
t
ype: regression for
s
k
i
p
ping
pr
o
totype
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2015-06-14
Azat Khuzhin
spars
e
, llvm: co
m
p
i
le: skip func
t
i
o
n proto
t
ypes to
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2015-06-12
Heiko
C
arstens
sparse
/
parse
.
c
:
ignore hotpatch attribute
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2015-04-21
M
i
chael Stefaniuc
Add te
s
ts for th
e
builtin
I
NF and nan() functions
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2015-03-13
Ard Biesheu
v
e
l
Ignore pure a
t
tribute
i
n assignement
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2015-03-13
Michael St
e
f
a
niuc
Add a define for __bu
i
ltin_ms_va_
c
op
y
()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2015-03-13
Michael Ste
f
aniu
c
Add t
h
e __built
i
n
f
u
n
c
tions needed for
I
NFINITY and
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2015-02-09
L
u
c
Van O
o
stenry
c
k
T
each sp
a
rse about
the __CO
U
N
T
ER
_
_ pr
e
defined ma
c
ro
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2015-02-06
Christo
p
her
Li
Mak
e
macro exp
a
n
d
ed st
r
ing immutable
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2015-01-28
Chris
t
ian Borntraeger
s390x: add the proper defines for data types
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-12-12
C
h
ristopher Li
Ptr li
s
t s
o
rt
i
ng sho
u
ld
use
memmove instead of memcp
y
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-11-10
Aaro
Koskinen
bu
i
ld: allow use of PKG_CONFIG
to over
r
id
e
pkg-con
f
ig
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-11-10
Ramsay Jone
s
c
ompile-i38
6
.
c: d
o
n't ignore
r
e
t
urn value of write(2)
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-11-10
Ra
m
say Jones
parse
.
c: remov
e
duplicat
e
'may_alias' ignored_attrib
u
t
es
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-11-10
Ramsay Jones
cg
c
c: avoid
pass
i
n
g a sparse-only option to cc
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-11-10
Ramsay
Jones
t
e
st-suite: remo
v
e bashism to avoid test fa
i
l
ures
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-10-25
Christop
h
er
Li
teach
n
ext_de
s
ignators() use
arra
y
_eleme
n
t_off
s
et
(
)
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-10-10
Ramsay Jones
cgcc:
use $ccom to
se
t
$multiarch
_
dir if not spe
c
ified
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-10-10
Ramsay Jones
cgcc:
use
o
nly the cc comm
a
nd to d
e
termine $gcc_base_dir
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-10-10
Ramsay Jo
n
es
Add sup
p
ort for multia
r
ch sy
s
t
em header fi
l
es
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-10-10
Ramsay Jon
e
s
don't run sparse{c,
i
} test
s
whe
n
sparse-llv
m
is
disabled
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-10-10
Ramsay Jones
M
a
kefile:
s
uppress error
m
e
ssage from
s
hell
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-10-10
Ra
m
say Jones
don't call is
d
igit/
t
o
l
ower with a char argument
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-10-10
Ramsay J
o
nes
sparse: add 'gnu_inline'
t
o
t
he ignor
e
d attributes
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-10-10
Ram
s
ay Jon
e
s
Add the
_
_restric
t
__
k
eyword
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-10-10
Ar
d
B
iesheuvel
sparse: treat f
u
nc
t
ion
pointers as pointer
s
t
o co
n
st
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-10-10
C
h
ri
s
topher Li
rena
m
e -Werro
r
to -Wsp
a
r
se-error
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-09-28
T
homas Graf
s
pa
r
se:
Make -Werror turn warnigns into err
o
r
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-09-25
Pavel Roskin
Use L
L
VM_CONFIG inst
e
a
d of
llvm-config in Makef
i
le
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-09-25
Om
a
r Sandov
a
l
sparse-llvm: Fix LLVM
3
.
5 lin
k
er errors
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-09-18
Linus Torvalds
F
ix i
n
itial
i
z
e
r
s in anony
m
ous structs a
n
d
unions
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-08-02
C
hristop
h
er
L
i
Make same_symbol
list share the
s
a
m
e scope
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-08-02
Linus Torval
d
s
Fi
x
s
c
o
p
ing of extern s
y
m
b
ols
in block scope
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-07-17
C
h
risto
p
her Li
round up the array element size
to
b
y
t
e align
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-07-16
Jeff Layton
spars
e
:
m
ake bits_to_bytes roun
d
up instead of down
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-06-29
Christopher Li
Minor clean
u
p fo
r
option handlin
g
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-06-29
An
d
y S
h
evch
e
n
k
o
lib
.
c: skip --p
a
ram parameters
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-04-17
Cody P Schafe
r
pars
e
: support
c
9
9
[
static
.
.
.
] in
abstr
a
ct a
r
ray
d
ecl
a
rators
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-04-15
Cody P Schafer
sparse{i,
c
}: use LLVM_
C
ONFIG to
f
ind llc and lli
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-04-15
Cody P Schafe
r
build: allow use of
LLVM_CONFI
G
to o
v
errid
e
llvm-config
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-04-03
Lin
u
s Torva
l
ds
Fix e
r
ror at anoymous
u
nions
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-04-03
H
a
ns Verkuil
Add te
s
t case for the io
c
type c
h
eck
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-04-03
Hans Verkuil
A
dd test
c
ase for anonymous
union initial
i
zer
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-04-03
Hans Verkuil
A
dd test case for extern array
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-04-01
Lin
u
s Torvalds
Use a
n
y previous in
i
tializer to size a symbol
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-04-01
Linu
s
T
o
r
v
alds
Add
w
arning
about duplicate
i
ni
t
ialize
r
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-04-01
J
o
hn Keeping
Sup
p
or
t
GCC's transpare
n
t unions
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-04-01
John Keeping
evaluate
:
spli
t
out
i
mplementation of com
p
atible_assignment
_
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-04-01
John Keeping
validation/sizeof-bo
o
l: f
i
x br
o
ken
t
est case
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-02-27
Joe Perches
sparse: Allow ov
e
rride of sizeo
f
(
bool) w
a
rning
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-01-29
Em
i
lio G
.
C
o
ta
Define __CH
A
R
_BIT__
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-01-29
C
h
ristopher L
i
Sparse 0
.
5
.
0
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-01-29
Christop
h
er Li
Fix make
d
ist failure
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-12-21
Christoph
e
r Li
Sparse 0
.
5
.
0 rc
1
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-12-21
Kim Phillips
sparse: add built-in
a
tomic m
e
m
ory access ide
n
ti
f
iers
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-12-21
Em
i
l
io G
.
Cot
a
g
i
t
ignore: add 've
r
sion
.
h
'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-12-09
J
ames We
s
tby
U
pdate t
h
e information
i
n README abo
u
t
using t
h
e
librar
y
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-11-29
Franz S
c
hrober
sparse:
Also
check bit_offset when check
i
ng implicit
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-11-29
Fra
n
z Schr
o
be
r
FAQ:
Remov
e
o
utdate
d
section
s
about t
h
e license
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-11-29
Fr
a
nz Sc
h
r
ober
sparse: Rel
i
cen
s
e under t
h
e MIT licen
s
e
Acked-by:
Christopher Li
<sparse@chrisli.org>
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-11-29
F
ranz
S
chrober
Revert
"Fix mistaken comparison
that b
e
comes a no-op
.
"
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-11-29
Fr
a
nz Sc
h
ro
b
er
Re
v
e
rt
"
Update the
i
nforma
t
ion in README about using
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-11-29
C
hristopher Li
Merge
branc
h
'Novafora' of git://git
.
zy
t
o
r
.
c
o
m
/
users
.
.
.
commit
|
commitdiff
|
tree
2013-07-25
Ch
r
is
t
o
pher Li
Merge branc
h
'll
v
mcore'
commit
|
commitdiff
|
tree
2013-07-25
Jeff Layton
s
pa
r
se: add __built
i
n_va_arg_pack()
a
nd __
b
uilt
i
n
_va
_
ar
g
_pac
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-05-23
Ra
m
say Jones
s
y
mbol
.
c: Set c
o
rrect size of arra
y
fro
m
parenthesiz
e
d
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-05-17
Ram
s
ay Jones
char
.
c: Fix parsing of escape
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-05-16
Christopher Li
Trivial: Remove
r
e
dundant
M
akefile variable
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-05-15
Xi Wang
sp
a
r
se
,
llvm: fi
x
link errors
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-05-11
Xi Wang
fix S
I
GFPE caused by signed division
o
verflo
w
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-04-26
C
h
rist
o
pher Li
Allow forc
e
d at
t
ribute in functio
n
a
rgument
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-04-22
Josh Tr
i
p
lett
Support #p
r
agma once
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-04-22
Josh
Triplett
Define __SI
Z
EOF
_
POINTER__
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-04-20
Mas
a
tak
e
Y
AMATO
Add descriptio
n
for -
W
i
n
it
-
cstri
n
g opt
i
o
n
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-04-20
Masatake YAMATO
Test case fo
r
-Winit-cs
t
ring option
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-04-20
Masatake
Y
AMATO
Warn
a
bo
u
t i
n
itializ
a
tion of a char array
w
ith a too
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
next