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
Add __builtin_stpcpy, __sync_synchronize, __sync_bool_compare_and_swap to declare_bui...
2012-01-02
Chri
s
to
p
her L
i
M
erge
b
ranch 'sparse-llvm
'
of
git://github
.
com
/
pe
n
berg
.
.
.
commit
|
commitdiff
|
tree
2011-11-21
Christopher Li
s
p
ar
s
e 0
.
4
.
4
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-11-21
Christopher Li
A
d
d test ca
s
e for bin
a
ry constants
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-29
C
hristopher Li
Sparse 0
.
4
.
4-rc2
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-28
C
hristopher Li
Limit usage of g++ to l
l
vm relat
e
d pro
g
r
a
ms
.
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-23
Christophe
r
Li
Fix parsing e
m
pty
a
sm c
l
o
b
b
er
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-23
C
h
ris
t
opher Li
Add t
e
st case fo
r
empty asm clobbers
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-20
Christoph
e
r
L
i
Spars
e
0
.
4
.
4-rc1
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-14
Christopher Li
Fix inlining
s
w
i
tc
h
s
tatement
.
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-14
Chri
s
topher Li
validation
:
inline swit
c
h stat
e
m
en
t
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-12
Christophe
r
Li
inspe
c
t:
Add sw
i
tc
h
s
t
atement
a
n
d m
o
re
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-05-31
Christophe
r
Li
Remove set
b
ut not
u
se
d
variable
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-05-31
Christopher Li
Ignore attrib
u
t
e vector_size
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-04-26
Christopher L
i
Allow overwrite
CFLAGS
from
command line
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-11-08
Chr
i
stopher Li
insp
e
ct:
adding
function arugument list
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-09-03
Christopher Li
sparse 0
.
4
.
3
finia
l
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-09-15
Chris
t
ophe
r
Li
Fixup and cleanup m
o
d
i
fier_s
t
ring()
functio
n
.
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-07-22
C
h
ristop
h
e
r
L
i
ins
p
ect: c
a
st ex
p
ressi
o
n
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-07-13
Christopher
inspect: ad
d
some exp
r
essio
n
inspection
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-07-13
Christopher Li
inspe
c
t
:
Add
t
est-inspe
c
t program
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-07-13
Christopher Li
in
s
pect: add some example
inspect for symbol and
s
tat
e
m
e
nt
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-07-13
Christopher
Li
inspect
:
add cus
t
om ast
t
reeview mod
e
l
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-07-13
Christopher
A
dd test case for bu
i
l
t
in_unreacha
b
le
(
)
Signed-off-by:
Christopher
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-06-18
Christop
h
er Li
A
d
ding asm g
o
to label test case
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-06-18
Christ
o
pher Li
Parsi
n
g wide
char s
t
ring
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-04-08
Chris
t
o
p
her Li
Allow par
s
i
n
g L'\0'
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-03-29
Christopher
e
v
aluate: che
c
k for NULL t
y
pe insid
e
typeo
f
Signed-off-by:
Christopher
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-03-29
Ch
r
istopher
L
i
Pointer do
n
'
t
inherent the alignment fro
m
bas
e
t
y
pe
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-03-29
Christopher
Li
Adding test c
a
se for "x && y && z"
.
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-03-29
Christ
o
pher Li
S
i
mpli
f
y Makefile usi
n
g st
a
tic p
a
t
ter
n
rules
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-03-29
C
hristoph
e
r Li
Decla
r
e i
g
nored att
r
ibu
t
re
s
into a list of string
.
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-03-29
Christopher Li
Move noretu
r
n attribute out of
ignore attr are
a
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-10-16
Christo
p
her Li
M
ake
M
OD_N
O
RE
T
URN
f
i
t
s into 32 bit
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-10-11
Chri
s
t
opher
Li
Sparse
0
.
4
.
2
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-07-19
Chr
i
st
o
pher Li
move extern i
n
lin
e
function to file sc
o
pe
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-07-18
Christophe
r
Li
Add validat
i
on
f
o
r restrict and attribute warning
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-07-17
Chris
t
o
pher Li
Update
the va
l
idation check for ftabstop=
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2008-12-29
Christ
o
p
her Li
C
l
ean
up Make
f
ile lon
g
l
ines
Signed-Off-By:
Christopher
Li<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2008-12-29
C
h
r
i
s
t
oph
e
r
L
i
Ma
k
efile automatic heade
r
d
ependency
Signed-Off-By:
Christopher
Li<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2008-12-29
Chris
t
opher Li
Warn
a
b
out
ex
p
l
i
cit usage of sizeof(void)
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2008-12-25
Christopher Li
T
each class
i
fy_type to handle typeof
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2008-12-18
Chris
t
opher Li
Add enum m
e
mber list
to th
e
pa
r
e
n
t
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2008-12-18
Christoph
e
r Li
Remove pre_buffe
r
Signed-Off-By:
Christopher
Li <spase@chrisli.org>
commit
|
commitdiff
|
tree
2008-12-14
C
hri
s
topher L
i
Evaluate iter
a
t
or symbols
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-10-21
C
hristopher Li
Perform local l
a
bel lookup
Singed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-05-02
Christopher Li
Pass a bi
t
mask o
f
keyword
s
to han
d
le_attribut
e
s
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-05-02
C
h
rist
o
p
her Li
combinations strin
g
c
l
ean up
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-04-20
Christopher
L
i
handle label attributes
Signed-Off-By:
Christopher
Li<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-04-20
Christopher
L
i
Fix the an
n
otated
inline cal
l
posi
t
ion
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-03-09
Christopher
Li
I
n
t
roduc
e
ke
y
word d
r
ive
n
attribute pars
i
ng
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-03-02
Chri
s
topher Li
Add ann
o
tation for inline function
c
a
l
l
.
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-28
Christo
p
her Li
Disa
b
le live
n
ess "d
e
a
d"
instr
u
ction by default
.
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-28
Christopher L
i
I
ntrodu
c
e expressi
o
n_
e
rr
o
r
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-26
C
h
ristopher L
i
F
i
x
core dump on huge switch
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-25
Christo
p
her Li
Adding debug optio
n
for showing the linearized i
n
struction
.
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-25
Ch
r
is
t
opher Li
Fi
x
a bug that
mat
c
h_idents
forget to end
w
ith NULL
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-23
Christopher L
i
F
i
x core d
u
m
p
o
n ano
n
ymous
sym
b
ol
.
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-23
Ch
r
i
s
topher Li
Make
t
h
e
p
t
rlist us
i
ng th
e
sparse allo
c
ator
.
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-23
Christopher Li
Fi
x
double semicolon in stru
c
t
d
ecl
a
ration
Signed-Off-By:
Christopher
Li<spase@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-23
C
h
ris
t
opher Li
Fix the segfa
u
lt when initializer has
unkn
o
wn sy
m
bol
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-21
Chr
i
s
t
opher L
i
H
a
n
d
le
s
tructure at
t
ribu
t
es b
e
twee
n
the stru
c
ture keywor
d
.
.
.
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-13
Christ
o
pher L
i
B
u
g
fi
x
in pointer modif
i
er inh
e
ritance at function
.
.
.
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-01-27
Christo
p
her Li
Marking anony
m
ous string
.
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-01-27
Christ
o
p
h
e
r Li
Another a
t
tempt to fix the attrib
u
t
e
par
s
ing
.
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-01-27
C
h
ristoph
e
r
L
i
Enha
n
ce debug information
.
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-01-27
C
hrist
o
pher Li
A
l
low more than one co
m
man
d
line incl
u
de file
.
Signed-off-by:
Christopher
Li<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-01-17
Chris
t
op
h
e
r Li
Update usage
c
hai
n
for d
e
a
d
b
ranch instruction
.
Signed-Off-By:
Christopher
Li<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-01-17
Chri
s
topher Li
Update usage chai
n
for dead i
n
s
t
ructi
o
n
s
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-01-17
Christopher
Li
Add
in
s
truction
to pseudo
user t
r
acking
.
Singed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-01-17
Chr
i
stopher Li
Change
t
h
e s
y
mbol acce
s
s l
i
st to a
p
seu
d
o lis
t
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-01-17
C
hr
i
s
t
o
p
her Li
Spa
r
se-based Ctags im
p
leme
n
tatio
n
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2006-12-05
Christopher Li
cleanup write to argume
n
t array hack
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2006-12-05
C
h
ristopher Li
dela
y
removing file
s
cope
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2006-11-28
C
hri
s
topher Li
Fix warning on self ch
e
ck
.
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2006-11-28
Christopher Li
trivial fix for
se
g
fault
.
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2005-04-08
Chr
i
stopher Li
[PATCH] sta
t
ic declear
commit
|
commitdiff
|
tree
2005-04-08
Chris
t
opher
L
i
[
PATCH] using 0 as NUL
L
in sparse
commit
|
commitdiff
|
tree
2005-04-08
C
h
ris
t
opher Li
[PA
T
C
H
]
linearize bit
f
i
e
ld initializer
commit
|
commitdiff
|
tree
2005-04-08
Ch
r
istopher L
i
[
PAT
C
H]
L
ineariz
e
initializer
commit
|
commitdiff
|
tree
2005-04-08
Christopher Li
[PATC
H
] t
r
ivial a
n
si-c declear
commit
|
commitdiff
|
tree
2005-04-08
C
h
ristoph
e
r
Li
[
P
A
TCH]
m
a
ke preprocess
e
r command a sy
m
b
ol
commit
|
commitdiff
|
tree
2005-04-08
C
hr
i
stophe
r
L
i
[P
A
TCH] Use more simple/fast iter
a
t
o
r
s
commit
|
commitdiff
|
tree
2005-04-08
C
h
r
i
stopher Li
[P
A
TCH] more o
n
f
i
xing
d
ependenc
y
commit
|
commitdiff
|
tree
2005-04-08
Christop
h
er Li
[
PATCH
]
avoid matching idents w
i
th strin
g
compares
commit
|
commitdiff
|
tree
2005-04-08
C
h
ristopher Li
[
P
ATCH] Avoid
r
ecursive inl
i
ne
f
u
nctio
n
e
xpa
n
s
i
on
commit
|
commitdiff
|
tree
2005-04-08
C
h
ris
t
opher Li
[P
A
T
C
H
] Fix "return
"
target handlin
g
commit
|
commitdiff
|
tree
2005-04-08
Chris
t
op
h
er Li
[PATCH]
linearization
b
ug fix and bitfield
handling
commit
|
commitdiff
|
tree
2005-04-08
Christopher
L
i
[PATCH]
l
i
nearize co
n
ditional exp
r
essio
n
s
commit
|
commitdiff
|
tree
2005-04-08
C
h
ris
t
opher Li
[PATCH] More li
n
earizion fu
n
commit
|
commitdiff
|
tree
2005-04-08
Christop
h
er
Li
[PATCH] pack bas
i
c b
l
o
cks
commit
|
commitdiff
|
tree
2005-04-08
C
h
ristopher Li
[
PATCH]
make sparse recognise assem
b
l
e
r
naming (reg
i
s
t
er
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Christo
p
her
Li
[PA
T
CH] more op-codes
commit
|
commitdiff
|
tree
2005-04-08
Christopher Li
[P
A
TCH] condi
t
ion branch simpl
i
fication
commit
|
commitdiff
|
tree
2005-04-08
Chris
t
opher Li
[
P
ATCH] P
A
TCH:
r
e
move
d
ead while lo
o
p
commit
|
commitdiff
|
tree
2005-04-08
Christopher Li
[PATCH] print out the function which causes er
r
ors
commit
|
commitdiff
|
tree
2005-04-08
Christopher Li
[PATCH] support __VA_AR
G
S
_
_ variabl
e
macro arguments
commit
|
commitdiff
|
tree
2005-04-08
Chris
t
o
p
h
e
r Li
[PATCH] print out n
a
me
o
f function w
h
ich caus
e
s errors
commit
|
commitdiff
|
tree