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
Sparse 0.5.0
2014-01-29
C
hri
s
to
p
her
L
i
Spa
r
se
0
.
5
.
0
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-01-29
Christop
h
er Li
F
i
x make dist f
a
ilure
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-12-21
C
h
ri
s
toph
e
r
Li
Spars
e
0
.
5
.
0 rc1
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-12-21
Kim
Phillips
sparse: add built-in at
o
mic memory access
identifiers
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-12-21
Em
i
lio G
.
C
ota
g
i
tign
o
re: add
'
version
.
h'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-12-09
J
a
m
es Westby
Up
d
ate the informa
t
ion in README abou
t
using the library
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-11-29
Fran
z
Sc
h
rober
s
pa
r
se: Also check bit
_
offset when c
h
ecking
i
mplicit
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-11-29
Franz Schrob
e
r
F
A
Q: Remove out
d
a
ted
s
e
c
tions ab
o
ut
t
he license
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-11-29
Fra
n
z
Schrober
spa
r
se:
Relic
e
n
s
e
under
t
he MIT lice
n
s
e
Acked-by: Christopher Li <
sparse@chrisli.org
>
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-11-29
Franz Schrober
Revert "Fix mistaken comparis
o
n that becomes a
n
o-op
.
"
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-11-29
Franz Schrober
Rever
t
"Upda
t
e the
information
in README about using
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-11-29
Christopher
Li
Merge branch 'Novafora'
o
f
g
it:
/
/
g
it
.
zytor
.
c
om/
u
s
e
rs
.
.
.
commit
|
commitdiff
|
tree
2013-07-25
Ch
r
i
s
t
opher L
i
Merge bran
c
h '
l
l
vmc
o
r
e
'
commit
|
commitdiff
|
tree
2013-07-25
Jeff Layton
s
p
ar
s
e: add __
b
u
iltin_va_arg_
p
ack() an
d
_
_
builtin_va_arg_pac
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-05-23
Ramsa
y
Jones
symbol
.
c
:
Set cor
r
e
ct size of ar
r
ay f
r
om parenthesi
z
e
d
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-05-17
R
a
m
say J
o
nes
char
.
c: Fix
parsing of esca
p
e
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-05-16
C
hrist
o
p
h
er Li
Trivial: Remove red
u
n
dant
Makefi
l
e varia
b
l
e
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-05-15
Xi Wang
sparse, llvm:
f
i
x
l
ink err
o
rs
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-05-11
X
i W
a
ng
fix SIGFPE cause
d
b
y
signed division
ov
e
rflow
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-04-26
C
h
rist
o
pher Li
Allow force
d
attribute in function
argument
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-04-22
Josh Triplett
Support #
p
r
a
gma o
n
c
e
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-04-22
J
o
sh Triple
t
t
Define __SIZEOF_POINTER
_
_
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-04-20
Masatake YAMATO
Add descripti
o
n
for
-
Wi
n
i
t-c
s
t
rin
g
option
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-04-20
Masatake
Y
A
M
ATO
Test case for
-
Winit-cstring option
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-04-20
Masatake Y
A
MATO
W
a
rn ab
o
ut in
i
t
ializati
o
n of
a
char
a
r
ray
with a too
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-04-08
C
h
ristoph
e
r Li
Proper
v
a
r
iable len
g
th array war
n
ing
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-03-07
Jo
e
Per
c
h
e
s
Th
e
re's no c
u
r
r
ent way to know
t
h
e v
e
rsi
o
n
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-03-06
C
h
ristopher L
i
Larger buff
e
r
size f
o
r
t
oken co
n
catenation
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-02-28
Xi
W
ang
fix cas
t
ing constant
t
o
_
Bool
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-02-25
C
hristopher Li
Get
rid of gcc warn
i
n
g about
enum
v
alu
e
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-02-23
Christop
h
e
r Li
Fix
s
egf
a
ult cau
s
e
b
y f
u
cntion witho
u
t ident
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-02-22
Chris
t
o
p
he
r
Li
C
l
ean u
p
so
m
e
test ca
s
e error
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-02-22
R
a
ndy Dun
l
ap
sparse
p
atch v2: add noclone as an ignored attribute
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-02-19
Kim Phi
l
lips
s
parse: ad
d
built
-
in byt
e
sw
a
p
i
dent
i
fiers
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-02-13
Ch
r
i
s
top
h
er Li
Merge git://git
.
kernel
.
org/pu
b
/scm
/
linux/ke
r
nel/git
.
.
.
commit
|
commitdiff
|
tree
2013-02-10
Chri
s
topher
L
i
remove weak define x
8
6
_
6
4
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2012-10-12
Mauro Dreissig
F
i
x
w
r
ong
a
r
ray
s
ize e
x
pression
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2012-10-12
Christoph
e
r Li
M
erge branc
h
'
l
l
v
m
/core' of githu
b
.
co
m
:penber
g
/sparse
.
.
.
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
Jon
a
than Ne
u
sc
h
äfer
FAQ: up
d
ate the website address and call
i
t Wiki
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2012-06-25
KOSAKI Motohiro
spa
r
se:
Add 'error'
t
o
i
g
nored attributes
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2012-06-25
KOSA
K
I
M
otohiro
s
p
arse: Add '__
v
ect
o
r
_size__' to igno
r
ed attrib
u
tes
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2012-06-21
Chri
s
topher
Li
Merge br
a
nch 'for-ch
r
is' of git:
/
/github
.
com/penbe
r
g
.
.
.
commit
|
commitdiff
|
tree
2012-06-04
Xi
W
ang
check missing or d
u
p
l
icate goto
l
abels
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2012-06-04
Xi
W
an
g
compi
l
e-i386: fix u
s
e-aft
e
r-free in fu
n
c_
c
leanup
(
)
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2012-05-20
S
h
a
kth
i
K
a
nnan
I have updated the sparse
.
1 man
p
age
including the
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2012-05-10
Ja
n
Pokorný
simplify: conservative handling
of cas
t
s with pointer
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2012-05-04
Jan Pokorný
u
n
s
s
a: track
u
se o
f
newly added pseudo
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2012-03-23
Chris
t
o
p
h
er L
i
Adding
d
ef
a
u
l
t for
m
64/
m
32 ha
n
dle
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2012-03-23
Frederic Cr
o
z
at
Add __builtin_
s
tpcpy
,
_
_
sync_synchronize, __sync_bool
_
compa
r
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2012-01-19
Ethan Jackson
sparse: Add 'l
e
af' to ig
n
o
red attrib
u
tes
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2012-01-02
C
h
ris
t
opher
L
i
Merge branch 'sparse-llvm' of
g
it:/
/
github
.
com/pe
n
berg
.
.
.
commit
|
commitdiff
|
tree
2011-11-21
C
h
ristopher Li
spa
r
se 0
.
4
.
4
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-11-21
D
a
n Car
p
enter
r
e
co
g
nize bi
n
ar
y
const
a
nts
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-11-21
C
hristophe
r
Li
Add tes
t
cas
e
for binary constan
t
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-29
Christ
o
pher Li
Sp
a
rs
e
0
.
4
.
4-
r
c2
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-28
Linus Torvalds
Mak
e
'linearize_
r
e
t
u
rn()'
hel
p
e
r
f
unctio
n
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-28
Linus To
r
v
a
lds
M
ake 'linearize_sw
i
tch()'
helper f
u
nction
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-28
Linus T
o
rval
d
s
Make
'lineariz
e
_iter
a
tor
(
)' helpe
r
f
unction
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-28
Kamil Du
d
ka
cse: up
d
ate PHI users w
h
en throwing away an instruction
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-28
K
amil Dudka
cse: tre
a
t PH
I
-nodes as o
t
her instr
u
ctions
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-26
P
ekka Enberg
spar
s
e
: Fix _
_
builtin_safe_p for
p
ure and
c
o
nst functions
Cc: Christopher Li <
sparse@chrisli.org
>
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-25
Pek
k
a Enberg
Sh
o
w expected vs
.
actual output
on test
failure
Cc: Christopher Li <
sparse@chrisli.org
>
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-24
Pekk
a
Enberg
sparse: Enabl
e
unh
a
ndled validation tests
Cc: Christopher Li <
sparse@chrisli.org
>
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-23
Chr
i
stoph
e
r Li
Fix par
s
ing empty asm
clobber
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-23
Christopher L
i
Ad
d
test case f
o
r empty asm clobbers
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-23
Michael Stef
a
niuc
Ignore the ms
_
hook_prologu
e
attribut
e
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-20
Jonathan Neuschäfer
fix
com
m
on mis
s
pellings
w
ith codespe
l
l
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-20
Jonathan Neuschäfer
FAQ
:
fix a typ
o
("because or"
)
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-20
Chr
i
stophe
r
Li
Spa
r
s
e
0
.
4
.
4-rc1
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-14
Chri
s
t
op
h
er
L
i
Fix i
n
lining switch state
m
ent
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-14
C
hristopher Li
va
l
ida
t
ion: inlin
e
switch statemen
t
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-12
Christopher Li
inspec
t
:
Add switch statement an
d
mor
e
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-11
Jonathan Neus
c
häfe
r
fix a memory leak in compile-i
3
8
6
.
c
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-06-29
Pekka Enberg
spar
s
e: A
d
d
'artifical' to i
g
n
o
re
attributes
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-05-31
Chr
i
sto
p
her L
i
Re
m
ove s
e
t but not used variable
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-05-31
Christopher Li
I
gno
r
e attribu
t
e vector_size
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-05-07
Ben Pf
a
ff
evaluate: Allow
s
izeof(_Bool) to succeed
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-26
Jan Pokor
n
ý
par
s
e
.
c
: "if(" -> "if (" adjustment
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-26
Jan P
o
korn
ý
us
e
ARRAY_SIZE() when possible (continued)
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-26
Christopher Li
Al
l
ow o
v
erwrite
CFLAGS from command line
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-19
Linus Torvalds
Teach
'already_to
k
enized()
'
to use t
h
e st
r
e
am name
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-19
Linus Torvalds
Add
n
ew stre
a
ms to
a
hash-
l
ist
b
a
s
ed o
n
their
names
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-18
Di
e
go Elio Pet
t
enò
Fix bui
l
d
w
i
th GCC
4
.
6 s
e
ries
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-18
Diego Elio Pettenò
build: add an
a
l
l
-i
n
sta
l
la
b
le
target that builds the
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-18
Diego Elio Pettenò
build:
allow
easy o
v
err
i
de of GCC_BA
S
E
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-13
Jan
Pokorný
flow
.
c: m
a
ke comme
n
t for `dominates'
reflect code
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-13
Jan
P
o
korný
remove un
u
sed "
c
onta
i
ner" macro
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-03-11
F
lori
a
n Fain
e
lli
Mak
e
fi
l
e: warn user
w
hen libxml and/
o
r li
b
gt
k
2 are
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-01-03
N
am
h
y
ung Kim
Update
t
he validat
i
o
n ch
e
ck f
o
r es
c
ape sequences
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-01-03
Namhyung Kim
Fi
x
tokenizer for octal
escape se
q
uences
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-01-03
Namhyung Kim
use A
R
RAY_
S
IZE() whe
n
possibl
e
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-01-03
Nicolas Kaiser
memops
.
c
:
a
l
ways
true expression
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-11-08
Christopher Li
ins
p
ect: addin
g
f
unction arug
u
ment list
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-09-03
C
hristophe
r
L
i
spar
s
e
0
.
4
.
3
f
i
nial
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-10-08
Mike Fr
y
sing
e
r
parser
:
add Blac
k
fin
gcc in
f
o
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-09-15
Christopher Li
F
i
xup and cleanup mo
d
ifier_strin
g
() fu
n
ction
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-09-01
Dan Carpenter
ad
d
t
est-insp
e
c
t
to
.
gitignor
e
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-09-01
Bern
d
Petrovits
c
h
Fix a typ
o
- "ty
p
def" is neithe
r
C
nor plain
E
nglish
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-07-22
Christ
o
pher Li
inspect: cast expression
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
next