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
add killing of stores
2017-02-13
Em
i
ly
M
a
i
e
r
valida
t
ion:
C
heck C
9
9 for loop variables
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Dani
e
l W
a
gner
parse
:
Add c
o
mment to struct statemen
t
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Ole
g
Ne
s
terov
di
s
s
e
ct:
s
/mode_t/usage_t/ in
r
eport_member(
)
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Oleg Nesterov
dissec
t
: tea
c
h d
o
_initia
l
izer() to handle t
h
e
n
e
sted
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Oleg Nesterov
dissect: teach do_ex
p
ression() to hand
l
e EXPR_OFFS
E
TOF
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
stenryck
a
dd test case for
b
u
ilt
i
n bswap
w
ith constan
t
args
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Johannes Berg
implement const
a
nt-fol
d
ing in _
_
bu
i
ltin_bsw
a
p*(
)
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oostenryck
fix dis
c
arded lab
e
l st
a
tem
e
nt
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryc
k
Remove unne
e
ded variable in
i
nteger_prom
o
tion()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oostenryck
W
a
rn on unknown attribute
s
i
n
stead of
t
hrowi
n
g
err
o
rs
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oo
s
tenryck
clean
u
p: re
m
o
v
e
evaluate_arguments()'s unuse
d
argument
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-01-27
Luc Va
n
Oost
e
n
ryck
make 'ignored_at
t
ributes[]' stat
i
c
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-01-27
Em
i
ly Maier
lin
e
arize: Emit C99 declaration
s
correctly
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-01-27
Luc Van Oostenryck
add
m
i
s
s
ing #inclu
d
e "char
.
h" to char
.
c
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-01-27
L
uc Van Oostenryck
F
i
x type c
h
ecking of varia
d
ic
f
unc
t
ions
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-01-27
Lance Richardson
sparse: upd
a
te __b
u
iltin_object
_
size
(
) prototy
p
e
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-01-27
Luc V
a
n
O
ostenryck
fix
m
i
x
up i
n
"Han
d
le SForced
i
n stor
a
ge_modifiers"
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2016-11-16
Jeff Layton
Han
d
l
e
S
F
orced in storage_modifiers
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2016-10-27
Rui Ten
g
s
p
arse: add
no_sani
t
i
z
e
_
address as an ignored
a
ttribute
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2016-10-13
Lan
c
e Richa
r
dson
spa
r
se: ig
n
o
re __assume_aligned__ attribu
t
e
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2016-10-13
R
amsa
y
Jon
e
s
spa
r
se: add '
a
lloc_align' to the ig
n
ored attributes
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2016-10-13
C
h
rist
o
p
h
e
r
Li
Fix warning co
m
pi
l
in
g
sparse-llvm
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2016-02-22
Luc Van O
o
st
e
nryc
k
Do not drop
'
noca
s
t'
modifier when taki
n
g the address
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2016-02-04
Luc
V
a
n
Oostenryck
F
i
x si
z
e calculation of u
n
sized bool array
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2015-08-15
Tony Cam
u
so
A
d
d
d
efa
u
lt case to switches on enum va
r
i
a
bles
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2015-08-15
Tony Camuso
.
gitignore: add cscope and Qt
project fi
l
es
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2015-08-04
Da
n
Carpent
e
r
pt
r
l
i
st
:
reading deleted items
in NEXT_
P
TR
_
LIS
T
(
)
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2015-06-14
Azat Khuzhin
valid
a
tion
/
prototy
p
e:
r
eg
r
e
ssion for skipping prototypes
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2015-06-14
Azat K
h
uzhin
sparse, llvm:
compile: skip
f
unction prototypes to
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2015-06-12
Heiko C
a
r
s
t
e
ns
s
p
a
rse
/
parse
.
c: ig
n
ore hotpa
t
ch a
t
tr
i
but
e
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2015-04-21
Micha
e
l Stefaniu
c
Add tests for the builtin INF and n
a
n()
functions
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2015-03-13
A
rd Biesheuvel
I
g
nore
p
ure attribut
e
i
n
a
ssignement
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2015-03-13
Mi
c
h
a
el S
t
efaniuc
Add a define for __built
i
n_ms_va
_
copy()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2015-03-13
Michael Stefaniuc
Add the __builtin func
t
ions needed
f
or
I
N
FINIT
Y
and
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2015-02-09
Luc Va
n
Oo
s
tenryc
k
Teach sp
a
rse about the
_
_C
O
U
N
TER__ predefined macro
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2015-02-06
Christopher Li
M
a
k
e macro expanded string im
m
uta
b
le
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2015-01-28
Christ
i
an
Borntraeg
e
r
s390x:
a
dd t
h
e
proper defines for data types
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-12-12
Chr
i
st
o
pher L
i
Ptr li
s
t sorti
n
g should u
s
e memmove instead of
m
e
m
cpy
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-11-10
Aaro K
o
skinen
build: allo
w
use of PKG_CONF
I
G
to o
v
e
rride pkg-c
o
nfig
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-11-10
Ram
s
ay
J
one
s
com
p
ile-i386
.
c: don't ignore return
v
al
u
e of writ
e
(2)
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-11-10
Ramsay Jo
n
es
p
a
rse
.
c: remov
e
duplicate
'
may
_
alias' ignored_attributes
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-11-10
Ramsay
J
ones
cg
c
c:
avoid pass
i
ng a sparse-only o
p
t
i
on to cc
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-11-10
Ramsay J
o
nes
test-sui
t
e
: rem
o
ve bashis
m
t
o
a
v
oid test failures
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-10-25
Christopher Li
te
a
ch next_designators() use a
r
ray_e
l
ement
_
offset()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-10-10
R
a
m
say
Jo
n
es
cgcc: use $ccom to se
t
$multia
r
ch_dir if not specified
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-10-10
Ramsa
y
Jon
e
s
cgcc:
u
se only the cc command to det
e
rmine $gcc_base_dir
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-10-10
R
a
msay J
o
ne
s
A
d
d
support fo
r
multiarch system header fil
e
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-10-10
R
a
msay J
o
nes
don't run sparse{c,i} t
e
sts when sparse-llvm is disabled
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-10-10
R
a
msay J
o
n
es
Make
f
ile: suppress error
messa
g
e
f
ro
m
s
h
ell
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-10-10
Ramsa
y
Jones
don't call isdigit/tolower with a c
h
ar
argument
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-10-10
Ramsa
y
J
o
nes
s
p
arse: add 'gn
u
_
i
nline' to the ignore
d
attrib
u
tes
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-10-10
R
amsay Jones
Add the _
_
restrict__ keyword
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-10-10
A
r
d
Biesheu
v
e
l
spa
r
s
e: treat func
t
ion pointers as pointers to const
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-10-10
Ch
r
istopher Li
rename -Werro
r
to -Wsparse-error
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-09-28
Thomas Graf
s
pars
e
: Mak
e
-Werror turn warn
i
gn
s
i
nto erro
r
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-09-25
Pavel Rosk
i
n
Use LLVM_CONFIG inst
e
ad of llvm-config in Makefile
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-09-25
Oma
r
S
a
ndoval
sparse-llvm:
Fix LL
V
M 3
.
5 li
n
ker errors
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-09-18
Linus To
r
vald
s
Fix initializers in anonymous struc
t
s and
u
nions
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-08-02
Christophe
r
Li
Mak
e
same_sy
m
bol list s
h
are the same scope
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-08-02
Linus Torvalds
Fix scopin
g
of
extern symbols in block scope
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-07-17
Christ
o
pher L
i
r
o
und up
t
h
e arr
a
y
e
lemen
t
s
ize to by
t
e
a
lign
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-07-16
Jeff Layton
s
p
a
rse: make bits_to
_
byt
e
s round up i
n
stead o
f
down
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-06-29
Chr
i
stopher Li
Minor clean up
for option
h
andlin
g
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-06-29
Andy Shevchenko
l
i
b
.
c: skip --
p
aram parameters
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-04-17
Cody
P
Schafer
parse:
support
c99 [s
t
atic
.
.
.
] in abstract arr
a
y declar
a
tors
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-04-15
Cody
P Schafer
spa
r
se{
i
,c}: use LLVM_C
O
NFIG
t
o
find llc and
l
li
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-04-15
Cody
P
Schafe
r
buil
d
: allow use of LLVM_CONFIG to override llvm-config
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-04-03
L
inus Torvalds
Fix
erro
r
a
t a
n
oymous unions
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-04-03
Hans Verkuil
Add test
c
ase for the ioc t
y
pe c
h
e
ck
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-04-03
Hans Verkuil
Ad
d
test case for a
n
onym
o
us unio
n
initial
i
zer
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-04-03
Hans
V
erkuil
A
d
d test case f
o
r extern arr
a
y
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-04-01
Li
n
us
T
or
v
alds
Use a
n
y
p
re
v
ious initi
a
lizer to size a
sy
m
bol
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-04-01
Linus
T
o
rvalds
Add warni
n
g abo
u
t duplica
t
e init
i
alizers
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-04-01
Jo
h
n Keeping
S
upport GCC's transparent un
i
ons
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-04-01
John Keeping
evalu
a
t
e: split out im
p
lementation
of com
p
a
t
ible_assi
g
nment_
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-04-01
John Keepi
n
g
validation/sizeof-bool: fix br
o
ken
test
case
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-02-27
Joe P
e
rches
s
p
a
r
s
e:
Allow ov
e
rride of
si
z
eof(boo
l
) warnin
g
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-01-29
Em
i
lio G
.
Cota
Define __
C
HAR_BIT__
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-01-29
Christophe
r
Li
Sparse 0
.
5
.
0
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-01-29
C
hristopher Li
Fix make dist failure
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-12-21
Christop
h
e
r
Li
Sparse 0
.
5
.
0 rc1
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-12-21
K
im
Philli
p
s
spars
e
: ad
d
built-in
atomic me
m
o
ry access id
e
ntif
i
ers
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-12-21
Em
i
lio G
.
Cota
gitignore:
add 'versi
o
n
.
h
'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-12-09
J
a
m
e
s
Westby
U
p
d
ate the i
n
formation i
n
README about
u
s
ing
t
he
library
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-11-29
Franz Schrober
spars
e
:
Also
check bit_offset when check
i
ng implicit
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-11-29
Franz
S
c
hrober
FAQ: Rem
o
ve out
d
ated se
c
tion
s
about the l
i
cense
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-11-29
Franz Sch
r
ober
sparse
:
R
e
l
i
c
ens
e
under
t
he MIT licens
e
Acked-by:
Christopher Li
<sparse@chrisli.org>
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-11-29
Franz Schrob
e
r
Revert "Fix mistaken co
m
pa
r
ison that
bec
o
mes a
n
o
-
op
.
"
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-11-29
Franz S
c
hrobe
r
R
ev
e
r
t
"U
p
d
a
te the information
in READ
M
E
a
bou
t
u
sing
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-11-29
Ch
r
istop
h
er Li
Me
r
ge branch 'Nov
a
fora' of git
:
//git
.
zyt
o
r
.
c
om
/
us
e
rs
.
.
.
commit
|
commitdiff
|
tree
2013-07-25
Ch
r
istop
h
er Li
Merge branch 'llvmco
r
e
'
commit
|
commitdiff
|
tree
2013-07-25
Jeff Layton
s
p
arse: add __
b
uiltin_v
a
_arg_pack()
a
nd __bui
l
tin_va_arg
_
p
a
c
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-05-23
Ramsay Jones
symbol
.
c:
S
et corr
e
c
t
si
z
e
of array
fr
o
m parenth
e
sized
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-05-17
Ramsay Jo
n
es
char
.
c
:
F
i
x parsing
o
f escapes
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-05-16
Ch
r
isto
p
he
r
L
i
Trivial: Remove redundant Makefile variable
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-05-15
Xi Wang
sparse, llvm: f
i
x link errors
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-05-11
Xi
Wang
fix S
I
GFPE
cau
s
ed b
y
s
i
gned
d
i
v
ision overflow
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-04-26
Christoph
e
r Li
Allow fo
r
ced attribute
i
n func
t
ion argument
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-04-22
Josh Trip
l
ett
Support #pragma on
c
e
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-04-22
Josh Triplett
D
e
fine __SIZEOF
_
POIN
T
ER__
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
next