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
Allow forced attribute in function argument
2013-04-26
Chr
i
st
o
phe
r
L
i
Allow fo
r
ced attribute
in function a
r
gument
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-04-22
Jo
s
h T
r
iplett
S
upp
o
rt
#
pragma
once
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-04-22
Josh Triplett
De
f
ine
__SIZEOF_PO
I
N
T
ER__
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-04-20
Masatake YAMATO
Add
d
escription for -Winit
-
cstring o
p
t
i
o
n
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-04-20
Masatake YAM
A
TO
Test case for -Winit-cs
t
rin
g
option
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-04-20
M
a
s
a
take YA
M
A
TO
Wa
r
n about
ini
t
ialization
o
f
a char array w
i
t
h a too
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-04-08
Ch
r
is
t
opher Li
Pr
o
per variabl
e
l
e
ngth arr
a
y warning
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-03-07
Joe Per
c
hes
There's no cur
r
ent way to
know
the
v
ers
i
on
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-03-06
Christoph
e
r
L
i
La
r
ger buffer size for to
k
en concatenati
o
n
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-02-28
Xi Wang
fix
casting
c
onstant
to _Bool
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-02-25
Chris
t
o
p
her L
i
Get r
i
d
of gc
c
w
a
rning abo
u
t enum va
l
ues
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-02-23
Ch
r
i
s
t
opher Li
F
i
x segfault cause by fucntion wit
h
out ident
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-02-22
Christ
o
pher Li
Clea
n
up some test c
a
se error
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-02-22
Randy
Dunlap
sparse patch v2: add noclone as an ignored a
t
tri
b
ute
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-02-19
Kim Phillips
sparse: add buil
t
-in
b
yte swa
p
ident
i
fiers
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-02-13
Christophe
r
Li
M
e
rg
e
g
it://gi
t
.
ke
r
nel
.
org/pub
/
s
c
m
/linu
x
/ker
n
el/git
.
.
.
commit
|
commitdiff
|
tree
2013-02-10
Chris
t
ophe
r
Li
remove weak define x86_64
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2012-10-12
M
auro
D
reissig
Fix wrong array
s
ize express
i
o
n
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2012-10-12
Christopher Li
Merge bra
n
ch 'llvm/
c
ore'
o
f
g
i
t
h
ub
.
com:pen
b
erg/
s
parse
.
.
.
commit
|
commitdiff
|
tree
2012-06-26
Jonathan Neuschäfer
p
trlist
.
c: fix a typo in a comment
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2012-06-26
Jonathan
Neusc
h
äfer
FAQ:
u
p
da
t
e
t
h
e
website addr
e
ss and c
a
ll it Wiki
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2012-06-25
K
O
SAKI
M
otohiro
sparse: Add 'erro
r
' to ignore
d
at
t
ribute
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2012-06-25
K
OSAK
I
Motohiro
sp
a
rse: Add '
_
_ve
c
t
o
r_size__' to ignored
a
ttributes
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2012-06-21
C
h
ristopher Li
M
erge b
r
a
nch 'for-c
h
ris' of git://github
.
com/pe
n
berg
.
.
.
commit
|
commitdiff
|
tree
2012-06-04
Xi Wang
ch
e
ck missing
or duplicate
goto
labels
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2012-06-04
X
i Wa
n
g
compile-i3
8
6:
fix use-a
f
ter-fre
e
i
n
func_clean
u
p
(
)
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2012-05-20
Shakthi Kannan
I h
a
v
e
updated the spar
s
e
.
1
m
an page including the
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2012-05-10
Ja
n
P
okorný
simpli
f
y: c
o
nservative
handling
o
f casts wit
h
po
i
nte
r
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2012-05-04
Jan Pokorný
u
n
s
s
a: tr
a
ck use of newly ad
d
ed pseudo
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2012-03-23
Ch
r
i
stopher Li
Addin
g
d
e
fault
for m64/m32 handle
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2012-03-23
Fr
e
deri
c
Crozat
Add __bui
l
tin_stpcpy,
_
_syn
c
_synchr
o
nize, __sync_bool_compar
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2012-01-19
E
than Jacks
o
n
sparse
:
A
d
d 'leaf'
to ignor
e
d
a
t
tributes
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2012-01-02
Christophe
r
Li
Merge branch
'
sparse-l
l
vm'
of git://github
.
com/penberg
.
.
.
commit
|
commitdiff
|
tree
2011-11-21
Christopher Li
sparse
0
.
4
.
4
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-11-21
Dan Carpenter
recognize
binary
c
o
nstants
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-11-21
C
hr
i
stopher Li
Add t
e
st case for
binary
c
on
s
tants
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-29
Christ
o
pher Li
S
pars
e
0
.
4
.
4-rc2
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-28
L
i
nus Tor
v
al
d
s
Make 'linearize_
r
eturn()'
h
elpe
r
f
u
nctio
n
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-28
Linu
s
Torvalds
M
a
ke 'linearize_swi
t
ch()' h
e
lpe
r
function
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-28
Linus T
o
rvalds
Make 'l
i
nearize_
i
terator()'
helper funct
i
on
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-28
Kamil
Dudka
cse: update PHI users whe
n
thr
o
wi
n
g away an inst
r
uction
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-28
Kamil Dud
k
a
cse: treat PHI-nodes
a
s other in
s
tr
u
ctions
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-26
Pek
k
a Enberg
s
p
arse: Fix __builtin_safe_p for pure a
n
d
con
s
t functions
Cc: Christopher Li <
sparse@chrisli.org
>
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-25
Pekka Enberg
Show expected vs
.
actual outp
u
t on
t
est failure
Cc: Christopher Li <
sparse@chrisli.org
>
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-24
Pekka Enberg
spars
e
: Enable
unhandled v
a
lid
a
t
ion t
e
sts
Cc: Christopher Li <
sparse@chrisli.org
>
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-23
C
hris
t
o
p
h
e
r Li
Fix pa
r
sing
e
mp
t
y asm clo
b
ber
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-23
Christopher Li
Add t
e
st ca
s
e for emp
t
y asm clobbers
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-23
Mi
c
hael Stefaniuc
I
gnore the ms_hook_prologu
e
attribute
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-20
Jonathan Neuschäfer
fix co
m
m
o
n
misspellings w
i
th codespell
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-20
Jonathan Ne
u
schä
f
e
r
FAQ: f
i
x a ty
p
o ("beca
u
s
e o
r
")
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-20
Chri
s
t
o
pher L
i
Sparse
0
.
4
.
4-rc
1
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-14
Christoph
e
r Li
Fix
i
nlin
i
ng sw
i
tch stateme
n
t
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-14
Ch
r
istophe
r
Li
validation: inline switch statement
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-12
Chr
i
s
toph
e
r Li
i
n
spe
c
t:
A
d
d
switch statement and more
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-11
J
o
nathan N
e
usc
h
äfer
f
ix a memory
le
a
k in comp
i
le-
i
386
.
c
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-06-29
Pekka Enberg
s
p
a
r
se
:
Add 'artifical' to ignore attributes
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-05-31
C
hristop
h
e
r
Li
Remove se
t
but not us
e
d v
a
riable
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-05-31
Chris
t
opher Li
Ig
n
ore at
t
ribute v
e
c
t
or_
s
ize
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-05-07
B
e
n Pf
a
f
f
evaluate
:
A
l
low si
z
e
o
f(_Bool) to succeed
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-26
Jan
P
okorný
parse
.
c
:
"if(" -> "if (" adjus
t
ment
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-26
Ja
n
Pokorný
use ARRAY_SIZE() w
h
en
pos
s
ible (continued)
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-26
Christo
p
her Li
Allow
o
verwrite
C
FLAGS from command line
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-19
Linus Torvalds
Teach 'alr
e
ady_tokenize
d
()' to use the stream n
a
me
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-19
L
inus Torvalds
Add new stre
a
ms to a hash-list based
on
t
heir names
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-18
Diego Elio
P
e
ttenò
Fix build with GCC 4
.
6 serie
s
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-18
Diego Elio Pettenò
build: add an
a
l
l-installable target
that
buil
d
s the
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-18
D
i
ego E
l
io Pette
n
ò
build: allow easy o
v
erride of GCC_B
A
SE
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-13
Jan Pokorný
flow
.
c: make comment for `
d
o
m
i
n
ate
s
' r
e
fl
e
c
t
code
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-13
Jan
P
okorný
rem
o
ve unuse
d
"
con
t
ainer
"
m
acro
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-03-11
Fl
o
ria
n
Fa
i
n
e
lli
Makefile: w
a
rn use
r
w
h
en libxml and/or libgtk2 are
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-01-03
Namhyung Kim
Upda
t
e the valida
t
ion
c
h
eck
f
o
r esca
p
e sequ
e
nce
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-01-03
Namh
y
ung K
i
m
F
i
x tokenizer for
o
c
tal e
s
cape sequ
e
nce
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-01-03
Namhyung K
i
m
u
se ARRAY_
S
I
ZE() when
possible
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-01-03
Nic
o
las
Kaiser
memops
.
c
:
always
true expre
s
sion
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-11-08
Christopher Li
in
s
pect: ad
d
i
ng function arugumen
t
l
i
s
t
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-09-03
Christopher Li
s
p
arse 0
.
4
.
3
fin
i
al
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-10-08
Mike
F
r
y
singer
pa
r
ser: add Blackfin
g
cc info
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-09-15
Christopher
L
i
Fixup and clea
n
up modifier_string() func
t
ion
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-09-01
Dan Carpenter
ad
d
test-
i
nspect to
.
gitignore
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-09-01
Bern
d
Petrovit
s
ch
Fix a typo - "typdef"
i
s neither
C
nor plain English
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-07-22
Ch
r
i
s
t
opher
Li
insp
e
ct
:
cast expr
e
ss
i
on
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-07-19
Mort
e
n Welinder
s
kip ma
y
_alias and declare builtin
_
fabs
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-07-13
Chr
i
stopher
inspect: add some e
x
pression
i
nspection
Signed-Off-By: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-07-13
Christo
p
her Li
inspect: Add
t
e
st-in
s
pect program
Signed-Off-By: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-07-13
Christoph
e
r Li
i
n
s
pect:
add some
example inspect for symbol a
n
d statement
Signed-Off-By: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-07-13
Chri
s
topher
Li
inspec
t
:
add custom
a
st
t
reev
i
ew
m
odel
Signed-Off-By: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-07-13
Jiri Slaby
parser: defi
n
e __builtin_unreachable
Signed-off-by: Christopher <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-07-13
Christopher
Add test case f
o
r builtin_unreachable()
Signed-off-by: Christopher <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-07-13
Jir
i
Slaby
p
a
rse
r
: fix and
s
i
m
pli
f
y support of asm got
o
Signed-off-by: Christopher <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-06-18
Jiri
Slaby
par
s
e
r:
ad
d
support for asm
g
oto
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-06-18
Ch
r
istopher Li
A
ddi
n
g asm goto label te
s
t
c
a
se
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-06-18
Damien Lespiau
I
g
nore t
h
e may
_
a
lias GCC attri
b
ute
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-06-18
C
h
ris
t
opher Li
Parsing
w
ide char string
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-04-08
Chri
s
t
o
phe
r
Li
Allow par
s
i
ng L
'
\0'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Christopher
eva
l
u
a
te: c
h
eck for NULL type i
n
side
ty
p
eof
Signed-off-by: Christopher <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
C
h
ristop
h
er Li
P
o
i
nter don
'
t inherent the alignment from base type
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Joel Soete
possible fix to cgc
c
is
s
ue i
n
sparse 0
.
4
.
2
:
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Micha
e
l Buesch
Ig
n
ore
"
naked"
a
ttribute
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Michael Buesch
ignore attributes
"exte
r
nally_visible
"
an
d
"signal
"
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Christopher Li
Adding test c
a
se for "x && y && z"
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
next