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
sparse 0.4.4
2011-11-21
C
hristophe
r
Li
s
parse 0
.
4
.
4
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-11-21
Dan Carpe
n
ter
reco
g
nize binary c
o
nstant
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-11-21
Chr
i
stopher Li
Add test c
a
s
e
for binary co
n
stan
t
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-29
Chr
i
stopher
L
i
Sparse 0
.
4
.
4-rc2
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-28
Linus Torva
l
ds
Make 'linearize_ret
u
rn()' helper f
u
ncti
o
n
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-28
L
inus To
r
valds
Make 'li
n
e
ariz
e
_switch()
'
help
e
r function
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-28
Linus
Torvalds
Make 'linea
r
ize_iterator
(
)'
h
elpe
r
function
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-28
K
amil
Dudka
cse:
upda
t
e PHI users when
throwing
a
way an ins
t
r
uction
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-28
Kamil Dudka
cse:
treat
P
HI-n
o
d
e
s
a
s other instructi
o
ns
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-26
Pekka En
b
erg
s
parse: Fix
__builtin_s
a
f
e
_p for pure
a
nd const
functions
Cc: Christopher Li <
sparse@chrisli.org
>
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-25
Pekka Enberg
Show
expected v
s
.
a
ctual ou
t
put on test failure
Cc: Christopher Li <
sparse@chrisli.org
>
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-24
Pe
k
ka Enberg
spa
r
s
e: Enable
u
nha
n
dled validat
i
on
t
ests
Cc: Christopher Li <
sparse@chrisli.org
>
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-23
Christop
h
er Li
F
ix parsing emp
t
y a
s
m cl
o
b
ber
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-23
C
h
ristopher Li
A
d
d tes
t
case for e
m
pty asm
c
lobbers
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-23
Michael Stefa
n
i
uc
Ignor
e
t
h
e
ms_hook_prol
o
gue attribu
t
e
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-20
Jona
t
han Neuschäfer
fix
c
o
mmo
n
m
isspe
l
l
i
n
gs
w
i
t
h codes
p
ell
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-20
Jo
n
athan Neuschäfer
FAQ:
fix a
t
y
po ("because or")
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-20
Ch
r
istopher Li
Sparse
0
.
4
.
4-rc1
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-14
Christoph
e
r L
i
Fix inlining switch st
a
tement
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-14
Christopher
L
i
validation: i
n
line switch stat
e
ment
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-12
Chr
i
stop
h
er Li
insp
e
ct: Add switch statement and more
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-11
J
onathan Neuschäfer
f
i
x
a
m
emory le
a
k in
c
ompile-i386
.
c
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-06-29
Pekka Enberg
s
p
a
r
se: Add 'artif
i
ca
l
' t
o
ignore attribu
t
es
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-05-31
Christopher
Li
Rem
o
ve
set but n
o
t u
s
ed variable
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-05-31
Christopher
L
i
Ignore at
t
r
ibute vec
t
or_
s
ize
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-05-07
B
en Pfa
f
f
ev
a
lua
t
e: Allow s
i
zeof(_Boo
l
) to succee
d
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-26
Jan Pok
o
rný
pa
r
se
.
c: "if
(
" -> "if (" adjustment
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-26
Jan Po
k
orný
use
ARRAY_SIZE() wh
e
n possible (con
t
i
nued
)
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-26
Christopher Li
Allow ove
r
write CFLAGS from co
m
mand line
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-19
Linus Torvalds
Teach
'already_tokenize
d
()'
t
o
use the stream name
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-19
Lin
u
s T
o
rvalds
Add new s
t
re
a
m
s to a hash-list based on
t
heir names
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-18
Diego Elio Pe
t
tenò
F
i
x
b
uild
with GCC 4
.
6 series
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-18
D
iego Elio Pettenò
bui
l
d:
a
dd an all-i
n
s
t
allable ta
r
get
t
h
at
b
uilds the
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-18
Diego Elio Pettenò
build
:
allow
e
asy
override of GCC_BASE
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-13
Jan Pokorný
flow
.
c: make com
m
ent for `dominates' reflec
t
code
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-13
J
a
n Pok
o
rný
rem
o
ve unused "container" macro
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-03-11
Florian Fainelli
Make
f
il
e
: w
a
rn user w
h
en libx
m
l and/or
l
ibgtk2 are
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-01-03
Na
m
hyung Kim
Update the validation check for e
s
cape seq
u
ence
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-01-03
Namhyung Kim
Fi
x
to
k
en
i
zer
for octal escape se
q
uences
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-01-03
Namhyung Kim
use ARR
A
Y_SIZE() when possi
b
le
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-01-03
N
icolas Kaiser
memops
.
c: always tr
u
e
e
xpression
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-11-08
C
h
ristoph
e
r Li
inspect: add
i
ng f
u
nction
a
ru
g
um
e
n
t
list
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-09-03
Christopher
Li
sp
a
rse 0
.
4
.
3 fin
i
al
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-10-08
Mike Frysinger
parser
:
add
B
lac
k
fin gcc info
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-09-15
Christopher Li
Fixu
p
an
d
cleanup
m
od
i
fie
r
_string() function
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-09-01
Dan
C
a
r
penter
add tes
t
-inspect to
.
gitign
o
re
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-09-01
Bernd
P
e
t
rovitsch
Fix a t
y
po - "typdef" is neither C nor plain Eng
l
ish
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-07-22
Christopher Li
i
n
spect:
c
a
st expression
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-07-19
Mort
e
n Welinde
r
ski
p
may_alias a
n
d declare built
i
n_fabs
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-07-13
C
hristopher
inspect: add some e
x
p
r
e
ss
i
on i
n
sp
e
c
t
io
n
Signed-Off-By: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-07-13
Christopher Li
i
n
spec
t
: Ad
d
test-inspec
t
progr
a
m
Signed-Off-By: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-07-13
Christophe
r
Li
inspec
t
: add some example inspec
t
for symb
o
l and s
t
atemen
t
Signed-Off-By: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-07-13
Christopher Li
inspect: add custom as
t
treeview m
o
d
el
Signed-Off-By: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-07-13
Jir
i
S
l
a
b
y
parser: define __builtin_unre
a
c
h
able
Signed-off-by: Christopher <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-07-13
Chr
i
stopher
Ad
d
test ca
s
e
for builtin_unreachable
(
)
Signed-off-by: Christopher <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-07-13
Jiri
Slaby
p
a
r
s
e
r
: fi
x
a
nd
simplify
suppor
t
of a
s
m g
o
to
Signed-off-by: Christopher <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-06-18
Jiri Slab
y
p
a
rser: add s
u
ppor
t
f
o
r
a
s
m goto
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-06-18
Christopher Li
Adding asm
g
o
to label t
e
st c
a
se
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-06-18
D
a
m
i
e
n Lespiau
Ignore the may_alias GCC attribute
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-06-18
C
h
r
istopher Li
Parsing
w
ide char string
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-04-08
Ch
r
istoph
e
r Li
Allo
w
pars
i
n
g
L'\0'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
C
hristopher
e
valu
a
te: check for NULL ty
p
e inside
typeof
Signed-off-by: Christopher <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Christophe
r
L
i
Pointe
r
don't
i
nheren
t
the
a
lignment fro
m
b
a
se type
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
J
oel Soe
t
e
possible fix to c
g
cc
i
ssue in sp
a
rse 0
.
4
.
2:
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Michael Bue
s
ch
Ignore "naked" attribute
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Mi
c
hael Bu
e
sch
ignore attribute
s
"e
x
ternally_vi
s
ibl
e
" and "
s
i
gnal"
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
C
h
r
i
stopher Li
Adding test case for "x &&
y
&& z"
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Dan
i
e
l D
e
Graaf
Fi
x
incorrect linearizat
i
on of "x
&& y
&
& z
"
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Dan McGee
Makefile:
fix per
m
issions mixup on install
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
J
o
sh Trip
l
ett
New attribut
e
designated_
i
nit
:
mark
a
struc
t
a
s
r
e
q
u
irin
g
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
J
osh
T
ri
p
lett
Rename
-Wa
l
l t
o
Wsparse
-
all, so i
t
d
o
esn't ge
t
turne
d
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Michael S
t
efaniuc
Ha
n
dle __builtin_m
s
_va_list
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
C
h
risto
p
h
e
r Li
Simplify M
a
kefile using static pattern rule
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Mic
h
ael Stefaniuc
Ignore
t
he alloc_s
i
ze a
t
tr
i
bute
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Mi
c
h
a
el Stefa
n
iuc
I
gnore the ms_abi/sysv_
a
bi attributes
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Christopher Li
Declare ignored a
t
tri
b
utre
s
into
a
list of string
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
C
hrist
o
phe
r
L
i
M
o
v
e
noretur
n
attribute out o
f
ignore att
r
area
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-10-16
Christopher Li
M
a
ke
M
OD_NORETURN fits in
t
o 32 bit
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-10-16
K
a
mil Dudka
do
not ignore attribute 'noreturn'
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-10-11
Christopher L
i
S
p
arse 0
.
4
.
2
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-08-21
Pekk
a
Enberg
spar
s
e: Add GCC pre-de
f
ined
m
a
cr
o
s for user-spa
c
e
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-08-11
Kamil Dudka
m
a
ke sparse h
e
a
ders self-compilable
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-08-11
R
e
i
n
hard Tart
l
er
show_t
o
ken: handle TO
K
E
N
_UNTAINT
a
nd TOK
E
N
_ARG_COUNT
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-08-02
Kamil Dudka
unss
a
:
t
rack uses w
h
en replacing
a ph
i
node
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-08-02
Blue Swirl
Define
__LP64__ for x86_
6
4 unless in 32 bit mode
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-08-02
Blue Swirl
Add suppo
r
t
for TI
m
ode
typ
e
(
__in
t
128_t)
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-29
Kamil D
u
dka
linearize
.
h: sanitize header
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-08-03
Blue Swirl
A
d
d
c{
l
,t}z
{
,l,l
l
}, ffsl{,l}, popcountll and flo
a
ting
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-08-03
Blue
Swirl
Ignor
e
attr
i
bute __
b
ounded_
_
, used
b
y OpenBSD heade
r
s
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-27
Hannes Eder
test-sui
t
e:
i
nteg
r
ate unh
a
n
d
le
d
propr
o
cessor te
s
ts
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-22
K
a
mil
Dudka
co
m
pile-i386: do
not gene
r
ate an inf
i
nite loop
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-20
Ram
s
ay J
o
nes
M
akefile: suppress error message from pkg-conf
i
g
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-19
H
an
n
es
Eder
test-suite: be
more ver
b
ose on 'un
h
andled' and 'known
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-19
Christopher Li
move ex
t
e
r
n i
n
li
n
e function to
f
ile
s
cope
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-18
Christopher
L
i
Add validation for rest
r
ict and attribute warning
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-18
Lin
u
s To
r
valds
Avoid "a
t
t
r
ib
u
te 'w
a
rning': un
k
now
n
att
r
ib
u
te" warning
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-18
Linus Torvalds
Tu
r
n off '-Wtranspa
r
ent-
u
ni
o
n' by d
e
fa
u
lt
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-18
Linu
s
Torvalds
Allow arr
a
y declara
t
ors to have 'restrict
'
in them
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-18
Samuel Brons
o
n
Have Makefile import loc
a
l
.
mk
i
f it e
x
i
s
t
s
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-18
Alberto Bertogli
Sup
p
ort the _
_
thread sto
r
age class
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
next