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
sval: change type_min/max() => sval_type_min/max()
2012-07-30
C
h
r
i
stopher L
i
Fix
a bug wi
t
h variables named
"
x8
6
_64"
.
commit
|
commitdiff
|
tree
2012-03-23
C
h
ristoph
e
r
L
i
A
d
d
ing def
a
ult for
m64/m32 handle
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2012-01-02
Chris
t
o
p
h
e
r L
i
M
erg
e
b
r
a
n
ch
'sparse-llv
m
' of git
:
//github
.
c
om
/
penberg
.
.
.
commit
|
commitdiff
|
tree
2011-11-21
Christopher Li
sparse 0
.
4
.
4
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-11-21
C
h
ristopher Li
Ad
d
t
e
st case f
o
r b
i
nary c
o
nstants
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-29
C
h
r
istopher Li
Sparse
0
.
4
.
4-rc2
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-28
Christop
h
er
Li
Lim
i
t
us
a
ge of g+
+
to
llvm related programs
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-23
Chris
t
opher Li
Fix
parsing empty asm cl
o
bbe
r
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-23
Chri
s
top
h
er L
i
Add test case for empt
y
asm clobbe
r
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-20
Ch
r
istoph
e
r Li
Spars
e
0
.
4
.
4-rc1
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-14
Ch
r
istopher Li
Fix inlining swi
t
ch stat
e
ment
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-14
Christopher
Li
vali
d
ati
o
n: inline s
w
itch statem
e
nt
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-12
Chr
i
sto
p
h
er Li
ins
p
e
c
t: Add switch stat
e
ment a
n
d more
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-05-31
C
hristoph
e
r L
i
Remo
v
e set but no
t
used variable
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-05-31
Christopher Li
I
g
nore attribut
e
vect
o
r_si
z
e
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-04-26
C
h
ris
t
opher L
i
Al
l
ow overwrite CFLAGS
f
r
om command line
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-11-08
Ch
r
ist
o
pher L
i
inspe
c
t
: adding
function aru
g
u
m
ent list
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-09-03
Ch
r
istop
h
er Li
sp
a
rse 0
.
4
.
3
f
inial
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-09-15
Christoph
e
r Li
Fi
x
u
p
and
c
leanup modif
i
er_string
(
) function
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-07-22
Ch
r
istopher L
i
ins
p
ect
:
cast expres
s
ion
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-07-13
Christopher
L
i
inspect
:
A
d
d
test-inspect pr
o
gram
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-07-13
Christ
o
p
h
er Li
inspect: ad
d
some example insp
e
ct fo
r
sy
m
bol and state
m
e
nt
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-07-13
Christopher
Li
i
nspect: add custo
m
a
s
t
t
reeview model
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-06-18
Christopher Li
Addin
g
asm
g
o
to label test
c
ase
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-06-18
Christopher Li
Parsing wide char st
r
ing
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-04-08
Chri
s
toph
e
r Li
Al
l
ow
pars
i
ng
L
'
\
0'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-03-29
Christo
p
h
e
r Li
Poi
n
t
e
r
don't inheren
t
the
a
lignment
from base type
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-03-29
Chri
s
to
p
her
L
i
Add
i
ng t
e
s
t case for "x && y &&
z
"
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-03-29
Christoph
e
r Li
Simplify Make
f
i
l
e using static pattern rules
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-03-29
C
hri
s
tophe
r
Li
Declare ign
o
red attributres
i
nto a list of string
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-03-29
Christo
p
he
r
L
i
Move noreturn attribute o
u
t of ignore
a
ttr area
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-02-10
Christopher
Li
Pointer
don't i
n
heren
t
t
h
e
alignment from base
t
y
p
e
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-10-28
Ch
r
istop
h
er Li
Adding test case for "x && y && z"
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-10-16
Christopher Li
S
i
m
p
lify Makefile usin
g
static pat
t
ern r
u
les
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-10-16
Christopher Li
Declare ignored
attributres int
o
a list of stri
n
g
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-10-16
Chr
i
stopher Li
Move noreturn attribute out of ignore a
t
t
r area
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-10-16
Christopher Li
M
ak
e
MOD_NORETURN fit
s
into
3
2 bit
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-10-11
Christopher Li
Sparse 0
.
4
.
2
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-07-19
Christ
o
pher Li
move ext
e
rn
i
nline
functi
o
n t
o
fi
l
e scop
e
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-07-18
Chr
i
stop
h
er
Li
Add val
i
d
atio
n
for restrict and attr
i
bute
w
arning
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-07-17
Christo
p
he
r
Li
Updat
e
the va
l
i
d
ation
che
c
k for ftabstop=
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2008-12-29
Ch
r
istopher Li
C
lean up Makefile long
l
ines
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2008-12-29
Christop
h
er L
i
M
akefil
e
automatic header
d
ependency
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2008-12-29
Chris
t
o
pher Li
Warn about explicit
u
s
a
ge of siz
e
of
(
void
)
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2008-12-25
C
h
ristophe
r
L
i
Teach clas
s
i
fy_
t
y
p
e to handl
e
type
o
f
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2008-12-18
C
hristopher Li
Add en
u
m
m
ember list to
the parent
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2008-12-18
Christopher Li
Re
m
ove
p
re_buffer
Signed-Off-By:
Christopher Li
<spase@chrisli.org>
commit
|
commitdiff
|
tree
2008-12-14
Christopher Li
E
v
aluate iterator symb
o
ls
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-10-21
Christoph
e
r Li
Perform l
o
cal
label l
o
o
kup
Singed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-05-02
C
hri
s
t
opher Li
Pas
s
a bitmask of keywords to ha
n
dle_attributes
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-05-02
Christopher Li
c
o
mb
i
nat
i
on
s
s
t
ring cle
a
n up
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-04-20
Christophe
r
Li
hand
l
e
label attributes
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-04-20
Christop
h
er Li
Fix th
e
annotated
i
nline call position
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-03-09
Christo
p
h
e
r
L
i
Intr
o
duce
keyword dri
v
e
n
attr
i
bute pa
r
sing
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-03-02
Chr
i
stop
h
er Li
Add
a
n
notat
i
on for inline functi
o
n call
.
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-28
Christopher L
i
Dis
a
ble liv
e
ness
"dead
"
instruction by default
.
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-28
Christopher Li
I
ntroduc
e
e
xpressio
n
_e
r
r
or
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-26
Chri
s
top
h
er Li
Fix core dump on huge swit
c
h
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-25
Christopher Li
Adding debu
g
option f
o
r showing the
l
i
n
earized instruct
i
on
.
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-25
Chris
t
o
p
her L
i
Fi
x
a bug
t
h
a
t
m
atch
_
idents forget to
e
nd
w
i
t
h
NULL
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-23
Chr
i
st
o
ph
e
r Li
Fix co
r
e dump on anonymou
s
symbol
.
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-23
Christoph
e
r Li
Make the ptrlis
t
u
s
in
g
the s
p
arse alloc
a
to
r
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-23
Christoph
e
r L
i
Fix dou
b
le semicol
o
n i
n
struct
d
eclar
a
tion
Signed-Off-By:
Christopher Li
<spase@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-23
Chr
i
sto
p
her Li
Fix the seg
f
au
l
t
w
he
n
i
ni
t
iali
z
er ha
s
unknown sym
b
o
l
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-21
Christopher
L
i
Handle structu
r
e attri
b
ut
e
s b
e
tween the structure keyword
.
.
.
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-13
C
hristopher
Li
Bug fix
in pointe
r
modifier inhe
r
itance
a
t
f
u
nction
.
.
.
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-01-27
C
hristop
h
e
r Li
Marki
n
g
anonymous
st
r
ing
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-01-27
Christopher Li
A
nother attempt to fix
the att
r
ibute p
a
rsin
g
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-01-27
Chri
s
topher Li
Enh
a
nce debug infor
m
ation
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-01-27
C
hristoph
e
r Li
Allow
more than on
e
command li
n
e inclu
d
e file
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-01-17
C
hristoph
e
r Li
Update us
a
ge chain for de
a
d branch instruction
.
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-01-17
Chris
t
opher Li
Upd
a
te usage chain
for dead instructions
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-01-17
Chr
i
stopher
Li
Add in
s
t
ruction to pseud
o
user tracking
.
Singed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-01-17
C
h
ri
s
top
h
er Li
Ch
a
nge
t
he symbol ac
c
ess list to a pseud
o
list
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-01-17
Christopher
L
i
Sp
a
rse-
b
a
s
e
d Ctags impl
e
menta
t
i
o
n
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2006-12-05
Christopher Li
c
l
eanup write
t
o a
r
gument a
r
r
a
y hack
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2006-12-05
Christopher Li
delay removing
file sco
p
e
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2006-11-28
Christopher Li
Fix warning on self
chec
k
.
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2006-11-28
Christopher Li
triv
i
a
l
fix for
seg fau
l
t
.
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2005-04-08
Christopher
Li
[PATCH] s
t
atic declear
commit
|
commitdiff
|
tree
2005-04-08
Christopher Li
[PATCH] usi
n
g 0 a
s
NULL in sparse
commit
|
commitdiff
|
tree
2005-04-08
Christopher Li
[
P
ATC
H
] linearize bitfiel
d
i
n
iti
a
lizer
commit
|
commitdiff
|
tree
2005-04-08
Chris
t
opher Li
[PATCH
]
Lin
e
arize initial
i
zer
commit
|
commitdiff
|
tree
2005-04-08
Christopher Li
[PATCH] trivial ansi-c
d
e
clear
commit
|
commitdiff
|
tree
2005-04-08
Christo
p
her Li
[PATC
H
] make
p
rep
r
o
cesser
c
ommand
a symbol
commit
|
commitdiff
|
tree
2005-04-08
Christopher Li
[PATCH] Use more simple/fast
i
t
er
a
to
r
s
commit
|
commitdiff
|
tree
2005-04-08
Christopher Li
[PATCH] more on fixing dependency
commit
|
commitdiff
|
tree
2005-04-08
Christ
o
pher
Li
[
PATCH]
a
void
m
atching idents wi
t
h string compares
commit
|
commitdiff
|
tree
2005-04-08
Christopher L
i
[
P
ATCH]
A
v
oid
r
ecursive inline function expa
n
sion
commit
|
commitdiff
|
tree
2005-04-08
Christopher Li
[PATCH]
F
ix
"return" t
a
rget handling
commit
|
commitdiff
|
tree
2005-04-08
Christopher Li
[PAT
C
H] linearization bug fix and bitfie
l
d handlin
g
commit
|
commitdiff
|
tree
2005-04-08
Christop
h
er Li
[PATCH]
l
ineari
z
e co
n
d
i
tional e
x
pre
s
sions
commit
|
commitdiff
|
tree
2005-04-08
Chris
t
oph
e
r Li
[PATCH] More line
a
rizion fun
commit
|
commitdiff
|
tree
2005-04-08
Christoph
e
r Li
[PATCH
]
p
a
c
k
basic
blocks
commit
|
commitdiff
|
tree
2005-04-08
C
h
ris
t
opher Li
[PATCH] make sparse recogn
i
se
a
s
sembler nami
n
g (register
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Ch
r
ist
o
ph
e
r Li
[PA
T
CH] more op-codes
commit
|
commitdiff
|
tree
2005-04-08
Christopher L
i
[PATCH] conditio
n
branch si
m
p
l
ification
commit
|
commitdiff
|
tree
2005-04-08
Christopher
Li
[PAT
C
H] PATCH: remove
d
ead while
l
oop
commit
|
commitdiff
|
tree
2005-04-08
Ch
r
istopher
L
i
[PATCH]
p
rint out the funct
i
on which cause
s
errors
commit
|
commitdiff
|
tree
2005-04-08
Christopher
L
i
[
P
ATCH] sup
p
o
rt _
_
VA_
A
RGS__
v
a
riable m
a
cro argum
e
nts
commit
|
commitdiff
|
tree
next