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
Trivial: Remove redundant Makefile variable
2013-05-16
Christoph
e
r Li
Trivial: Remo
v
e r
e
d
undan
t
M
a
kefile
variable
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-04-26
Ch
r
istopher Li
Al
l
ow forc
e
d
a
t
t
ribute in func
t
i
on argument
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-04-08
Chri
s
t
opher Li
Prop
e
r variab
l
e length
a
rray warning
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-03-06
Christ
o
pher Li
Larger
buffer si
z
e for token concatena
t
ion
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-02-25
Christ
o
pher Li
Get rid of gcc
w
ar
n
i
n
g
a
bout
e
num values
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-02-23
C
hr
i
st
o
pher Li
F
ix segfault cause
b
y fucntion
w
ithout i
d
ent
.
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-02-22
Ch
r
i
s
t
opher Li
C
l
ean up
s
ome test cas
e
error
.
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-02-13
Christop
h
er
Li
Merge g
i
t://git
.
kern
e
l
.
o
rg/pub/sc
m
/linux/kernel/g
i
t
.
.
.
commit
|
commitdiff
|
tree
2013-02-10
Chri
s
t
o
pher Li
r
emove
w
ea
k
define
x
86_64
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2012-10-12
Christop
h
er
Li
Me
r
ge b
r
anch
'
llvm
/
core'
o
f
github
.
com:pe
n
berg/
s
parse
.
.
.
commit
|
commitdiff
|
tree
2012-06-21
Chri
s
t
o
pher Li
Merge branch 'for-
c
hris' o
f
git
:
//github
.
com/p
e
nberg
.
.
.
commit
|
commitdiff
|
tree
2012-03-23
C
hristopher Li
Addi
n
g default for m64
/
m32 handl
e
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2012-01-02
Chr
i
stopher Li
Merge br
a
nch 'sparse-llvm'
of gi
t
://github
.
com/pen
b
erg
.
.
.
commit
|
commitdiff
|
tree
2011-11-21
Christopher Li
spars
e
0
.
4
.
4
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-11-21
C
hristo
p
her Li
Add test
case for binary co
n
stants
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-29
Christop
h
er Li
Sparse
0
.
4
.
4
-
rc2
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-28
Christopher Li
Lim
i
t
usage
o
f g++ to
llvm
related p
r
ograms
.
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-23
Chris
t
opher
Li
Fi
x
parsi
n
g empty asm clobber
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-23
Christopher Li
Add test case for e
m
pty asm clobbe
r
s
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-20
C
h
r
i
st
o
pher Li
Sp
a
rse 0
.
4
.
4-rc1
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-14
Christo
p
her Li
Fix
inlining switch statement
.
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-14
Christophe
r
Li
valid
a
t
ion: inline
s
witch
statement
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-12
C
h
ristophe
r
Li
i
n
s
p
e
ct: Add
s
witch state
m
ent and more
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-05-31
Chri
s
topher
Li
Remove s
e
t
but no
t
u
sed
variab
l
e
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-05-31
Christopher L
i
Ignore attribute ve
c
tor_size
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-04-26
Christop
h
er Li
Allo
w
ove
r
write CFLAGS from command line
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-11-08
Christo
p
her Li
inspe
c
t:
a
d
d
ing fu
n
c
t
io
n
a
r
ugument
l
ist
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-09-03
Christopher
Li
sp
a
rse 0
.
4
.
3
finial
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-09-15
Christopher Li
Fixup and clea
n
up modifier_string() fun
c
t
i
on
.
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-07-22
Chr
i
s
t
opher L
i
inspe
c
t
: c
a
st expre
s
s
ion
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-07-13
C
hristopher
i
n
spect: add some e
x
pression inspection
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-07-13
Ch
r
istopher Li
i
n
spect: Add test-inspect pr
o
gram
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-07-13
C
hristo
p
her Li
inspect:
add some examp
l
e ins
p
ect
f
o
r
sy
m
bol a
n
d
s
tatement
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-07-13
C
hri
s
topher Li
inspect
:
add cust
o
m ast t
r
eeview mo
d
el
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-07-13
Christ
o
pher
Add test case for builtin_unreachab
l
e(
)
Signed-off-by:
Christopher
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-06-18
Chr
i
s
t
oph
e
r Li
Adding asm goto label
test case
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-06-18
Christopher
L
i
Parsing wide char string
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-04-08
Ch
r
istoph
e
r
L
i
A
llow par
s
ing L'\0'
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-03-29
Ch
r
i
stopher
evaluate: check for NUL
L
typ
e
inside
type
o
f
Signed-off-by:
Christopher
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-03-29
Christopher Li
P
oi
n
ter
d
o
n
't inherent the alignment from bas
e
t
yp
e
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-03-29
Christopher Li
Adding test case
f
or
"
x
&& y && z"
.
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-03-29
Christopher
L
i
Simplify Makefile using static p
a
ttern rules
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-03-29
Chr
i
s
t
opher
L
i
Declare i
g
n
o
red at
t
ri
b
utres
into a
list of string
.
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-03-29
Ch
r
is
t
opher
L
i
Move nore
t
u
r
n attribute ou
t
o
f
ignore attr area
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-10-16
Ch
r
i
stopher Li
Make
MOD
_
NORETURN fits into 32 bi
t
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-10-11
Christoph
e
r
Li
Sp
a
r
se 0
.
4
.
2
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-07-19
Christopher Li
move exte
r
n in
l
ine
fu
n
ction to fil
e
scop
e
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-07-18
Christophe
r
Li
Add va
l
idation for restr
i
ct and attribute warning
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-07-17
Christop
h
er L
i
Update t
h
e va
l
idat
i
on check for ftabstop
=
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2008-12-29
Christop
h
er Li
C
l
ean up Makefil
e
long lin
e
s
Signed-Off-By:
Christopher
Li<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2008-12-29
C
h
r
i
s
t
op
h
er L
i
Ma
k
efile
automatic hea
d
e
r
dependency
Signed-Off-By:
Christopher
Li<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2008-12-29
C
hristo
p
her Li
Wa
r
n
about ex
p
lic
i
t usage
o
f sizeof(void)
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2008-12-25
Ch
r
i
s
tophe
r
Li
Teach classify_ty
p
e t
o
handle typeo
f
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2008-12-18
Chris
t
o
p
her
L
i
Ad
d
e
num member list
to the parent
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2008-12-18
Chris
t
opher Li
R
emove pre_buffer
Signed-Off-By:
Christopher
Li <spase@chrisli.org>
commit
|
commitdiff
|
tree
2008-12-14
Ch
r
istop
h
er Li
Evalu
a
te
i
terator
symbols
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-10-21
Christopher
L
i
Perform loca
l
label look
u
p
Singed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-05-02
Christopher
Li
P
a
s
s
a
bitmask of keywords t
o
handle_attribute
s
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-05-02
Chr
i
s
t
oph
e
r
L
i
combinations
st
r
ing clean up
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-04-20
Chri
s
t
opher
L
i
h
andl
e
label attribu
t
es
Signed-Off-By:
Christopher
Li<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-04-20
Christo
p
her
Li
Fi
x
the
a
nnotat
e
d inline ca
l
l posi
t
ion
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-03-09
Christopher Li
Introduce keyword
driven attr
i
bute parsin
g
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-03-02
Christopher Li
Add an
n
otat
i
on for inline f
u
nction call
.
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-28
Christopher L
i
Di
s
ab
l
e
liveness "dead" inst
r
uction b
y
default
.
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-28
Christ
o
pher Li
In
t
rodu
c
e
e
xp
r
ession_error
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-26
Christopher
L
i
Fix cor
e
dump o
n
hug
e
sw
i
tch
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-25
Christopher
Li
Ad
d
ing
debug op
t
ion fo
r
show
i
n
g
t
h
e linearized
instruction
.
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-25
Christopher Li
Fix
a bug that m
a
tch_iden
t
s
forget to end w
i
th
N
ULL
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-23
Christopher Li
Fix core dump on anonymous symbo
l
.
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-23
Christophe
r
Li
M
ake the ptrlist
u
sing the sparse alloc
a
tor
.
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-23
Christo
p
her Li
F
ix
do
u
ble sem
i
colon in
s
t
ru
c
t de
c
larat
i
on
Signed-Off-By:
Christopher
Li<spase@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-23
Christopher Li
F
i
x the segfault w
h
en i
n
itializer has unknown
s
ymbo
l
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-21
Christophe
r
L
i
Hand
l
e s
t
ructure attr
i
bu
t
es
between
t
he
struct
u
re keyword
.
.
.
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-13
Christophe
r
Li
Bu
g
fix
i
n poi
n
ter modifi
e
r inheri
t
ance at function
.
.
.
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-01-27
C
hrist
o
phe
r
Li
M
arking anonymous string
.
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-01-27
Christo
p
h
e
r
Li
Ano
t
her attemp
t
to fi
x
the attribute
pa
r
s
ing
.
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-01-27
Chr
i
s
t
o
pher Li
Enhance debug info
r
mation
.
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-01-27
Christo
p
her Li
Allow more th
a
n one
c
omman
d
line include file
.
Signed-off-by:
Christopher
Li<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-01-17
Christo
p
h
e
r
Li
Update us
a
ge chain
f
or
d
e
a
d
branch
i
nstructio
n
.
Signed-Off-By:
Christopher
Li<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-01-17
Chris
t
o
p
her Li
Update usage
c
hain for dead in
s
tru
c
tions
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-01-17
Christopher Li
A
d
d
instruction to pseudo user trac
k
ing
.
Singed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-01-17
Chri
s
topher
Li
Change the
s
ymbol a
c
cess l
i
s
t to a
p
s
e
ud
o
list
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-01-17
C
h
r
istopher Li
Sparse-based
Ctags i
m
p
lemen
t
a
ti
o
n
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2006-12-05
C
hristopher Li
c
l
eanup w
r
i
t
e t
o
argumen
t
ar
r
ay hack
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2006-12-05
Chr
i
s
t
opher Li
delay
r
emo
v
ing file sc
o
pe
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2006-11-28
Christopher Li
Fix warnin
g
on self check
.
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2006-11-28
Ch
r
istop
h
er Li
trivial fix for se
g
fault
.
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2005-04-08
Christopher Li
[PATCH] s
t
atic d
e
clea
r
commit
|
commitdiff
|
tree
2005-04-08
C
h
ristopher Li
[PATC
H
]
using 0 a
s
NULL
in sparse
commit
|
commitdiff
|
tree
2005-04-08
Chris
t
ophe
r
Li
[
P
A
T
CH] linea
r
i
z
e
bitfield initializer
commit
|
commitdiff
|
tree
2005-04-08
Christop
h
er Li
[PATCH]
L
i
nearize initializer
commit
|
commitdiff
|
tree
2005-04-08
C
h
r
i
st
o
ph
e
r Li
[PATCH] trivial an
s
i-c dec
l
ear
commit
|
commitdiff
|
tree
2005-04-08
Chr
i
s
t
opher Li
[PATCH]
m
ake prep
r
ocesser
c
ommand a
symbol
commit
|
commitdiff
|
tree
2005-04-08
Ch
r
istopher
Li
[
PATCH] U
s
e more sim
p
l
e
/
fast
i
terators
commit
|
commitdiff
|
tree
2005-04-08
Christopher Li
[PATC
H
] more on fixi
n
g
depende
n
cy
commit
|
commitdiff
|
tree
2005-04-08
Christop
h
er
Li
[P
A
T
CH] avoid matching i
d
ents with
string compares
commit
|
commitdiff
|
tree
2005-04-08
Christop
h
er Li
[PATCH
]
Avoid r
e
cursiv
e
inline functio
n
ex
p
ansion
commit
|
commitdiff
|
tree
2005-04-08
C
h
rist
o
pher Li
[PATCH] Fix "r
e
turn" target handling
commit
|
commitdiff
|
tree
2005-04-08
Christ
o
p
h
er
L
i
[
PATCH] li
n
earization bug
f
ix
a
nd
bitfield h
a
ndling
commit
|
commitdiff
|
tree
2005-04-08
C
hristopher Li
[PATC
H
]
lineariz
e
conditiona
l
ex
p
ressions
commit
|
commitdiff
|
tree
next