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
stopher Li
Al
l
ow forced
attribute in functi
o
n
argument
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-04-22
Josh Tr
i
p
lett
Support #
p
ragma once
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-04-22
Josh Tr
i
plett
Define __SIZEOF_PO
I
NTER_
_
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-04-20
Masatake
Y
AMATO
A
dd descripti
o
n for -Winit-cstring o
p
tion
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-04-20
Masata
k
e YAMATO
Test
case
f
or -Winit-cst
r
ing o
p
tion
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-04-20
M
a
sa
t
ake YAMATO
Warn about
i
nitia
l
ization of a
c
h
a
r
array with a
t
oo
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-04-08
Christopher Li
Proper
v
ariable
lengt
h
array warning
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-03-07
Joe Perch
e
s
There's
n
o
current wa
y
t
o
know t
h
e version
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-03-06
Christoph
e
r
L
i
Larger buffer
size f
o
r token conc
a
tenation
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-02-28
Xi Wang
fix castin
g
co
n
stant
to _Bool
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-02-25
Christo
p
her Li
Get rid of
gcc w
a
rning abou
t
enum valu
e
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-02-23
Christopher
L
i
Fix segfault cau
s
e by fucn
t
ion without ident
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-02-22
Christ
o
pher Li
C
lean
u
p some
tes
t
c
ase error
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-02-22
Randy Dunlap
spars
e
pa
t
ch v2: add
noclone as an ig
n
o
red at
t
ribute
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-02-19
Kim
Phillips
sparse: add
b
uilt-i
n
byte swap
iden
t
ifiers
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-02-13
Christopher Li
M
e
r
g
e git://git
.
kernel
.
or
g
/
pub/s
c
m
/
linux/kernel/git
.
.
.
commit
|
commitdiff
|
tree
2013-02-10
Christo
p
her L
i
rem
o
v
e
w
eak d
e
f
i
ne x86_64
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2012-10-12
Mauro Dreiss
i
g
Fix
wr
o
ng array s
i
ze expression
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2012-10-12
Chris
t
opher Li
Mer
g
e
bra
n
ch 'llvm/core' of github
.
com:penberg
/
sparse
.
.
.
commit
|
commitdiff
|
tree
2012-06-26
Jonathan Neuschäfer
ptrli
s
t
.
c: fix a typ
o
in
a
comment
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2012-06-26
Jonathan N
e
uschäfer
F
AQ: u
p
date
the
w
eb
s
ite addr
e
ss a
n
d
call it Wiki
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2012-06-25
KOSAKI
M
otohiro
sparse: Add 'error' to ignored attributes
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2012-06-25
KOSAKI
Mot
o
h
i
ro
spa
r
se:
Add
'_
_
vector_size__' to ig
n
o
r
ed att
r
ibutes
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2012-06-21
Christopher Li
Merge branch 'for-chris' of
g
it:
/
/git
h
ub
.
co
m
/
p
enbe
r
g
.
.
.
commit
|
commitdiff
|
tree
2012-06-04
Xi W
a
ng
check missing o
r
duplicate
g
oto
lab
e
ls
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2012-06-04
Xi Wang
compil
e
-
i386: fix use-after-free
i
n func_cleanup(
)
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2012-05-20
Shakthi K
a
nn
a
n
I have
u
pdated the sparse
.
1
man page including the
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2012-05-10
Jan Pokorný
simpli
f
y: co
n
s
e
r
va
t
ive handling o
f
casts wit
h
poi
n
ters
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2012-05-04
Jan
P
o
kor
n
ý
unss
a
: trac
k
use of
newl
y
adde
d
pseud
o
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2012-03-23
Christopher
L
i
Addi
n
g default
f
o
r
m
64/
m
32
handle
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2012-03-23
Frederic Croza
t
Add _
_
builtin_stp
c
p
y, __sync_s
y
nchronize, __syn
c
_
b
o
o
l_compar
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2012-01-19
Et
h
an Ja
c
k
son
sparse: Add 'leaf' to ignored attr
i
butes
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2012-01-02
C
h
ri
s
t
op
h
er Li
Merge branch '
s
parse-llvm' of
git://github
.
com
/
p
e
n
berg
.
.
.
commit
|
commitdiff
|
tree
2011-11-21
C
h
ri
s
topher L
i
spar
s
e
0
.
4
.
4
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-11-21
Dan Carpenter
recogni
z
e binary c
o
nstants
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-11-21
Ch
r
ist
o
pher Li
A
d
d
test
case for b
i
nary consta
n
ts
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-29
Christopher Li
Spar
s
e
0
.
4
.
4-rc2
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-28
L
i
n
u
s Torv
a
lds
Make 'linearize_return()' helper function
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-28
Linus Torvalds
M
ake 'linearize_switch()' helper function
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-28
Li
n
us Tor
v
al
d
s
Make 'li
n
earize_itera
t
o
r
()' helper func
t
ion
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-28
Ka
m
il Dudka
cse: update P
H
I users when
th
r
o
w
i
ng aw
a
y an instruction
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-28
Ka
m
i
l Dudka
cs
e
: tre
a
t
PHI-nodes as other in
s
tructio
n
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-26
Pek
k
a
E
nberg
sparse:
F
ix __builtin_safe_p for pure and const
funct
i
o
ns
Cc: Christopher Li <
sparse@chrisli.org
>
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-25
Pe
k
k
a Enberg
Show expected vs
.
actual output o
n
te
s
t failu
r
e
Cc: Christopher Li <
sparse@chrisli.org
>
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-24
Pekka Enberg
sparse: Enable
u
nhand
l
ed
v
a
lidation tests
Cc: Christopher Li <
sparse@chrisli.org
>
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-23
Christopher L
i
Fix parsi
n
g emp
t
y asm clobber
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-23
C
hristopher Li
Add test c
a
se
f
or empty asm
clobbers
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-23
Mi
c
hae
l
S
tefaniuc
Ignore the
ms
_
hook_pr
o
logue attribute
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-20
Jonathan Neuschäfe
r
fix common misspel
l
ings
w
ith co
d
e
sp
e
ll
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-20
Jonathan Neus
c
häfer
FAQ: fix a typo ("because or"
)
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-20
C
h
r
istopher Li
Sparse
0
.
4
.
4
-rc1
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-14
Chri
s
topher Li
Fix inlining switch statement
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-14
Ch
r
istophe
r
Li
validation: in
l
ine switch stat
e
me
n
t
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-12
Chr
i
stopher Li
inspect: Add switch statement
a
nd more
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-11
Jona
t
han
N
euschäfer
f
ix a memory leak in co
m
pile
-
i386
.
c
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-06-29
Pekka En
b
erg
sparse: Add
'
artifical' t
o
ig
n
ore attributes
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-05-31
C
hr
i
s
topher Li
Remo
v
e
set
b
ut
not used variable
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-05-31
Christ
o
pher Li
Ignore attribu
t
e vector_siz
e
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-05-07
Ben Pfaff
ev
a
luate: Allow
sizeof(_Bool) to su
c
ceed
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-26
J
a
n P
o
korn
ý
parse
.
c
: "if(" -> "i
f
(" adjustm
e
nt
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-26
Jan P
o
korný
use ARR
A
Y_SIZE()
w
hen poss
i
ble (c
o
nti
n
ued)
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-26
Christopher Li
Al
l
ow overwrite CFLA
G
S from com
m
and line
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-19
L
i
nus T
o
rvalds
Teach
'alrea
d
y_t
o
kenized
(
)' to use the stream name
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-19
L
inus T
o
r
v
a
l
d
s
Add new streams to a
h
ash-list based on their
names
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-18
Di
e
go Elio
Pettenò
Fix b
u
ild
w
ith GCC 4
.
6 ser
i
es
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-18
Dieg
o
Eli
o
Pettenò
build: add an al
l
-installa
b
le target
t
hat builds the
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-18
Diego El
i
o Pett
e
nò
build: allow
e
asy override of
GCC_
B
ASE
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-13
Jan
P
okorný
flow
.
c: ma
k
e
c
omme
n
t for `domi
n
a
tes' reflect
c
ode
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-13
J
an P
o
korný
remove unused "contai
n
er" mac
r
o
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-03-11
F
l
orian
Fainel
l
i
Ma
k
efile: warn use
r
when libxml and/or libgt
k
2 a
r
e
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-01-03
Na
m
hyung Kim
Update the validation chec
k
for escape
se
q
uences
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-01-03
Namhyu
n
g Kim
Fix toke
n
izer
f
o
r octal e
s
cape sequ
e
nces
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-01-03
Na
m
hyu
n
g
Ki
m
us
e
ARR
A
Y_SIZE() when p
o
ss
i
ble
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-01-03
N
i
c
olas
K
aiser
memop
s
.
c: alway
s
true e
x
pression
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-11-08
C
h
r
i
s
to
p
her
L
i
inspec
t
:
a
d
d
in
g
f
u
nction a
r
ugument list
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-09-03
Ch
r
istopher
L
i
sparse 0
.
4
.
3 finial
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-10-08
Mike Frysing
e
r
p
a
rser: add Bl
a
ckfin
gcc info
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-09-15
Christopher
L
i
Fixu
p
and cleanup modifier_string() funct
i
on
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-09-01
Dan Carp
e
n
t
er
add test-inspect to
.
gitignore
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-09-01
Bernd Petrovitsch
Fix
a
typo -
"
typdef" is neither C nor
plain
English
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-07-22
C
h
ristopher Li
i
n
spec
t
: cast expr
e
ssion
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-07-19
Morte
n
Welinder
s
k
ip m
a
y_alias and declare builtin_fabs
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-07-13
Chris
t
opher
ins
p
ec
t
: add
s
ome exp
r
ession inspection
Signed-Off-By: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-07-13
Christ
o
pher Li
insp
e
ct: Add test-inspect program
Signed-Off-By: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-07-13
C
hristopher
L
i
in
s
p
e
c
t: add some
ex
a
mple inspect for
s
y
mbol and statement
Signed-Off-By: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-07-13
Christopher Li
inspect: add custom
a
st t
r
eeview m
o
del
Signed-Off-By: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-07-13
Jiri Slaby
parser: define __
b
uiltin_unreachable
Signed-off-by: Christopher <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-07-13
C
h
rist
o
pher
A
d
d test case f
o
r
bu
i
ltin_unreachable()
Signed-off-by: Christopher <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-07-13
Ji
r
i
Slaby
pa
r
se
r
: f
i
x a
n
d simplify support
o
f asm goto
Signed-off-by: Christopher <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-06-18
Ji
r
i Slaby
par
s
er: add sup
p
ort for asm goto
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-06-18
Chr
i
stopher Li
Addin
g
as
m
goto label
t
e
st case
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-06-18
Damien
L
espiau
Ignore the
may
_
alias GCC attribute
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-06-18
Christ
o
pher Li
Parsing
wide
c
har string
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-04-08
Christopher Li
Allow parsing L'\0'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Christopher
evaluate: check for
N
ULL type
inside typeo
f
Signed-off-by: Christopher <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Christopher L
i
Point
e
r don't in
h
erent the alignment f
r
om base typ
e
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
J
o
e
l Soete
possib
l
e fix
t
o cgcc issue in sparse 0
.
4
.
2:
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Mic
h
ael Buesch
Igno
r
e "naked" attribute
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Micha
e
l Buesch
ignor
e
attributes
"externally_vi
s
ible" a
n
d "signal
"
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Christophe
r
Li
Adding test
c
ase for "x
&&
y
&& z"
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
next