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
FAQ: update the website address and call it Wiki
2012-06-26
Jonathan Neuschäfer
FAQ
:
upda
t
e
t
he
we
b
site address and
c
a
ll it Wiki
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2012-06-25
K
O
SAKI Motohiro
spar
s
e:
Add 'error' to ignored
at
t
r
i
butes
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2012-06-25
KOSAKI
Motohiro
spar
s
e: Add '__vecto
r
_s
i
ze__' to ig
n
o
red attributes
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2012-06-21
Christopher Li
Merge branch
'fo
r
-chris'
of git://gi
t
hub
.
co
m
/pe
n
berg
.
.
.
commit
|
commitdiff
|
tree
2012-06-04
Xi Wang
check missing or duplicate goto labels
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2012-06-04
Xi Wang
comp
i
l
e
-i386
:
fix use-after-free in func_cle
a
n
up()
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2012-05-20
Shakthi
Kannan
I h
a
ve
u
pdated the spar
s
e
.
1 man page inclu
d
ing the
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2012-05-10
Jan Pokorný
sim
p
lify: cons
e
r
vative h
a
ndli
n
g
o
f casts with pointers
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2012-05-04
Jan
Pokorný
unssa
:
track us
e
o
f
n
ewly added
p
seudo
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2012-03-23
C
h
ristopher
L
i
Adding default for m
6
4/m32 hand
l
e
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2012-03-23
Frederic Crozat
Add __builtin_stpcpy, __sync_synchronize, __sync_
b
ool_compar
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2012-01-19
Ethan Jackson
s
p
a
rse
:
Add
'
le
a
f' to igno
r
ed attribu
t
es
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2012-01-02
Christop
h
e
r Li
Merge br
a
nch 's
p
arse-llvm' o
f
git:/
/
github
.
com/pen
b
erg
.
.
.
commit
|
commitdiff
|
tree
2011-11-21
Christ
o
pher
Li
sp
a
rse 0
.
4
.
4
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-11-21
Dan Carpenter
r
ecogni
z
e
bi
n
ary co
n
stants
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-11-21
Christop
h
er Li
Add test
c
a
se for binary
co
n
stan
t
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-29
Christopher
L
i
Spar
s
e 0
.
4
.
4-r
c
2
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-28
Linu
s
Tor
v
alds
Make 'lineari
z
e_ret
u
rn
(
)' helper function
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-28
Linus Torvalds
Make 'linearize_swi
t
ch()' helper function
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-28
Linus Torvalds
Make 'lineari
z
e_iterator()'
helper
function
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-28
Kamil
Dudka
cse:
update PHI u
s
ers when thro
w
in
g
a
w
ay a
n
i
nstru
c
t
i
o
n
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-28
K
amil Dudka
cs
e
: tre
a
t
PHI
-
nod
e
s as other instruc
t
ions
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-26
Pekka
E
nberg
sp
a
rse: F
i
x __buil
t
in_safe_p for pu
r
e
a
nd
const fu
n
ctions
Cc: Christopher Li <
sparse@chrisli.org
>
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-25
Pekka
E
nberg
S
h
o
w
e
xpec
t
e
d
vs
.
a
ctual output on
t
e
s
t f
a
ilure
Cc: Christopher Li <
sparse@chrisli.org
>
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-24
P
e
kka Enb
e
rg
sparse: Enable unha
n
dled val
i
dation tests
Cc: Christopher Li <
sparse@chrisli.org
>
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-23
Christop
h
er Li
Fix parsing e
m
pty asm clobber
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-23
Christo
p
her Li
Add test case f
o
r
e
m
p
t
y
asm clobbers
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-23
Mich
a
el
Stefaniuc
Ignore the
ms_hook
_
prologue a
t
tribute
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-20
Jo
n
athan Neuschä
f
er
fix
c
ommon m
i
s
s
pell
i
ngs with co
d
esp
e
l
l
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-20
Jonathan
N
euschäfer
FAQ: fix a typo ("be
c
ause or")
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-20
Christop
h
e
r
Li
Sparse 0
.
4
.
4-rc1
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-14
Ch
r
istopher Li
Fix inlining switch statement
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-14
Chr
i
s
t
o
phe
r
Li
validatio
n
:
inline sw
i
tch statement
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-12
Christopher Li
inspe
c
t: Add switch statement and m
o
re
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-11
J
onat
h
an Neu
s
chäfer
fix a memo
r
y leak in compil
e
-
i
38
6
.
c
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-06-29
Pekka Enberg
s
p
arse:
A
dd '
a
rt
i
fical' to i
g
nore
attributes
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-05-31
C
h
ri
s
toph
e
r Li
Remove
s
et
b
ut not used variabl
e
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-05-31
Ch
r
i
s
topher Li
Ignore at
t
ribu
t
e
vector_size
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-05-07
Ben
Pfaff
e
valuate: Al
l
ow size
o
f(_Bool) to
succeed
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-26
Jan Pokorný
parse
.
c: "i
f
(
"
-> "if (
"
adjustment
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-26
Jan Pokorný
use ARRAY_SIZE() wh
e
n po
s
sible (co
n
tinue
d
)
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-26
Christopher
Li
Allow overwrite CFLAGS from c
o
mm
a
nd line
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-19
L
i
nus
T
orvalds
Teach 'alre
a
dy_tokeniz
e
d(
)
' t
o
use
the stream name
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-19
Linu
s
Tor
v
a
lds
Add ne
w
streams to a hash-list based on their names
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-18
Dieg
o
E
l
i
o Pette
n
ò
Fix build
w
ith GCC
4
.
6 series
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-18
Diego Elio Pe
t
tenò
build: ad
d
an all-inst
a
llable targ
e
t that bui
l
ds the
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-18
D
ieg
o
Elio Pettenò
build: allo
w
easy ov
e
rri
d
e of GCC_BASE
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-13
J
a
n Pokorný
fl
o
w
.
c: make comment for
`
domi
n
at
e
s
'
ref
l
e
ct code
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-13
Jan P
o
korný
remo
v
e
u
nused "container" macro
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-03-11
Florian Fainelli
Makefi
l
e: warn user wh
e
n libxml
a
n
d
/or libgtk2 ar
e
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-01-03
Namhyun
g
Kim
Update
t
he
v
a
lidation check f
o
r escape sequences
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-01-03
Na
m
hyung Kim
F
ix tokenizer for octal escape sequen
c
es
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-01-03
Namhyung Kim
use A
R
RAY_SIZE(
)
w
h
e
n po
s
sible
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-01-03
Nicol
a
s Kai
s
er
memops
.
c: a
l
ways
t
rue expres
s
i
o
n
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-11-08
C
hristopher Li
inspect: adding
functio
n
arugume
n
t list
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-09-03
Christophe
r
Li
sparse 0
.
4
.
3
f
inial
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-10-08
Mike Fry
s
inger
p
a
rse
r
: add Blac
k
fin gcc in
f
o
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-09-15
Chri
s
topher
Li
Fixup and cleanup modifier_stri
n
g()
f
uncti
o
n
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-09-01
Dan Carpe
n
ter
add
t
est-inspe
c
t to
.
gitignore
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-09-01
Bernd Petrovitsch
F
i
x a typo
-
"typde
f
" is neither C nor plain E
n
glish
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-07-22
Christopher Li
in
s
pect
:
ca
s
t e
x
pres
s
ion
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-07-19
Morten Welinder
ski
p
m
a
y_
a
li
a
s a
n
d dec
l
are builtin_f
a
bs
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-07-13
C
h
r
i
stopher
inspect
:
a
d
d s
o
me expression
i
nspe
c
tion
Signed-Off-By: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-07-13
Chr
i
sto
p
her Li
inspe
c
t:
A
dd tes
t
-
insp
e
ct program
Signed-Off-By: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-07-13
Christopher Li
insp
e
ct: add some
e
xample inspect for symbol and statement
Signed-Off-By: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-07-13
Christopher
Li
inspect:
add custom as
t
tre
e
view model
Signed-Off-By: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-07-13
Jiri S
l
a
b
y
parser:
d
efine __builtin_unre
a
chabl
e
Signed-off-by: Christopher <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-07-13
Christopher
Add test
c
ase for
builtin_unreachable()
Signed-off-by: Christopher <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-07-13
Jiri Slaby
parser:
fix and simplify
s
upport of a
s
m goto
Signed-off-by: Christopher <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-06-18
Jiri Slaby
parser:
a
dd support for asm goto
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-06-18
Chr
i
stophe
r
Li
Adding
asm got
o
label tes
t
ca
s
e
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-06-18
Da
m
ien Lespiau
Ignore the
m
ay_alias
G
C
C
attribute
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-06-18
Chris
t
opher Li
Parsing wide char
s
t
ring
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-04-08
C
h
ri
s
topher
Li
A
l
l
ow pa
r
s
i
ng L'
\
0'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Christopher
e
valuate:
check
f
or NU
L
L type inside
t
ypeof
Signed-off-by: Christopher <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Chr
i
stoph
e
r Li
Pointer don't inheren
t
th
e
alignment from base
t
ype
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Joel Soete
p
o
s
sible fix
t
o c
g
cc
i
s
sue
i
n sparse
0
.
4
.
2:
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Michael Bu
e
sch
Ignore "
n
ak
e
d
"
a
t
tribute
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
M
i
chael
Buesch
i
g
n
ore attributes
"externally_visible" an
d
"si
g
nal"
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Ch
r
istopher Li
Adding
te
s
t c
a
se for "x && y && z"
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
D
a
ni
e
l
De G
r
aaf
F
i
x inc
o
rrect
line
a
ri
z
ation
o
f "x
&& y && z"
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Dan
M
cGee
Makefile: f
i
x permissions mixu
p
on
i
ns
t
all
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
J
osh Triplett
New
a
t
t
ribute designated_in
i
t: mark a struct as r
e
qui
r
ing
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Josh
T
ri
p
lett
R
e
n
ame
-
Wall
t
o Wsparse-
a
ll, so it doe
s
n't get
t
urned
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Mich
a
el Stefan
i
uc
H
a
nd
l
e __bu
i
ltin_ms_
v
a_list
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Chri
s
topher
Li
S
i
mplify
M
akefile using
s
tatic p
a
ttern rules
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
M
icha
e
l S
t
efaniuc
Ignor
e
the
a
ll
o
c_size a
t
t
r
ibute
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Michael Stefan
i
uc
Ignore
t
he m
s
_abi/
s
ysv_abi attribute
s
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Christopher Li
De
c
lare i
g
nored
att
r
ib
u
tres into a
list
of strin
g
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Christopher
Li
Move noreturn attribute out of
i
gnore at
t
r area
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-10-16
C
hrist
o
pher Li
Make MOD_NORETURN fi
t
s
into 32 bit
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-10-16
K
amil D
u
d
k
a
do not
ignore
attribute
'noreturn'
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-10-11
Christop
h
er Li
Sparse 0
.
4
.
2
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-08-21
Pekka Enbe
r
g
sparse:
A
dd GCC p
r
e
-def
i
ned macros
f
or us
e
r-spa
c
e
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-08-11
Kamil Dudka
m
a
ke spars
e
headers self-compilabl
e
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-08-11
Reinhard Tar
t
l
er
s
ho
w
_t
o
ken:
handle TOK
E
N_U
N
TAINT
a
nd TO
K
EN_ARG_COUNT
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-08-02
Kamil Du
d
ka
unssa: trac
k
uses
w
h
en replacin
g
a
p
h
i node
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-08-02
B
l
u
e
Swirl
D
e
fine
_
_LP
6
4__ for x86_64 unles
s
in 32 bit mode
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-08-02
Blue
Swirl
Ad
d
s
u
pport for TImode t
y
pe (__int128_
t
)
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-29
Kami
l
Dud
k
a
linearize
.
h: sanitize header
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
next