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
evaluate: Allow sizeof(_Bool) to succeed.
2011-04-26
Chri
s
toph
e
r
L
i
Allow overwrite CFLAGS from c
o
mm
a
nd line
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-11-08
C
hristopher Li
insp
e
ct: adding fu
n
ctio
n
arugumen
t
l
ist
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-09-03
Christop
h
er Li
sparse 0
.
4
.
3 finial
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-09-15
C
h
r
i
s
topher L
i
Fixup a
n
d
cleanup mod
i
fier_string() function
.
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-07-22
Christopher L
i
inspect: cast expr
e
ssion
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-07-13
Christopher
inspect: add
s
ome expression inspect
i
o
n
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-07-13
Christophe
r
Li
ins
p
ect: Add tes
t
-i
n
spect program
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-07-13
Christopher
Li
inspect: add some example in
s
pect f
o
r symbol and statement
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-07-13
Christop
h
er
L
i
inspect: ad
d
c
ustom a
s
t treeview
m
odel
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-07-13
Christopher
A
d
d test
case for bu
i
lt
i
n_unreachable()
Signed-off-by:
Christopher
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-06-18
Christophe
r
Li
Adding a
s
m goto
l
abel t
e
s
t
c
a
se
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-06-18
Christophe
r
Li
Parsing w
i
d
e char string
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-04-08
Christop
h
e
r
L
i
Allow pa
r
sing L'\0'
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-03-29
Christo
p
her
evaluate: check for NU
L
L
t
ype inside typeof
Signed-off-by:
Christopher
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-03-29
Christopher Li
Poi
n
ter don't
i
nh
e
rent the alignment from base t
y
pe
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-03-29
C
hristopher Li
A
dding
test case for "x && y
&&
z"
.
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-03-29
C
hrist
o
pher
L
i
S
implify Makefile using static pattern rules
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-03-29
Christ
o
pher Li
Decl
a
re ignored at
t
ributres int
o
a
l
ist of st
r
ing
.
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-03-29
Ch
r
istopher Li
Move
n
o
r
eturn attribute out of
i
gnore attr area
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-10-16
Christo
p
her Li
Make MOD_NORETU
R
N fits
i
nto 32 bit
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-10-11
Christo
p
her Li
Sparse 0
.
4
.
2
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-07-19
C
h
r
i
st
o
pher
L
i
move extern in
l
ine
f
u
nct
i
o
n to file scope
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-07-18
Christopher
L
i
Add validation for
r
estric
t
a
n
d attribute warning
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-07-17
Chri
s
topher Li
Upd
a
t
e the validatio
n
chec
k
f
or ftabsto
p
=
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2008-12-29
Chr
i
s
topher Li
Cl
e
a
n
up Makefile long lines
Signed-Off-By:
Christopher
Li<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2008-12-29
Christopher Li
M
a
k
efi
l
e automat
i
c h
e
ade
r
depe
n
dency
Signed-Off-By:
Christopher
Li<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2008-12-29
Christopher Li
Warn ab
o
ut explicit usag
e
of sizeo
f
(void)
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2008-12-25
C
hristopher Li
Teac
h
classify
_
type t
o
ha
n
dle
type
o
f
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2008-12-18
Christopher Li
Add enum member
l
ist
to the p
a
rent
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2008-12-18
C
h
ristopher Li
Remove pre_buffe
r
Signed-Off-By:
Christopher
Li <spase@chrisli.org>
commit
|
commitdiff
|
tree
2008-12-14
Ch
r
istopher Li
Eva
l
uate it
e
ra
t
or symbols
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-10-21
Christop
h
er Li
Pe
r
f
o
rm
local label lookup
Singed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-05-02
Chr
i
s
t
opher Li
Pas
s
a
b
it
m
ask of keywords to handle_a
t
tri
b
utes
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-05-02
Christoph
e
r
Li
combinat
i
o
ns stri
n
g cl
e
an
up
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-04-20
Christopher Li
handle
label attributes
Signed-Off-By:
Christopher
Li<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-04-20
Christ
o
pher
L
i
Fix the annotated inline
call position
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-03-09
Christopher
Li
I
n
tr
o
du
c
e
k
eyword
drive
n
attri
b
ute parsin
g
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-03-02
Christophe
r
Li
Add annotat
i
on for i
n
line function cal
l
.
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-28
Chri
s
topher
L
i
D
i
s
a
ble li
v
eness "d
e
ad" instruction by defa
u
lt
.
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-28
Chris
t
opher Li
In
t
roduce expression_error
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-26
C
hristopher Li
Fix c
o
r
e
d
ump
on huge
s
witch
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-25
Christopher Li
Adding debug optio
n
for showi
n
g
the linearized in
s
truc
t
ion
.
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-25
Christ
o
pher L
i
Fi
x
a bu
g
that match
_
idents
f
orget to en
d
w
i
t
h
NUL
L
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-23
Christopher Li
Fix
c
ore dump
o
n
ano
n
ymous symbol
.
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-23
Chri
s
topher Li
Make
the
ptrlis
t
using the sparse al
l
ocator
.
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-23
Christopher Li
Fix double sem
i
colo
n
in
str
u
ct dec
l
aration
Signed-Off-By:
Christopher
Li<spase@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-23
C
h
ristop
h
er
Li
Fix the seg
f
ault when
in
i
tialize
r
has unknow
n
symbol
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-21
Chr
i
stopher Li
Handle st
r
uct
u
re at
t
r
i
butes be
t
ween the structure keyword
.
.
.
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-13
Christ
o
pher
Li
B
ug fix in pointer modifier in
h
eritance at funct
i
on
.
.
.
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-01-27
Chri
s
topher Li
M
a
r
king anonymou
s
st
r
ing
.
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-01-27
Christopher Li
Another attem
p
t
t
o fix t
h
e attribute
p
arsing
.
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-01-27
Chris
t
oph
e
r
Li
E
nhance debug information
.
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-01-27
Chr
i
stopher Li
All
o
w more than one comma
n
d line i
n
clude file
.
Signed-off-by:
Christopher
Li<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-01-17
Ch
r
istopher Li
Updat
e
usage c
h
ain for dead
branch i
n
structio
n
.
Signed-Off-By:
Christopher
Li<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-01-17
Chr
i
stopher Li
Update usag
e
chain for de
a
d ins
t
ructions
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-01-17
Christo
p
her Li
A
d
d instructi
o
n to pseudo user tracking
.
Singed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-01-17
C
hristopher Li
Change the sy
m
bol access
lis
t
to a pseudo
l
ist
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-01-17
Christoph
e
r Li
Sparse-ba
s
ed Ctags implementatio
n
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2006-12-05
Christopher Li
cleanup write to argum
e
nt a
r
ray ha
c
k
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2006-12-05
C
h
r
i
s
topher Li
delay r
e
movin
g
file sco
p
e
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2006-11-28
Christop
h
e
r
Li
Fix warning on se
l
f check
.
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2006-11-28
Christoph
e
r
L
i
triv
i
al fix for seg fault
.
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2005-04-08
Chri
s
topher Li
[PATCH] static d
e
cl
e
ar
commit
|
commitdiff
|
tree
2005-04-08
Christopher
L
i
[PATCH] using 0 as NULL
i
n spars
e
commit
|
commitdiff
|
tree
2005-04-08
Christopher
L
i
[PATCH] li
n
ea
r
ize bitfie
l
d initialize
r
commit
|
commitdiff
|
tree
2005-04-08
Chri
s
topher Li
[PATCH]
Linearize init
i
a
l
ize
r
commit
|
commitdiff
|
tree
2005-04-08
Chr
i
stopher L
i
[PAT
C
H
] triv
i
al ansi-c
decle
a
r
commit
|
commitdiff
|
tree
2005-04-08
Chris
t
opher L
i
[P
A
TCH] make preproces
s
e
r
com
m
and a symbol
commit
|
commitdiff
|
tree
2005-04-08
Christopher Li
[
P
ATCH] Us
e
mo
r
e simple
/
fast iterators
commit
|
commitdiff
|
tree
2005-04-08
C
hrist
o
pher Li
[PAT
C
H] more on fixing
d
epend
e
nc
y
commit
|
commitdiff
|
tree
2005-04-08
Chri
s
to
p
her Li
[P
A
TCH] av
o
id ma
t
c
hing idents with string
comp
a
res
commit
|
commitdiff
|
tree
2005-04-08
Christo
p
her
L
i
[P
A
TCH] A
v
oid recu
r
s
iv
e
inline fun
c
tion expansion
commit
|
commitdiff
|
tree
2005-04-08
Christo
p
her Li
[
PATCH]
F
ix "
r
eturn"
targ
e
t ha
n
dli
n
g
commit
|
commitdiff
|
tree
2005-04-08
Christopher Li
[PAT
C
H]
l
inearizat
i
o
n
bug
fix
a
n
d
b
itfiel
d
handling
commit
|
commitdiff
|
tree
2005-04-08
Christ
o
pher Li
[PATCH] li
n
earize condit
i
o
n
a
l e
x
pressions
commit
|
commitdiff
|
tree
2005-04-08
Chris
t
ophe
r
Li
[PAT
C
H] More linearizion fun
commit
|
commitdiff
|
tree
2005-04-08
Ch
r
istopher Li
[PATCH] pack basic
b
locks
commit
|
commitdiff
|
tree
2005-04-08
Ch
r
ist
o
p
her Li
[
P
ATCH] make sparse
r
ecogni
s
e
assembler namin
g
(register
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Chr
i
s
to
p
her Li
[
PATCH] more op-cod
e
s
commit
|
commitdiff
|
tree
2005-04-08
Chri
s
topher
Li
[
P
ATCH] cond
i
tion branch si
m
plific
a
tion
commit
|
commitdiff
|
tree
2005-04-08
Christopher Li
[
P
AT
C
H] PA
T
CH:
r
emove de
a
d while loop
commit
|
commitdiff
|
tree
2005-04-08
C
h
ristopher Li
[PATCH]
print out the
f
unction w
h
ich causes errors
commit
|
commitdiff
|
tree
2005-04-08
Christopher Li
[
PATCH] suppo
r
t __
V
A_ARG
S
__ variable macro
a
r
g
uments
commit
|
commitdiff
|
tree
2005-04-08
Chris
t
opher Li
[PATCH] print
ou
t
name
of function which causes
e
r
rors
commit
|
commitdiff
|
tree