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-11-29
C
hris
t
opher Li
Merge
b
ran
c
h
'Novafora' of git://git
.
zytor
.
com/users
.
.
.
commit
|
commitdiff
|
tree
2013-07-25
Ch
r
i
s
t
opher Li
Merge branch 'llvmcore'
commit
|
commitdiff
|
tree
2013-05-16
Christopher Li
Trivial:
R
emove redund
a
nt Mak
e
file variabl
e
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-04-26
Christopher Li
Allow for
c
e
d attr
i
bute in fun
c
t
ion argument
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-04-08
Christoph
e
r
L
i
Pro
p
e
r variable le
n
gth array
warnin
g
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-03-06
Christopher L
i
Larger buf
f
er
s
i
z
e for token concat
e
n
a
tion
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-02-25
Christopher Li
G
e
t rid
o
f
g
cc
wa
r
ning about
e
n
um v
a
l
u
es
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-02-23
Christopher Li
Fix segf
a
ult cause by f
u
cnt
i
on without ident
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-02-22
Christopher Li
C
l
ean up some
t
est c
a
se error
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-02-13
Christopher Li
Merge git://g
i
t
.
kernel
.
org/pub/scm/linux/ke
r
nel/g
i
t
.
.
.
commit
|
commitdiff
|
tree
2013-02-10
Christopher Li
remove weak define x86_64
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2012-10-12
Chri
s
topher Li
Merge branch
'
llvm/cor
e
' of
g
ithu
b
.
com:penber
g
/
spars
e
.
.
.
commit
|
commitdiff
|
tree
2012-06-21
Ch
r
istop
h
e
r
L
i
Mer
g
e branch 'for-chris' of git://github
.
com/pe
n
ber
g
.
.
.
commit
|
commitdiff
|
tree
2012-03-23
Christo
p
her Li
Adding defaul
t
for m64/m32 handle
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2012-01-02
Christopher Li
Merge branch 'sparse-llvm' of git:
/
/github
.
com
/
penberg
.
.
.
commit
|
commitdiff
|
tree
2011-11-21
Ch
r
ist
o
phe
r
Li
sparse 0
.
4
.
4
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-11-21
Christopher Li
Add test c
a
s
e for bin
a
ry constants
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-29
C
h
ristophe
r
L
i
Sp
a
rse
0
.
4
.
4-rc2
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-28
Christo
p
her L
i
L
i
mit
u
sage of g++ to llvm related pr
o
grams
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-23
Christopher Li
Fix parsing
e
mpty asm c
l
obber
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-23
C
hris
t
opher Li
Add test case for e
m
pty asm clobbers
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-20
Chri
s
topher Li
Sparse 0
.
4
.
4-rc1
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-14
C
h
ris
t
opher
L
i
Fix
i
nlin
i
ng swit
c
h
st
a
temen
t
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-14
Ch
r
i
s
t
o
phe
r
Li
validation:
i
nlin
e
switc
h
stat
e
ment
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-12
Chri
s
t
opher Li
i
n
s
pect: Add swit
c
h statem
e
nt
a
nd mo
r
e
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-05-31
Christopher L
i
Re
m
o
ve set
b
ut
n
o
t used variable
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-05-31
Christ
o
p
h
er Li
Ig
n
ore attri
b
ute vector_si
z
e
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-04-26
Christopher Li
A
l
low overw
r
i
te CFLAG
S
from command line
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-11-08
Christop
h
e
r
L
i
inspect: adding f
u
nction a
r
ugument list
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-09-03
Chris
t
op
h
e
r
Li
sparse
0
.
4
.
3 finia
l
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-09-15
C
hris
t
opher
L
i
Fixup and cl
e
anup m
o
dif
i
er_string()
f
unct
i
on
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-07-22
Christophe
r
Li
in
s
p
e
ct:
cas
t
expre
s
s
i
on
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-07-13
Chr
i
stopher Li
inspec
t
:
Add test-inspect pr
o
gram
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-07-13
Chri
s
top
h
er Li
inspect: add some example in
s
pect f
o
r symbol and statem
e
nt
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-07-13
C
hr
i
stopher
Li
insp
e
c
t
: a
d
d custo
m
a
st tree
v
i
ew m
o
del
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-06-18
Ch
r
istoph
e
r Li
Addin
g
a
s
m goto l
a
bel test case
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-06-18
Christoph
e
r Li
Parsing w
i
de char string
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-04-08
Christopher
Li
Allow
p
a
r
s
i
ng L'\0'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-03-29
C
h
r
i
s
topher Li
Pointer don't inherent the alig
n
ment from base type
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-03-29
Ch
r
istopher L
i
A
dding test c
a
s
e for "x &&
y && z"
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-03-29
Christopher Li
Simpl
i
fy Makefil
e
us
i
ng
static patte
r
n rules
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-03-29
Chris
t
o
pher Li
Declare
i
g
nored att
r
ib
u
tre
s
in
t
o a list of
s
trin
g
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-03-29
Christopher Li
Move nore
t
urn at
t
ribute out of i
g
nore a
t
tr
a
rea
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-10-16
Chri
s
toph
e
r Li
Make
MOD_NORETURN fits into 32 bit
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-10-11
Ch
r
ist
o
pher Li
Sparse 0
.
4
.
2
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-07-19
Christo
p
h
e
r Li
m
ove ex
t
er
n
inline f
u
nction to file scope
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-07-18
Christopher Li
Ad
d
validation for restrict and attribute warnin
g
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-07-17
Christopher
L
i
Update
t
he valida
t
ion check
f
or
f
tabstop=
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2008-12-29
Ch
r
is
t
opher
L
i
Cl
e
a
n
u
p
Makefile long li
n
es
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2008-12-29
Christophe
r
Li
Makefil
e
automatic header
d
e
p
endency
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2008-12-29
Christopher Li
W
a
rn
ab
o
ut explicit usage
o
f sizeof(void)
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2008-12-25
Chr
i
s
t
opher Li
Teach
classify
_
type to handle ty
p
eof
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2008-12-18
Christopher Li
Add enum member
l
i
s
t
t
o the parent
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2008-12-18
C
h
ristoph
e
r Li
Re
m
o
v
e pre
_
buffer
Signed-Off-By:
Christopher Li
<spase@chrisli.org>
commit
|
commitdiff
|
tree
2008-12-14
Christopher Li
Ev
a
lu
a
te iterato
r
s
y
mbols
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-10-21
Christopher
L
i
Pe
r
f
o
rm loca
l
lab
e
l
l
o
okup
Singed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-05-02
Christopher Li
P
a
s
s
a bitmask of k
e
yw
o
rds
t
o handle_at
t
ributes
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-05-02
Ch
r
istopher L
i
comb
i
natio
n
s string clean up
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-04-20
Christophe
r
Li
ha
n
dle l
a
bel attribute
s
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-04-20
Christopher Li
Fix the annotated
i
nline ca
l
l posit
i
on
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-03-09
C
h
ristophe
r
Li
Introduce keyw
o
rd driv
e
n att
r
ibute
p
arsing
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-03-02
C
hrist
o
ph
e
r
L
i
A
d
d
annotation
f
or
inline function call
.
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-28
Chr
i
s
t
opher
Li
Disable li
v
eness "dead" in
s
tr
u
ct
i
o
n
by default
.
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-28
Christopher Li
I
n
troduce expression_error
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-26
C
h
r
istoph
e
r Li
F
ix core d
u
mp on
hu
g
e
switch
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-25
Christop
h
er
Li
Adding debug option for showing t
h
e linearized instruction
.
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-25
Ch
r
i
s
topher Li
Fix
a
bug that mat
c
h
_
i
d
ents
forget to
e
nd with NULL
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-23
Chr
i
sto
p
he
r
Li
Fix core dump on a
n
on
y
mous s
y
mb
o
l
.
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-23
Ch
r
istopher Li
Make t
h
e ptrlist using the sparse a
l
locator
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-23
Chr
i
stopher Li
Fix double
semico
l
on in st
r
uct d
e
claration
Signed-Off-By:
Christopher Li
<spase@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-23
Christopher
L
i
Fix
the
s
egfault when initializer
has u
n
known symbol
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-21
Ch
r
istopher Li
Handle s
t
ructure
attributes
b
etw
e
en the structure
k
eyword
.
.
.
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-13
Christ
o
pher
L
i
Bug
fix
i
n
poin
t
er modifier inhe
r
i
t
a
nce at function
.
.
.
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-01-27
Christophe
r
Li
Mar
k
ing
a
nony
m
ous
str
i
n
g
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-01-27
Chri
s
t
ophe
r
L
i
Anothe
r
attempt t
o
fix the att
r
ibute
p
ars
i
ng
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-01-27
C
h
r
i
stopher Li
Enhance debug information
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-01-27
Chr
i
stoph
e
r Li
Al
l
ow more than on
e
command
line
i
nclude
f
ile
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-01-17
C
hristop
h
er Li
Up
d
at
e
us
a
g
e c
h
ain for
d
ead br
a
nch i
n
s
tructi
o
n
.
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-01-17
Christopher Li
Update
usage c
h
ain for de
a
d instructions
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-01-17
Chris
t
opher Li
Add ins
t
ru
c
tion to pseudo user tr
a
cking
.
Singed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-01-17
Christopher
Li
Change the symb
o
l access
l
ist to a
p
seud
o
lis
t
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-01-17
Chris
t
opher Li
Sparse-based
C
tag
s
implementation
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2006-12-05
Christo
p
h
e
r Li
cleanu
p
write to
a
rgu
m
ent array hack
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2006-12-05
Ch
r
isto
p
her Li
de
l
ay removin
g
f
ile sc
o
pe
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2006-11-28
Chris
t
ophe
r
L
i
F
i
x
warning on self check
.
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2006-11-28
Christo
p
h
e
r Li
triv
i
al
f
ix for seg
fault
.
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2005-04-08
Christopher Li
[PATCH] static declear
commit
|
commitdiff
|
tree
2005-04-08
Chri
s
t
opher
L
i
[PATCH]
u
sing 0 a
s
NULL in
sparse
commit
|
commitdiff
|
tree
2005-04-08
C
h
r
ist
o
pher Li
[PATCH] linearize
b
itfield in
i
tializer
commit
|
commitdiff
|
tree
2005-04-08
C
hristopher Li
[
P
ATCH]
Linearize
initia
l
izer
commit
|
commitdiff
|
tree
2005-04-08
C
hri
s
t
opher Li
[
P
ATCH] trivial
a
nsi-c
decl
e
ar
commit
|
commitdiff
|
tree
2005-04-08
Christopher Li
[PATCH]
m
ake preprocesser co
m
mand a sym
b
ol
commit
|
commitdiff
|
tree
2005-04-08
Chri
s
topher Li
[PA
T
CH
]
U
se
m
ore
s
imple
/
fast i
t
erators
commit
|
commitdiff
|
tree
2005-04-08
Christop
h
er Li
[PATCH] mo
r
e on fixi
n
g
dependency
commit
|
commitdiff
|
tree
2005-04-08
Ch
r
ist
o
pher Li
[PATCH] avo
i
d
match
i
ng idents with
s
tr
i
ng c
o
mpares
commit
|
commitdiff
|
tree
2005-04-08
C
hristopher
L
i
[PATCH] Avoid rec
u
rsive inlin
e
function expansion
commit
|
commitdiff
|
tree
2005-04-08
Christopher Li
[PATCH] Fix
"
r
e
turn" targ
e
t handling
commit
|
commitdiff
|
tree
2005-04-08
Christ
o
phe
r
Li
[PATCH
]
lineariza
t
i
on bug fix and
bitfi
e
l
d
hand
l
ing
commit
|
commitdiff
|
tree
2005-04-08
Christopher Li
[
P
ATCH] linearize conditional ex
p
res
s
i
o
ns
commit
|
commitdiff
|
tree
2005-04-08
Christ
o
p
h
er
L
i
[PAT
C
H] More
l
inearizion fun
commit
|
commitdiff
|
tree
next