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
extra, function_hooks, db: change cross function analysis for returns
2012-07-30
Chris
t
o
p
h
er Li
Fix
a
bug with
v
ar
i
ables nam
e
d
"x86_64"
.
commit
|
commitdiff
|
tree
2012-03-23
Chris
t
oph
e
r Li
Adding def
a
ult for m
6
4/m32 handle
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2012-01-02
Christo
p
her Li
Merge branch 'spa
r
se
-
llvm'
of git://github
.
com
/
penberg
.
.
.
commit
|
commitdiff
|
tree
2011-11-21
Christopher Li
spa
r
se 0
.
4
.
4
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-11-21
Christ
o
pher
Li
Add test case for b
i
nary
c
onstants
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-29
C
h
ristopher Li
Sparse 0
.
4
.
4-rc2
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-28
Chri
s
t
o
pher Li
Limit u
s
age of
g
++
to
l
l
v
m related pro
g
ram
s
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-23
Christopher Li
Fix parsing emp
t
y
a
sm c
l
ob
b
er
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-23
Christopher Li
Add
test c
a
se for empt
y
asm
clobber
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-20
Christopher Li
Spar
s
e 0
.
4
.
4-rc1
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-14
Christoph
e
r Li
Fix inlining switch
s
tatem
e
nt
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-14
C
hrist
o
pher L
i
v
a
li
d
ation: inline swi
t
ch stat
e
ment
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-12
Christopher Li
i
nspect
:
Add swi
t
ch sta
t
ement
an
d
more
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-05-31
Christopher
L
i
R
e
move
s
et bu
t
not us
e
d vari
a
ble
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-05-31
Chri
s
tophe
r
Li
Ignore attribute vector_s
i
ze
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-04-26
Christ
o
pher L
i
A
llow overwrite CFLAGS from co
m
mand line
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-11-08
Chris
t
opher Li
inspec
t
: adding function a
r
ugument list
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-09-03
Christopher Li
spa
r
se 0
.
4
.
3 finial
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-09-15
Christ
o
pher L
i
F
ixup a
n
d cleanup modifier
_
strin
g
()
function
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-07-22
Ch
r
i
s
top
h
er Li
inspect: ca
s
t expression
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-07-13
C
h
ri
s
topher Li
inspect:
Add test-in
s
pect
program
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-07-13
Christopher Li
inspec
t
: add some example
inspect f
o
r
symbol a
n
d statement
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-07-13
Christopher Li
inspect:
a
dd custom ast treevie
w
mo
d
el
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-06-18
Christopher Li
Addi
n
g as
m
g
o
to label te
s
t case
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-06-18
Chris
t
o
ph
e
r Li
Pa
r
s
i
ng wide char string
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-04-08
Christopher Li
Allow
p
arsin
g
L'\0'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-03-29
Christopher Li
P
ointer don't
i
nh
e
rent the al
i
g
n
me
n
t
from base
type
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-03-29
Christophe
r
L
i
Ad
d
ing test case for "x && y
&
& z"
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-03-29
Christopher Li
Simplify
Makefile us
i
ng s
t
atic patt
e
r
n
rules
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-03-29
Chri
s
t
o
p
her Li
D
e
clare ignored
att
r
ib
u
t
r
es i
n
to a list
o
f string
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-03-29
Christopher L
i
Move
n
ore
t
urn a
t
tribut
e
out of ignor
e
attr a
r
e
a
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-02-10
Christopher
L
i
P
ointer don't inherent the
a
l
ig
n
ment fro
m
base
t
ype
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-10-28
Christoph
e
r Li
Addi
n
g
t
e
st case for "x && y &&
z"
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-10-16
C
hristopher
L
i
Simplify M
a
kefile using st
a
tic pa
t
tern rules
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-10-16
Chri
s
topher Li
Decla
r
e ignored attributres into a list
o
f s
t
ring
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-10-16
Christophe
r
Li
Move noreturn a
t
t
r
ibu
t
e out of i
g
nore
attr area
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-10-16
C
h
ri
s
topher Li
Mak
e
MOD_NORETURN fits into 32 bit
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-10-11
C
h
risto
p
her Li
S
p
arse 0
.
4
.
2
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-07-19
Christopher
L
i
move
extern inlin
e
f
u
ncti
o
n
t
o file scope
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-07-18
Christoph
e
r Li
Ad
d
validat
i
o
n
for
re
s
t
rict and
attribute warning
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-07-17
Christopher Li
Update
t
he
validati
o
n check for fta
b
stop=
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2008-12-29
C
h
r
i
st
o
pher Li
Clean up Makefile l
o
ng lines
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2008-12-29
C
h
ristopher Li
Makefile automatic h
e
ader dependency
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2008-12-29
Christoph
e
r L
i
W
a
rn
a
b
o
ut exp
l
icit usage
o
f
sizeof(void
)
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2008-12-25
Christopher Li
Tea
c
h
cla
s
sify_ty
p
e
to ha
n
dle ty
p
eof
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2008-12-18
Christ
o
pher L
i
Add enum member list to the
parent
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2008-12-18
Christoph
e
r
Li
Remove p
r
e_buffe
r
Signed-Off-By:
Christopher Li
<spase@chrisli.org>
commit
|
commitdiff
|
tree
2008-12-14
Christophe
r
Li
Evalua
t
e
iterator
s
y
mbo
l
s
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-10-21
Christopher Li
Perfor
m
loc
a
l label lo
o
kup
Singed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-05-02
Christopher
L
i
P
a
ss a
bitmask of keywords
t
o hand
l
e_attrib
u
tes
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-05-02
Chris
t
opher Li
combinations s
t
ring clean up
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-04-20
Chr
i
st
o
p
h
er Li
h
andle label attr
i
but
e
s
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-04-20
Christoph
e
r L
i
Fix the annotated inline
c
a
ll posi
t
i
o
n
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-03-09
Christopher Li
Introd
u
ce keywor
d
d
r
i
ven a
t
tribute parsing
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-03-02
Christo
p
her Li
Ad
d
a
n
notat
i
on for inline function call
.
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-28
Christopher Li
Disable liveness
"
d
ead" instructio
n
b
y
def
a
ult
.
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-28
Chris
t
opher Li
I
ntro
d
uce expression_e
r
ror
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-26
Christopher L
i
Fix core dump on huge
s
w
itch
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-25
Chri
s
topher Li
Adding de
b
ug
o
pt
i
on f
o
r showing
t
he li
n
e
a
r
i
zed instruction
.
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-25
Christo
p
her
Li
Fix a bug
t
h
at mat
c
h_idents
f
or
g
et to en
d
with
N
ULL
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-23
Christopher Li
Fix core dump o
n
an
o
nymous s
y
mbol
.
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-23
Christ
o
pher
Li
M
ake
the ptrlist
using t
h
e s
p
arse allocato
r
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-23
C
hristoph
e
r Li
Fix double
semicolon
i
n struct de
c
laration
Signed-Off-By:
Christopher Li
<spase@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-23
Christopher Li
Fix th
e
segf
a
ult when initializ
e
r
h
as unknown symbol
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-21
Christopher
Li
Handle st
r
uc
t
u
r
e attribute
s
between t
h
e stru
c
ture keyword
.
.
.
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-13
Christophe
r
Li
Bug fix in pointer modifier inhe
r
i
tance
a
t functi
o
n
.
.
.
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-01-27
Christopher L
i
Markin
g
anonymous string
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-01-27
Chr
i
stopher
Li
An
o
ther att
e
mpt to fix the attribute parsing
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-01-27
Christopher Li
Enhance
de
b
u
g i
n
forma
t
i
o
n
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-01-27
Christo
p
h
e
r Li
Allow more than one
c
ommand line include fi
l
e
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-01-17
Christopher Li
Update usage chain for
dead
br
a
nch instruction
.
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-01-17
C
hrist
o
ph
e
r Li
Updat
e
us
a
ge ch
a
in for dead
i
n
structi
o
ns
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-01-17
Christopher Li
A
dd instruction to pseud
o
user tracking
.
Singed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-01-17
Chris
t
opher Li
Chan
g
e the sy
m
bol
access l
i
st to a ps
e
udo list
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-01-17
Christop
h
er Li
Sparse-based Ctag
s
implement
a
t
i
o
n
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2006-12-05
Chr
i
s
topher Li
cle
a
nup write to
a
r
gument array hack
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2006-12-05
Chris
t
oph
e
r Li
d
elay removing file scope
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2006-11-28
Christ
o
pher Li
Fix warning on self
check
.
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2006-11-28
Christoph
e
r Li
trivial fix for seg faul
t
.
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2005-04-08
Chri
s
t
o
p
h
er Li
[
P
A
T
CH] static de
c
lear
commit
|
commitdiff
|
tree
2005-04-08
Christop
h
er
Li
[PATCH] using 0 as
N
ULL in spa
r
s
e
commit
|
commitdiff
|
tree
2005-04-08
Chr
i
s
topher Li
[
PATCH] lin
e
arize bitfield initializer
commit
|
commitdiff
|
tree
2005-04-08
C
h
r
i
s
topher
Li
[PATCH] L
i
nearize init
i
alizer
commit
|
commitdiff
|
tree
2005-04-08
C
hri
s
tophe
r
Li
[
PATC
H
] trivial ansi-c decl
e
ar
commit
|
commitdiff
|
tree
2005-04-08
Christoph
e
r Li
[PATCH] make pre
p
roc
e
sse
r
com
m
and a
symb
o
l
commit
|
commitdiff
|
tree
2005-04-08
Chri
s
t
oph
e
r
Li
[PATCH] Use m
o
re simple/fast it
e
rato
r
s
commit
|
commitdiff
|
tree
2005-04-08
Chr
i
stopher Li
[PATCH]
more on fixi
n
g
dependency
commit
|
commitdiff
|
tree
2005-04-08
Ch
r
istopher Li
[PAT
C
H] avoid matching
i
dent
s
with string comp
a
res
commit
|
commitdiff
|
tree
2005-04-08
Christophe
r
Li
[PATCH] Avoid recurs
i
ve inli
n
e fu
n
ct
i
on expansion
commit
|
commitdiff
|
tree
2005-04-08
Christop
h
er Li
[PATCH] Fix "return" target han
d
ling
commit
|
commitdiff
|
tree
2005-04-08
Christop
h
er Li
[P
A
TCH] linearization b
u
g fix and bit
f
ield handling
commit
|
commitdiff
|
tree
2005-04-08
C
h
ristopher L
i
[PATC
H
] linear
i
ze conditio
n
a
l
expressions
commit
|
commitdiff
|
tree
2005-04-08
Chris
t
o
p
her L
i
[PATCH]
More linearizio
n
fun
commit
|
commitdiff
|
tree
2005-04-08
Chris
t
op
h
er Li
[PATCH] pack basic bl
o
cks
commit
|
commitdiff
|
tree
2005-04-08
C
h
ristopher
Li
[PATCH] make sp
a
rs
e
recognise
a
s
sem
b
ler nami
n
g (
r
eg
i
s
t
er
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Christo
p
h
er Li
[PATCH] more op-codes
commit
|
commitdiff
|
tree
2005-04-08
Chr
i
stopher Li
[PATC
H
] condition branch si
m
plification
commit
|
commitdiff
|
tree
2005-04-08
Christopher Li
[PATCH]
P
ATCH: remove dead whil
e
l
o
op
commit
|
commitdiff
|
tree
2005-04-08
Christopher Li
[
PATC
H
] print out the
function wh
i
ch
causes
e
r
r
ors
commit
|
commitdiff
|
tree
2005-04-08
Christo
p
her Li
[
P
ATCH]
s
upport __
V
A_
A
R
G
S
_
_ variab
l
e macr
o
arguments
commit
|
commitdiff
|
tree
next