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-rc2
2011-08-29
Ch
r
istop
h
er
L
i
Sparse 0
.
4
.
4-r
c
2
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-28
Linus Torvalds
M
a
ke 'lin
e
a
rize_return()'
h
elper function
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-28
Lin
u
s Torvalds
Make 'lineariz
e
_
switch
(
)' hel
p
er function
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-28
Li
n
us Torval
d
s
M
ake 'linearize_iterator
(
)' helpe
r
f
unction
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-28
Kamil D
u
d
k
a
cs
e
: update PHI users when throw
i
ng away a
n
inst
r
uction
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-28
Kamil
D
udka
cse:
t
r
e
at P
H
I
-
nodes as other instr
u
ctions
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-26
Pekka E
n
berg
sparse: Fix __
b
uiltin_
s
afe_p fo
r
pu
r
e and cons
t
functions
Cc: Christopher Li <
sparse@chrisli.org
>
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-25
Pekka Enberg
Show expec
t
ed vs
.
ac
t
ual o
u
tput on test failur
e
Cc: Christopher Li <
sparse@chrisli.org
>
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-24
P
ekka Enberg
sp
a
rse: En
a
ble unhandled va
l
idati
o
n tests
Cc: Christopher Li <
sparse@chrisli.org
>
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-23
Christopher
L
i
Fix
parsi
n
g empty
a
sm
cl
o
bber
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-23
Christoph
e
r Li
Add
t
est ca
s
e
f
or emp
t
y as
m
clobb
e
rs
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-23
M
i
chae
l
Stef
a
niuc
Ig
n
o
r
e the ms_hook_prologue attribute
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-20
Jon
a
than Ne
u
schäfer
f
ix common
m
i
sspell
i
n
g
s with code
s
pell
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-20
J
ona
t
han Neusch
ä
fer
FAQ: fix a typo ("bec
a
us
e
or")
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-20
C
h
ristopher Li
Sp
a
r
se 0
.
4
.
4-rc1
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-14
Ch
r
istopher
Li
Fix inlining s
w
itch
statement
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-14
Chr
i
s
t
ophe
r
Li
val
i
dation: inline switch
s
t
atem
e
n
t
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-12
Ch
r
istopher Li
inspect: Add swit
c
h
statement
a
nd more
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-11
Jonatha
n
Neuschäfe
r
fix
a memor
y
le
a
k in compil
e
-i386
.
c
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-06-29
Pekk
a
Enb
e
rg
sparse: Ad
d
'artific
a
l'
t
o
i
gn
o
re attri
b
utes
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-05-31
Ch
r
istop
h
er Li
Remove set bu
t
no
t
use
d
variable
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-05-31
C
h
ristopher
L
i
Ignore
a
tt
r
ibute ve
c
tor_size
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-05-07
Ben Pfaff
evaluate:
Allow sizeof
(
_Bool)
to succeed
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-26
Ja
n
Pokorný
pars
e
.
c: "if(" -> "if
(
" a
d
justment
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-26
Jan Poko
r
ný
u
s
e
ARRA
Y
_SIZE(
)
whe
n
p
o
ssi
b
l
e (contin
u
ed)
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-26
Christo
p
her Li
Allow ove
r
write
CFLAG
S
from com
m
an
d
line
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-19
L
i
n
u
s
T
orvalds
Teac
h
'already_tokenized()
'
to use th
e
s
t
ream
n
ame
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-19
Linus Torv
a
l
d
s
A
d
d new stre
a
ms
t
o a h
a
sh-list
based on their name
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-18
Diego Elio Pet
t
enò
Fix build with
GCC 4
.
6 serie
s
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-18
Diego Elio Petten
ò
b
u
ild: add an all-ins
t
all
a
b
l
e target
that
b
uil
d
s
the
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-18
D
iego Eli
o
P
ett
e
nò
buil
d
:
allow easy over
r
ide of GCC_BASE
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-13
Jan P
o
korný
flow
.
c: make c
o
mment for `dominates'
r
eflect co
d
e
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-13
Jan Pokorný
remov
e
un
u
sed "
c
ontai
n
er
"
macro
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-03-11
Floria
n
Fainelli
Makefile: warn user
when l
i
bxml
an
d
/or
l
i
bgtk2
ar
e
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-01-03
Namhyung K
i
m
Update the val
i
dation
c
hec
k
for e
s
cape sequ
e
nces
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-01-03
N
a
mhyung
Kim
Fix tokenize
r
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
R
AY_SIZE()
when
possible
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-01-03
Nicolas
Kaiser
memops
.
c:
always tr
u
e expression
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-11-08
Christo
p
her Li
inspect: adding
functi
o
n aru
g
ument list
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-09-03
Christopher Li
spars
e
0
.
4
.
3 fi
n
ial
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-10-08
Mike Fry
s
i
n
g
er
parser
:
add Blackfin gcc info
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-09-15
Ch
r
istopher Li
Fixup and c
l
eanup m
o
difier_strin
g
() function
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-09-01
Dan Carpenter
a
d
d
t
e
st
-
inspec
t
to
.
gitignore
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-09-01
Bernd Petr
o
vitsch
Fix a
typo - "typdef
"
is neither
C nor plain English
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-07-22
Chr
i
stopher
L
i
i
n
sp
e
ct: cast exp
r
essi
o
n
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-07-19
Mo
r
ten
W
e
l
i
nder
skip may_alias
a
n
d declare builtin_fa
b
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-07-13
Christoph
e
r
inspect:
a
dd some expression
i
nspecti
o
n
Signed-Off-By: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-07-13
Christopher Li
i
n
sp
e
ct: Add tes
t
-inspec
t
progr
a
m
Signed-Off-By: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-07-13
Christopher
L
i
inspect: add so
m
e
exampl
e
inspec
t
for symbol and
s
tatement
Signed-Off-By: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-07-13
C
hr
i
stopher L
i
ins
p
e
ct: add
custom ast tr
e
eview
m
odel
Signed-Off-By: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-07-13
J
iri S
l
a
by
parser:
d
efine
_
_
b
uiltin_unr
e
achable
Signed-off-by: Christopher <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-07-13
Chr
i
stopher
Add t
e
st
c
ase for builtin_unr
e
achable()
Signed-off-by: Christopher <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-07-13
Jiri Slab
y
p
a
rs
e
r:
fix a
n
d
simpl
i
f
y support of asm goto
Signed-off-by: Christopher <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-06-18
J
i
ri Slaby
p
a
rser:
a
dd su
p
p
o
rt for asm go
t
o
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-06-18
Christop
h
er Li
Addin
g
as
m
goto la
b
e
l
test c
a
se
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-06-18
Damien Lespiau
Ignore the may
_
alias GCC a
t
tri
b
u
te
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-06-18
Christopher Li
Parsing
wi
d
e char string
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-04-08
Chris
t
ophe
r
L
i
Allow p
a
rsing
L
'\0'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Ch
r
istopher
eva
l
uate: check fo
r
NULL
type inside
t
ypeo
f
Signed-off-by: Christopher <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Ch
r
is
t
opher Li
P
o
inter d
o
n't inherent the
a
li
g
n
ment f
r
o
m
base type
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Joel Soete
pos
s
i
ble fix to c
g
cc
issue in spa
r
se 0
.
4
.
2:
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Michael Buesch
Ignore "n
a
ked"
attribute
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Mi
c
hael Buesch
ignore attri
b
utes "ex
t
e
r
nally_visible" and "signal"
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Christopher Li
Ad
d
ing test case
f
or "x && y && z"
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
D
ani
e
l De Graaf
F
i
x incorrec
t
linearization of "x &
&
y && z"
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Dan
M
cGee
Makefile: fix permissions mix
u
p on install
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
J
os
h
Tri
p
lett
N
e
w attribute des
i
g
nat
e
d_
i
nit: ma
r
k
a struct as requiring
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Josh Tripl
e
tt
Ren
a
me -Wall
t
o
Wsparse
-
all, so it does
n
't get
t
urned
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Michael Ste
f
aniuc
Handle __builtin_m
s
_va_list
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Ch
r
ist
o
pher Li
S
implify M
a
kefile
using static
p
a
ttern rules
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Michael Stefan
i
uc
Ignore th
e
alloc_size a
t
t
r
ibut
e
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Michael
S
t
e
fani
u
c
Ignor
e
the
m
s_abi/sy
s
v_abi attri
b
u
tes
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Christoph
e
r Li
Dec
l
are
i
g
n
ored at
t
ribut
r
es
i
nto a lis
t
o
f
s
tring
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Christopher Li
Move noreturn attri
b
ute
out of ign
o
re attr a
r
ea
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-10-16
Christopher Li
Make MOD
_
NORETURN fits int
o
32 bit
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-10-16
Ka
m
i
l Dudk
a
do not ignore
attribute 'noretu
r
n'
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-10-11
Christoph
e
r
L
i
Spars
e
0
.
4
.
2
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-08-21
Pekka
E
nb
e
rg
s
p
arse:
Add GCC pr
e
-defined macr
o
s for u
s
er-space
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-08-11
Kamil Dudka
make sparse
h
eade
r
s sel
f
-c
o
mpilable
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-08-11
Rei
n
h
ard
Tartler
show_token: handle TOKEN_UN
T
AINT and T
O
KE
N
_ARG_COUNT
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-08-02
Kamil Dud
k
a
u
nssa:
t
rack uses when re
p
lacing
a
p
h
i node
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-08-02
Blue Swir
l
Define __LP64__
f
or x86_64 unles
s
in 32 b
i
t mode
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-08-02
B
lue Sw
i
rl
Add suppor
t
f
o
r TImode
type (
_
_
int128_
t
)
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-29
Kamil Dud
k
a
l
i
n
e
arize
.
h:
s
anitize heade
r
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-08-03
Blue Swirl
Add c{l,t}z{,l
,
ll}, f
f
sl{,l}, popcountll and flo
a
ting
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-08-03
Bl
u
e Swi
r
l
Ignore a
t
tribute __bounded__, used by Op
e
nBSD headers
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-27
Ha
n
ne
s
Eder
test-suite: integrate unhandled proproces
s
or tests
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-22
Kamil
Dudka
compile-i386: do
n
ot gene
r
ate an
i
n
f
init
e
loop
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-20
Ramsa
y
Jon
e
s
Makefile: supp
r
e
s
s err
o
r
m
essage from p
k
g-conf
i
g
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-19
Hannes Ed
e
r
te
s
t-suite: be more verbo
s
e
o
n 'unhandled' and
'kno
w
n
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-19
C
h
ristopher
Li
m
ove extern inlin
e
functio
n
t
o
file
scope
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-18
Chris
t
o
p
her
L
i
Add
v
a
l
i
d
at
i
o
n
for restrict and attribute warning
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-18
Linu
s
Torva
l
d
s
Avoid "attribute 'warn
i
ng': unknown at
t
r
i
bute" war
n
in
g
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-18
Linus Torvalds
T
urn
o
ff '-W
t
ra
n
sparent-union' by defaul
t
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-18
Linus Torvalds
Allow arra
y
de
c
larators to have 'restrict' in them
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-18
Samuel Br
o
nson
Have M
a
kefile
i
mport local
.
m
k if
i
t
exis
t
s
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-18
Alberto Bertogli
Support the __th
r
ead storage c
l
ass
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-18
Ma
r
tin Nagy
Print an e
r
r
o
r
if
typeof() lacks
a
n arg
u
ment
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-18
Martin Nagy
Add mis
s
ing ch
e
cks for W
a
ddres
s
-sp
a
ce
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-18
M
a
rtin Nagy
.
gitig
n
ore
:
Ignore dependenc
i
es and
Vi
m
sw
a
p files
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
next