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
db_info: remove unused print
2012-07-30
Christopher
L
i
Fix a
bu
g
with
v
ar
i
a
bles named
"
x86_64"
.
commit
|
commitdiff
|
tree
2012-03-23
Christopher
Li
Add
i
n
g
d
e
f
a
u
lt for m64
/
m32 handle
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2012-01-02
C
h
ristopher Li
M
erge branch '
s
p
a
rse-
l
lvm' of git:/
/
g
ith
u
b
.
com/penberg
.
.
.
commit
|
commitdiff
|
tree
2011-11-21
Chris
t
opher Li
spa
r
se
0
.
4
.
4
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-11-21
Chris
t
opher Li
Add t
e
st case for bin
a
ry constants
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-29
Ch
r
istopher Li
Sparse
0
.
4
.
4
-rc2
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-28
Christopher Li
Li
m
it us
a
g
e of g++ to
l
lvm rel
a
ted programs
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-23
Christopher
L
i
Fix
p
arsing empty asm clobb
e
r
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-23
Chr
i
stopher
L
i
Add test case for empty asm c
l
obbers
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-20
Christop
h
er Li
S
parse 0
.
4
.
4-rc1
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-14
Chris
t
o
pher Li
Fi
x
inlining swit
c
h state
m
e
n
t
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-14
C
h
r
i
stopher Li
v
alid
a
t
i
on: inline switch statemen
t
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-12
Christoph
e
r Li
inspect: Add switch s
t
atemen
t
a
nd more
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-05-31
Chri
s
to
p
he
r
Li
R
emove set but
n
ot used
v
a
r
iable
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-05-31
Ch
r
istopher Li
Ignore
a
ttribute vector_size
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-04-26
Chr
i
stopher Li
A
l
low
o
verwrite CFLAGS
f
rom
command line
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-11-08
C
hristopher Li
inspect: adding f
u
nction arugument list
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-09-03
Christopher Li
sp
a
rse 0
.
4
.
3 f
i
nial
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-09-15
Christ
o
pher Li
Fixup an
d
cleanup modifier_
s
tring()
f
u
nc
t
i
on
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-07-22
Christopher
L
i
inspect
:
c
as
t
ex
p
ression
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-07-13
C
hri
s
topher Li
insp
e
ct: Add test-inspect program
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-07-13
Chri
s
toph
e
r Li
inspect: add some exampl
e
inspect for symbol and statemen
t
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-07-13
Christo
p
her Li
inspect: add custom
a
st treeview model
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-06-18
Christoph
e
r Li
Adding a
s
m goto labe
l
test case
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-06-18
Ch
r
isto
p
h
e
r
Li
Parsi
n
g
wide char
st
r
ing
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-04-08
Chr
i
s
toph
e
r
Li
Allow parsing L'\0'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-03-29
Christopher
Li
Pointer don't inherent the
alignment from
b
a
s
e type
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-03-29
Christopher L
i
A
d
ding t
e
s
t ca
s
e
for "x && y && z"
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-03-29
Chri
s
topher Li
S
i
mpl
i
f
y
Ma
k
ef
i
le using stat
i
c pat
t
ern
rules
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-03-29
Christopher Li
Declare
i
g
nored attr
i
b
u
tres in
t
o a l
i
st of
s
tring
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-03-29
Christoph
e
r
Li
Mo
v
e nor
e
tur
n
attribute out of
i
gnore attr
a
rea
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-02-10
Christ
o
p
h
er Li
Pointer don't inherent the alignment from base type
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-10-28
Christo
p
her L
i
Adding tes
t
case for "x && y && z"
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-10-16
Chris
t
opher Li
Simplif
y
M
akefile usi
n
g static p
a
ttern rul
e
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-10-16
Christopher Li
Declare ignored attr
i
b
utres
i
nto a list
of str
i
n
g
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-10-16
C
hri
s
to
p
her Li
Move nore
t
u
r
n
attribute out of
i
g
n
ore attr area
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-10-16
Chri
s
topher
L
i
Make MOD_
N
ORET
U
RN fi
t
s into
32 bit
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-10-11
Christoph
e
r
Li
Sparse 0
.
4
.
2
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-07-19
Chr
i
stopher
L
i
m
o
v
e
extern inline function to file scope
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-07-18
Christop
h
er Li
Add
validation f
o
r
r
estrict and attribut
e
warnin
g
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-07-17
Christo
p
h
er
L
i
Update
t
h
e valid
a
t
ion check f
o
r
ftabstop=
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2008-12-29
Christopher Li
C
l
ean up
M
a
kefile lon
g
lines
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2008-12-29
Ch
r
istopher L
i
Mak
e
file autom
a
tic heade
r
dependency
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2008-12-29
Christopher Li
W
arn about expli
c
it usag
e
of size
o
f(void)
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2008-12-25
Chri
s
topher
L
i
T
e
ach class
i
f
y_type to handle typeof
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2008-12-18
C
h
ristopher Li
Add
e
n
um member l
i
st t
o
the pare
n
t
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2008-12-18
C
h
ristopher Li
Remove pre_b
u
ffer
Signed-Off-By:
Christopher Li
<spase@chrisli.org>
commit
|
commitdiff
|
tree
2008-12-14
Christophe
r
Li
E
va
l
uate itera
t
o
r
symb
o
ls
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-10-21
Christ
o
p
h
er Li
Perform local label lookup
Singed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-05-02
Christopher Li
Pass a
b
itmask of key
w
ord
s
to handle_attributes
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-05-02
C
h
ristopher
L
i
combinations
s
t
rin
g
clean up
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-04-20
Ch
r
is
t
o
pher Li
ha
n
dle label attribu
t
es
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-04-20
Christopher Li
F
ix the anno
t
ated inline call position
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-03-09
C
hristopher Li
In
t
roduce
k
eyword dri
v
e
n
at
t
ribute pa
r
sing
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-03-02
Ch
r
i
s
toph
e
r Li
Add ann
o
t
a
tion for i
n
l
i
ne
f
un
c
tion cal
l
.
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-28
Christoph
e
r Li
Di
s
a
b
l
e liveness
"d
e
ad"
instruction by default
.
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-28
Chri
s
topher
Li
I
ntroduce expression
_
er
r
or
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-26
Christopher Li
Fix c
o
re
d
ump
o
n
huge swi
t
ch
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-25
C
hristopher Li
Add
i
ng debu
g
option for
showing the
l
in
e
arized ins
t
r
u
ction
.
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-25
Christopher
Li
Fix a b
u
g that
matc
h
_i
d
en
t
s forg
e
t
t
o
e
nd with NULL
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-23
Christopher Li
Fi
x
co
r
e dump
o
n a
n
onymous symbo
l
.
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-23
C
h
ris
t
opher Li
Make the pt
r
list using the
spars
e
a
ll
o
ca
t
o
r
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-23
Ch
r
isto
p
her Li
Fix double semic
o
lon in str
u
ct de
c
larat
i
on
Signed-Off-By:
Christopher Li
<spase@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-23
C
h
risto
p
her Li
F
i
x th
e
s
e
g
f
a
u
lt when initiali
z
er ha
s
u
n
known symbol
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-21
Christ
o
pher L
i
Handle structure attributes between the structure k
e
yword
.
.
.
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-13
C
hrist
o
pher Li
B
u
g fix in pointer modifier inheritance at
function
.
.
.
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-01-27
Christ
o
pher Li
Ma
r
k
ing anonymous
st
r
ing
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-01-27
Christopher Li
Ano
t
he
r
attempt to fix the attribut
e
p
a
rsing
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-01-27
Chr
i
sto
p
her Li
Enhance deb
u
g i
n
forma
t
ion
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-01-27
Christopher Li
All
o
w
m
ore than
o
ne co
m
mand
line incl
u
de fi
l
e
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-01-17
C
h
risto
p
her Li
Update us
a
ge chain for dead branch instruc
t
ion
.
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-01-17
Chri
s
topher Li
Update usage chai
n
for d
e
a
d instructions
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-01-17
Christopher
L
i
A
d
d instruct
i
on
t
o
pseudo user t
r
a
c
king
.
Singed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-01-17
Christo
p
her Li
C
h
a
nge the symbol access lis
t
to a p
s
eudo
l
i
s
t
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-01-17
Christopher Li
S
parse-based Ctags implemen
t
ation
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2006-12-05
Chri
s
t
opher Li
cleanup write to argument
a
r
ray hack
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2006-12-05
Christop
h
er Li
delay removing file scope
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2006-11-28
Chri
s
topher Li
F
i
x w
a
rning on sel
f
check
.
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2006-11-28
Christopher
Li
trivial fix for s
e
g fault
.
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2005-04-08
C
h
rist
o
pher Li
[PA
T
CH
]
stat
i
c declear
commit
|
commitdiff
|
tree
2005-04-08
Christo
p
her
Li
[PATCH] using 0 as
NULL in sparse
commit
|
commitdiff
|
tree
2005-04-08
C
hristopher
L
i
[PA
T
CH] line
a
rize
b
itfield i
n
itiali
z
er
commit
|
commitdiff
|
tree
2005-04-08
Christopher Li
[
PATCH] Li
n
earize initial
i
zer
commit
|
commitdiff
|
tree
2005-04-08
Christop
h
er Li
[PATCH
]
trivial a
n
si
-
c declear
commit
|
commitdiff
|
tree
2005-04-08
Chris
t
o
p
her
Li
[PAT
C
H
]
make
p
r
e
processer command a symbo
l
commit
|
commitdiff
|
tree
2005-04-08
Christoph
e
r
L
i
[PATC
H
]
Use more simple/fast
i
te
r
ators
commit
|
commitdiff
|
tree
2005-04-08
Christ
o
p
her Li
[P
A
T
C
H]
m
o
r
e
o
n fixing dependency
commit
|
commitdiff
|
tree
2005-04-08
Christopher Li
[PA
T
CH] avoi
d
mat
c
hing ide
n
t
s with s
t
ring com
p
ares
commit
|
commitdiff
|
tree
2005-04-08
Christopher L
i
[PATCH] Avoid recursive inlin
e
fun
c
tion
exp
a
nsion
commit
|
commitdiff
|
tree
2005-04-08
Christopher Li
[PATCH] F
i
x
"
retu
r
n"
t
arget hand
l
ing
commit
|
commitdiff
|
tree
2005-04-08
Chris
t
opher Li
[PATC
H
] linea
r
izat
i
on
b
ug fix and bitfield
h
a
n
dling
commit
|
commitdiff
|
tree
2005-04-08
Christo
p
her Li
[
PATCH] l
i
nearize
conditional exp
r
ession
s
commit
|
commitdiff
|
tree
2005-04-08
Ch
r
istoph
e
r Li
[PATCH] More linearizion fun
commit
|
commitdiff
|
tree
2005-04-08
Christoph
e
r Li
[P
A
TCH]
pa
c
k
basic blocks
commit
|
commitdiff
|
tree
2005-04-08
Ch
r
istopher Li
[
PAT
C
H
]
ma
k
e sparse r
e
cognise
a
ssembler na
m
ing (register
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Chr
i
stophe
r
L
i
[PATCH] more op-cod
e
s
commit
|
commitdiff
|
tree
2005-04-08
Christ
o
ph
e
r Li
[PATCH] condition
b
ranch
sim
p
lification
commit
|
commitdiff
|
tree
2005-04-08
Christ
o
phe
r
Li
[PAT
C
H] PATCH: re
m
ove dea
d
while loop
commit
|
commitdiff
|
tree
2005-04-08
Christop
h
er Li
[PA
T
CH]
p
rint out the function wh
i
ch causes errors
commit
|
commitdiff
|
tree
2005-04-08
Christopher Li
[PATCH] s
u
pport
__VA
_
ARGS__ variable macro arguments
commit
|
commitdiff
|
tree
next