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
check_overflow: don't complain about if (ptr < &array[ARRAY_SIZE(array)])
2010-02-10
Christopher Li
Pointer do
n
't inherent
t
he alignment from ba
s
e t
y
pe
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-10-28
Ch
r
i
s
topher L
i
Adding te
s
t case for "x && y
&
& z"
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-10-16
C
h
r
istopher Li
Simplify
Makefile usi
n
g
sta
t
ic pattern ru
l
es
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-10-16
Christopher Li
Declare
i
gn
o
red attributres into a li
s
t
of string
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-10-16
Christoph
e
r Li
Move noreturn
a
ttribute o
u
t of
i
gnore attr are
a
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-10-16
Chris
t
oph
e
r Li
Mak
e
MOD_NORETUR
N
fits in
t
o 32 bit
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-10-11
Christopher L
i
S
p
a
rse 0
.
4
.
2
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-07-19
Chr
i
stopher Li
move extern inline
f
unction to
file scope
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-07-18
C
h
ristopher Li
Ad
d
va
l
idation for restrict and attrib
u
te
w
arning
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-07-17
Chr
i
stopher Li
Update the validation check fo
r
ftabstop=
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2008-12-29
Christopher Li
Clean up M
a
kef
i
l
e long lines
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2008-12-29
Christopher Li
M
akefile
automa
t
i
c
h
eader
d
e
pendenc
y
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2008-12-29
Chri
s
t
o
p
h
er L
i
Warn about explicit
u
sa
g
e of
sizeof
(
void)
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2008-12-25
Chris
t
opher Li
Teach
cl
a
ssify_
t
yp
e
to ha
n
dle ty
p
eof
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2008-12-18
C
h
r
istopher Li
A
d
d enum member list to the parent
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2008-12-18
Chr
i
st
o
p
h
er
Li
Remove p
r
e_b
u
ffer
Signed-Off-By:
Christopher Li
<spase@chrisli.org>
commit
|
commitdiff
|
tree
2008-12-14
Christopher Li
Evaluate itera
t
or symbols
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-10-21
Ch
r
istoph
e
r
L
i
Perform loc
a
l
label lo
o
kup
Singed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-05-02
Christopher Li
Pass a bit
m
ask of keyword
s
to h
a
ndl
e
_attributes
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-05-02
C
hristopher Li
combinations string
c
l
ean
u
p
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-04-20
Chr
i
stopher Li
handle lab
e
l attributes
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-04-20
C
h
r
istopher
Li
Fix the annot
a
ted
i
nli
n
e cal
l
p
osition
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-03-09
Christoph
e
r Li
I
n
troduce
keyword driven attribute parsing
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-03-02
C
h
ristophe
r
Li
Add
annotation for inline functio
n
call
.
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-28
Ch
r
istopher Li
Disable
liveness "dead" instruction by
def
a
u
l
t
.
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-28
Ch
r
istopher Li
Introduce expression_
e
rror
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-26
Christopher Li
F
i
x core dump on huge sw
i
tch
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-25
Christoph
e
r Li
Adding debug option fo
r
showing the linearized i
n
stru
c
t
ion
.
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-25
Chris
t
opher Li
F
ix a bug that match_idents forget to end with NULL
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-23
Christopher Li
Fix core d
u
mp on anonymou
s
symb
o
l
.
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-23
Christ
o
pher Li
Make the
ptrl
i
st using th
e
sparse allocator
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-23
Christopher Li
F
i
x
double semicolon
in struct
decl
a
rati
o
n
Signed-Off-By:
Christopher Li
<spase@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-23
Christoph
e
r Li
Fix th
e
segfault when initial
i
zer has u
n
k
nown
s
ymbo
l
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-21
Chris
t
o
pher Li
Han
d
le
s
tructur
e
attr
i
butes betwe
e
n
the stru
c
ture keywo
r
d
.
.
.
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-13
Ch
r
isto
p
h
er Li
B
u
g fix in pointer modif
i
er inheritance
a
t
f
unct
i
on
.
.
.
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-01-27
Chris
t
oph
e
r Li
M
a
r
king
a
nonymous string
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-01-27
C
hristopher Li
A
nothe
r
attempt to fix the attrib
u
te
p
a
rsing
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-01-27
Christo
p
her Li
Enh
a
nce d
e
bug in
f
ormati
o
n
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-01-27
Christoph
e
r Li
Al
l
ow more than one command line
i
nclude file
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-01-17
Christopher Li
Updat
e
usa
g
e chain for dead
b
ranc
h
instru
c
tion
.
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-01-17
C
h
r
istopher Li
Update usage chain for dead i
n
s
t
ructions
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-01-17
Christoph
e
r Li
Add ins
t
ruction
to pseud
o
user tracking
.
Singed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-01-17
Christo
p
her Li
Change
t
he s
y
m
b
ol access
list to
a
pseudo list
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-01-17
Christopher Li
S
p
arse-based Cta
g
s implement
a
tion
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2006-12-05
Christoph
e
r Li
clean
u
p write to arg
u
ment array
hack
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2006-12-05
Christopher Li
delay
r
e
moving fil
e
scope
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2006-11-28
C
h
ristophe
r
Li
Fix warning
on self
check
.
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2006-11-28
C
h
risto
p
her Li
t
rivi
a
l
fix for seg fault
.
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2005-04-08
Chr
i
stopher Li
[PATCH] s
t
a
t
ic declear
commit
|
commitdiff
|
tree
2005-04-08
Christopher Li
[PATCH] u
s
ing 0 as
N
U
LL in sparse
commit
|
commitdiff
|
tree
2005-04-08
Chri
s
t
o
pher Li
[P
A
TCH
]
linear
i
ze bitfield initializer
commit
|
commitdiff
|
tree
2005-04-08
Christopher Li
[PATCH] Li
n
earize
i
nitiali
z
er
commit
|
commitdiff
|
tree
2005-04-08
Christopher Li
[PATC
H
] tri
v
ial ansi-c dec
l
e
a
r
commit
|
commitdiff
|
tree
2005-04-08
Chri
s
toph
e
r Li
[PATCH] m
a
ke preprocesser comma
n
d
a
s
y
mbol
commit
|
commitdiff
|
tree
2005-04-08
Ch
r
istopher Li
[PATCH] Use
m
ore si
m
p
le/fast
i
terators
commit
|
commitdiff
|
tree
2005-04-08
Chris
t
opher Li
[PATCH] more
o
n
fix
i
ng
d
e
p
en
d
ency
commit
|
commitdiff
|
tree
2005-04-08
Christ
o
pher Li
[PATC
H
] avoid ma
t
chi
n
g iden
t
s with string
c
ompares
commit
|
commitdiff
|
tree
2005-04-08
Chri
s
to
p
her Li
[PATCH] A
v
oid recursi
v
e inl
i
ne functi
o
n expansion
commit
|
commitdiff
|
tree
2005-04-08
Christopher
L
i
[PATCH] Fix "r
e
tu
r
n
" target ha
n
dling
commit
|
commitdiff
|
tree
2005-04-08
C
h
r
istopher Li
[PATCH] l
i
nearization bug fix
a
nd bitfield handling
commit
|
commitdiff
|
tree
2005-04-08
Christopher Li
[
PAT
C
H] linear
i
ze cond
i
ti
o
nal expressions
commit
|
commitdiff
|
tree
2005-04-08
Christopher Li
[P
A
TCH] More
linearizion fu
n
commit
|
commitdiff
|
tree
2005-04-08
C
hristopher Li
[PATCH] pack basic blo
c
ks
commit
|
commitdiff
|
tree
2005-04-08
Christoph
e
r Li
[PATCH] make sparse
recog
n
i
se asse
m
bler naming (register
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Christoph
e
r
Li
[PATCH]
m
o
r
e
op-code
s
commit
|
commitdiff
|
tree
2005-04-08
C
h
r
i
s
t
opher
L
i
[PATCH] condition bra
n
ch simplif
i
cati
o
n
commit
|
commitdiff
|
tree
2005-04-08
Christopher Li
[PAT
C
H] PA
T
CH: remove dead w
h
ile loop
commit
|
commitdiff
|
tree
2005-04-08
C
hristopher Li
[
PATCH] prin
t
out t
h
e
function which causes
erro
r
s
commit
|
commitdiff
|
tree
2005-04-08
C
h
ristop
h
er
L
i
[PATCH] sup
p
ort __VA_ARG
S
__ vari
a
ble m
a
cro ar
g
um
e
n
t
s
commit
|
commitdiff
|
tree
2005-04-08
Christopher Li
[PA
T
C
H
] print out name
of
f
unct
i
o
n
w
hi
c
h causes
e
r
ro
r
s
commit
|
commitdiff
|
tree