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
gitignore: add 'version.h'
2013-12-21
Emilio G
.
C
ota
gi
t
ignore: add
'
vers
i
o
n
.
h'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-12-09
J
a
me
s
Westb
y
Update the informat
i
on
i
n READ
M
E
about usi
n
g
the library
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-11-29
Franz
S
c
hrober
sparse
:
A
l
so c
h
eck bi
t
_offset when
checking imp
l
icit
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-11-29
Franz S
c
h
ro
b
er
FAQ: Remove outdated
se
c
t
i
ons abou
t
the license
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-11-29
Fr
a
nz Schrober
s
pa
r
se:
R
elicen
s
e
u
nder the
MIT license
Acked-by:
Christopher Li
<sparse@chrisli.org>
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-11-29
Franz Schro
b
er
Revert "F
i
x mistaken compari
s
on
th
a
t beco
m
es a no-op
.
"
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-11-29
Franz Schrober
Revert
"
Upda
t
e the
i
nforma
t
ion in READ
M
E abo
u
t using
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-11-29
Christo
p
he
r
Li
Merge
branch '
N
ovafo
r
a' of g
i
t
:
//git
.
zytor
.
com/users
.
.
.
commit
|
commitdiff
|
tree
2013-07-25
Christopher Li
M
e
rg
e
b
r
anch 'llv
m
c
o
re'
commit
|
commitdiff
|
tree
2013-07-25
Jeff L
a
yto
n
sparse:
a
dd __builtin_va_arg_pack() and _
_
buil
t
in_va_a
r
g_pac
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-05-23
Ramsay Jones
symbol
.
c: Set
c
orrect
s
i
ze o
f
array from
p
arenthesized
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-05-17
Ramsay Jone
s
char
.
c: Fix pa
r
sing of escape
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-05-16
Christopher Li
Trivial:
R
emove redundant M
a
k
efil
e
var
i
able
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-05-15
X
i Wang
sparse, llvm
:
fix link e
r
rors
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-05-11
Xi
Wang
fix SIGF
P
E caused
b
y
s
igned
division o
v
erflow
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-04-26
Christopher
Li
Allow forced attribute in fun
c
tion argument
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-04-22
J
o
sh Tr
i
pl
e
tt
Suppor
t
#pragma
once
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-04-22
J
osh Triple
t
t
Define __SIZEOF_POINTER__
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-04-20
Masatake
Y
AMATO
Add description for -Winit-cstring option
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-04-20
M
as
a
tak
e
Y
A
MA
T
O
Test ca
s
e fo
r
-Winit-c
s
tring o
p
tion
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-04-20
Mas
a
ta
k
e YAMATO
Warn about initialization of a char array
wi
t
h
a too
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-04-08
C
hr
i
stop
h
er
L
i
Pr
o
per variable
l
ength
a
r
ray warni
n
g
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-03-07
Joe
P
erches
There's no
c
u
r
rent w
a
y to
know the
version
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-03-06
Christopher Li
Larger buffe
r
size for token concatenation
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-02-28
Xi
W
ang
fix casti
n
g c
o
nstant to _Bool
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-02-25
Ch
r
istopher Li
Get rid of gcc warning
a
bout
enu
m
val
u
es
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-02-23
Christopher Li
Fix segfau
l
t cause by fucntion
without i
d
e
nt
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-02-22
Christ
o
pher Li
Cl
e
a
n
up
s
o
me
t
est case error
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-02-22
Randy Du
n
lap
s
parse
patch v2: add noc
l
one as an ignored attribute
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-02-19
Kim
P
h
illips
sparse: ad
d
bu
i
l
t
-in byt
e
swap identifiers
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-02-13
C
h
ristopher Li
Merge git://git
.
k
ern
e
l
.
org/pub
/
scm/lin
u
x
/
kernel/git
.
.
.
commit
|
commitdiff
|
tree
2013-02-10
Christ
o
p
h
e
r Li
r
e
move we
a
k define x86_6
4
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2012-10-12
M
auro Dreiss
i
g
Fix wrong
a
rray s
i
ze expression
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2012-10-12
Christo
p
her Li
Merge branch 'llvm/core
'
of g
i
t
hub
.
com:
p
enbe
r
g/sparse
.
.
.
commit
|
commitdiff
|
tree
2012-06-26
Jo
n
athan
Neuschäfer
ptrlist
.
c: fix a t
y
po in a comment
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2012-06-26
Jonathan Neuschäfer
FAQ: up
d
ate the we
b
s
ite
address and call
it Wik
i
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2012-06-25
KOS
A
KI Mot
o
hiro
s
p
arse: Add 'error' to ignored attributes
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2012-06-25
KOSA
K
I M
o
tohiro
spars
e
: Add
'
__vector_si
z
e__' to ignore
d
a
t
t
r
ibutes
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2012-06-21
Christopher Li
Merge bran
c
h
'f
o
r-chris' of git:/
/
gi
t
hub
.
c
o
m
/
pen
b
erg
.
.
.
commit
|
commitdiff
|
tree
2012-06-04
Xi Wang
check miss
i
ng or
duplicate goto la
b
els
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2012-06-04
Xi
W
a
ng
compil
e
-
i
3
8
6
: fix use-after-free in
f
un
c
_
clea
n
up
(
)
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2012-05-20
Shakthi K
a
nnan
I have updat
e
d th
e
sparse
.
1 man pag
e
including the
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2012-05-10
J
an Pokorný
sim
p
lify:
c
on
s
erva
t
ive
h
andling
of casts
w
i
th pointers
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2012-05-04
Jan Pokorný
unssa: track use of ne
w
ly added pseudo
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2012-03-23
C
h
ristopher Li
A
d
d
i
ng de
f
ault for m64/
m
32 handle
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2012-03-23
Fr
e
der
i
c
Cr
o
za
t
A
d
d __builtin
_
s
tpcpy, __syn
c
_sync
h
ronize, __sync_bool_co
m
pa
r
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2012-01-19
Ethan
J
ackson
sp
a
rse: Add
'leaf'
to ignor
e
d attributes
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2012-01-02
Christopher Li
Merge
b
ranc
h
'sparse-llvm'
o
f
g
i
t
:/
/
github
.
com/penbe
r
g
.
.
.
commit
|
commitdiff
|
tree
2011-11-21
Christoph
e
r
Li
sparse
0
.
4
.
4
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-11-21
Dan
C
a
r
penter
recognize
b
inary co
n
sta
n
t
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-11-21
Christopher Li
Add tes
t
case for b
i
nary co
n
stants
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-29
C
hristophe
r
Li
Spar
s
e
0
.
4
.
4-
r
c2
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-28
Linus Tor
v
alds
Make 'l
i
nearize_return()
'
helper fun
c
tion
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-28
Linus To
r
valds
M
ake
'linearize_sw
i
tch()'
h
elp
e
r f
u
nction
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-28
Linus Torvalds
Make 'linea
r
ize_ite
r
a
t
or()
'
helper function
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-28
Kamil D
u
dka
cse
:
update PHI users when th
r
o
wing away an in
s
tructio
n
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-28
K
amil
Dudka
cse: treat PHI-nodes as
o
t
h
e
r instructions
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-26
Pekka
Enberg
sparse: Fix __builtin_safe_p
f
o
r
pu
r
e and const
functions
Cc:
Christopher Li
<sparse@chrisli.org>
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-25
Pekka
E
nberg
Show expecte
d
vs
.
actual ou
t
put on
te
s
t fai
l
ure
Cc:
Christopher Li
<sparse@chrisli.org>
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-24
Pekka Enberg
spa
r
se: Enable 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
Christopher L
i
Fix parsing empt
y
asm clo
b
ber
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-23
Christopher
Li
A
dd test cas
e
for e
m
pty asm clobbers
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-23
Michael Stefani
u
c
Ignore
t
he ms_hook_pr
o
l
o
gu
e
attribute
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-20
Jonathan Neuschäfer
fix
c
ommon mis
s
pel
l
ings with codesp
e
ll
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-20
Jonath
a
n Neuschäfer
FAQ: fix
a typo ("
b
eca
u
se or"
)
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-20
Christ
o
pher Li
Sparse
0
.
4
.
4-rc1
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-14
Christopher Li
Fix i
n
lining switch state
m
en
t
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-14
Christopher L
i
va
l
idat
i
on: inline swi
t
ch
statement
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-12
Christopher Li
insp
e
ct:
A
d
d
s
w
i
tc
h
stat
e
me
n
t and more
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-11
Jonathan Neu
s
chäfer
fix a memory lea
k
i
n compi
l
e-i386
.
c
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-06-29
P
e
kka
E
nb
e
rg
sparse:
Add 'artifi
c
al' to ignore at
t
ributes
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-05-31
Christopher
L
i
Remove set bu
t
no
t
us
e
d variable
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-05-31
C
h
ristop
h
e
r Li
Ig
n
or
e
attribute vec
t
or_size
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-05-07
Be
n
Pfaff
evaluate: All
o
w sizeof(_Bool)
to succeed
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-04-26
J
an Pokorný
p
a
r
se
.
c
:
"if
(
" -> "if (" adj
u
stment
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-04-26
Jan Pokorný
u
se ARRAY_SIZE()
whe
n
possible (conti
n
ued)
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-04-26
Christopher Li
A
l
low overwrite
C
FL
A
GS from
c
o
mman
d
line
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-04-19
Linu
s
Torvalds
Teach 'already_tokenized(
)
' to
use t
h
e s
t
ream name
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-04-19
Linus
T
orvalds
Add new strea
m
s to a hash-
l
ist based on their name
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-04-18
Diego
E
l
i
o Petten
ò
Fix build wi
t
h
G
CC 4
.
6
s
er
i
e
s
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-04-18
Diego El
i
o
Pettenò
build: add an all-installable target that bu
i
ld
s
the
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-04-18
D
i
ego Elio P
e
tt
e
nò
b
u
il
d
: allow easy o
v
er
r
i
de o
f
GCC_B
A
SE
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-04-13
Jan
Poko
r
n
ý
flow
.
c: make comme
n
t for `dominates' reflect code
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-04-13
Jan
Pokor
n
ý
remove unused "con
t
a
i
ner" macro
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-03-11
Flori
a
n
F
ainelli
M
akefile: warn user when libxml and/or libg
t
k2 ar
e
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-01-03
Namhyu
n
g K
i
m
Update th
e
val
i
d
a
t
ion che
c
k for esca
p
e
s
equences
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-01-03
N
a
mhyung Kim
Fix toke
n
ize
r
f
or oc
t
a
l escape sequences
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-01-03
Namhyung
K
im
use ARR
A
Y
_
SIZ
E
() when possible
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-01-03
Ni
c
olas Kaiser
m
e
mops
.
c:
a
lways
t
rue
express
i
on
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-11-08
Chr
i
stopher Li
inspect
:
adding
function arugument l
i
s
t
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-09-03
C
h
ri
s
topher Li
s
parse 0
.
4
.
3
f
inial
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-10-08
Mike
F
rysinger
parser: add
Blackfin
g
c
c
i
nfo
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-09-15
C
h
ristopher Li
Fixup and cleanup modif
i
er_strin
g
(
) function
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-09-01
Dan Car
p
e
n
ter
add test-ins
p
ect
t
o
.
gitignore
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-09-01
Bern
d
Petr
o
vitsch
Fix a typo
-
"typ
d
ef" is ne
i
t
h
e
r C nor plai
n
E
nglish
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-07-22
C
h
r
i
s
t
opher Li
inspect: cast
exp
r
e
s
sion
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-07-19
Mort
e
n Welinder
s
kip may_a
l
ias and declare builtin_fab
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-07-13
Ch
r
ist
o
ph
e
r
in
s
pe
c
t
:
a
d
d s
o
me ex
p
r
ession
i
nspection
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-07-13
Christop
h
er Li
inspec
t
: A
d
d test
-
in
s
pect pro
g
ram
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-07-13
C
h
ristopher L
i
inspect:
add
some ex
a
m
pl
e
ins
p
e
c
t
f
or symbol and statement
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
next