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
Chr
i
s
topher
L
i
spars
e
0
.
4
.
4
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-11-21
Da
n
Carpenter
rec
o
gnize
binary c
o
n
s
ta
n
ts
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-11-21
Chri
s
topher Li
Add test case for binary
constant
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-29
Christopher Li
S
parse 0
.
4
.
4-
r
c2
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-28
Linus Torval
d
s
Mak
e
'linearize_return()' helper fun
c
tion
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-28
Linus Tor
v
alds
Make 'linea
r
ize
_
swi
t
ch()'
h
e
lper function
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-28
L
i
n
u
s Torvald
s
Make 'linearize_iterator()' helper functio
n
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-28
Kamil Dudka
c
s
e
:
update
P
HI users
when
t
hrowing away an i
n
struc
t
ion
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-28
K
a
mil
Dudka
c
se: treat
PHI-node
s
as other ins
t
ructions
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-26
Pekka Enberg
sparse: Fix
_
_builtin
_
saf
e
_p fo
r
p
u
re and
const functions
Cc: Christopher Li <
sparse@chrisli.org
>
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-25
Pek
k
a
E
nberg
Show expected vs
.
actual o
u
tput on
test failu
r
e
Cc: Christopher Li <
sparse@chrisli.org
>
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-24
Pekka Enberg
sparse: Enable unhandl
e
d val
i
d
a
ti
o
n tests
Cc: Christopher Li <
sparse@chrisli.org
>
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-23
Chri
s
topher Li
Fix p
a
rsi
n
g
e
m
pty asm clo
b
be
r
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-23
Christop
h
er Li
Add test case for empt
y
a
sm
c
lob
b
ers
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-23
Micha
e
l Stefa
n
iuc
Ignore th
e
ms_hook_prologue at
t
ribute
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-20
Jonathan Neuschäfer
fix com
m
on
misspellings with codespell
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-20
Jon
a
than Neuschäfer
FAQ:
fix
a
typo
("beca
u
se or")
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-20
Christoph
e
r Li
Sparse 0
.
4
.
4-rc1
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-14
Chris
t
opher
Li
Fix inlining switch
statement
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-14
Chris
t
o
pher Li
validation: inline sw
i
tch s
t
a
t
em
e
n
t
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-12
Christophe
r
Li
i
nspect: Add switch
s
tate
m
e
n
t and more
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-11
Jonathan Neuschäfer
fix a m
e
m
o
ry
l
eak in compile-
i
386
.
c
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-06-29
Pekka Enber
g
sparse:
A
dd
'
artifical' to ignore attributes
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-05-31
Christop
h
e
r
L
i
R
e
m
o
ve set
b
ut not used v
a
riable
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-05-31
C
h
ri
s
t
o
pher Li
I
gnore
a
ttribute vecto
r
_size
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-05-07
Ben Pfa
f
f
evalu
a
te
:
A
l
l
o
w size
o
f(_Bool)
t
o succeed
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-26
Jan Po
k
orný
parse
.
c: "if(" -> "if (
"
adjustment
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-26
Jan Pokorný
u
s
e
ARRAY_
S
IZE() whe
n
possible (c
o
n
t
inu
e
d)
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-26
C
h
r
i
stopher Li
Allow overwrite CFLAGS from
command
lin
e
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-19
Linus Torva
l
d
s
T
e
ach 'already
_
toke
n
ized()' t
o
use the stream name
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-19
L
in
u
s Torvalds
A
d
d new stream
s
t
o a hash-l
i
st
b
ased o
n
their
n
ames
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-18
Diego E
l
io Pettenò
Fix build w
i
t
h
GCC 4
.
6 ser
i
es
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-18
Diego Elio Pettenò
bui
l
d: a
d
d an all-installable target that
builds the
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-18
Die
g
o E
l
io Pettenò
build: allow e
a
sy over
r
i
d
e
o
f GCC_BA
S
E
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-13
Jan
P
okorný
flow
.
c: make comment for `domina
t
es'
r
e
flec
t
co
d
e
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-13
Jan Pokorný
r
e
mov
e
u
n
used
"con
t
ai
n
er" macro
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-03-11
Florian F
a
ine
l
li
Ma
k
efil
e
: w
a
rn user when libxml and/
o
r libgtk2 are
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-01-03
Namhyung Kim
Update th
e
validation c
h
e
ck for escape sequences
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-01-03
Na
m
hyun
g
Kim
Fix tokeni
z
er for octal
e
scape seque
n
ces
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-01-03
Nam
h
y
u
ng
Kim
u
s
e
ARRAY_SIZ
E
() whe
n
possible
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-01-03
Ni
c
o
l
as Kaiser
mem
o
p
s
.
c
: always true
e
xpression
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-11-08
Christopher Li
i
nspect: addin
g
f
u
nc
t
ion
a
rugum
e
nt l
i
s
t
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-09-03
C
h
ristopher L
i
sparse 0
.
4
.
3 finia
l
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-10-08
Mike Frysinger
pa
r
ser: ad
d
Blackfin gcc info
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-09-15
Ch
r
istopher Li
Fi
x
up and cleanup modifier_string() function
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-09-01
Dan C
a
rpenter
add test-inspect
to
.
gi
t
i
g
nore
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-09-01
Ber
n
d P
e
trovit
s
ch
F
ix a
t
y
po
-
"typdef" is n
e
ither C nor pl
a
in Englis
h
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-07-22
C
h
r
i
stopher
L
i
inspect: cast express
i
on
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-07-19
Morten Welinder
sk
i
p may_alias
a
nd
declare b
u
i
ltin_f
a
bs
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-07-13
Chr
i
stophe
r
inspect: add some expression inspecti
o
n
Signed-Off-By: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-07-13
Christopher L
i
insp
e
ct:
Add test-inspect program
Signed-Off-By: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-07-13
Christo
p
her Li
i
n
spect: add some example insp
e
ct for symbol a
n
d statem
e
nt
Signed-Off-By: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-07-13
C
h
r
isto
p
her Li
i
nspect:
a
dd
c
ustom a
s
t tree
v
iew model
Signed-Off-By: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-07-13
Jiri Sla
b
y
parser: define __bui
l
ti
n
_unreacha
b
le
Signed-off-by: Christopher <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-07-13
Christopher
Add tes
t
case fo
r
builti
n
_
u
n
r
e
a
c
ha
b
l
e()
Signed-off-by: Christopher <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-07-13
Jiri Slaby
parse
r
:
f
ix and simplify support of
a
sm goto
Signed-off-by: Christopher <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-06-18
Jiri
S
la
b
y
par
s
er: add support
f
or asm goto
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-06-18
Christopher Li
Adding asm goto label test
case
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-06-18
Damien Lespiau
Ignor
e
the may_alias
GC
C
att
r
ibu
t
e
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-06-18
Christopher Li
Par
s
in
g
wi
d
e char string
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-04-08
Christo
p
h
e
r
Li
Allow parsing L'\0'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Chr
i
stopher
e
valuate: chec
k
f
or N
U
LL type inside typeof
Signed-off-by: Christopher <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Christopher Li
Pointe
r
don't
i
nherent the alignment from
b
ase type
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
J
oe
l
Soe
t
e
possib
l
e
fix to c
g
cc issue in
sp
a
rse 0
.
4
.
2:
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
M
i
c
hael Buesc
h
Ignore "n
a
ked" at
t
ribute
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Michae
l
Buesc
h
ig
n
ore attributes "externally_visible" and "signal"
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
C
hri
s
topher Li
Add
i
ng t
e
st
c
a
s
e f
o
r "x && y &
&
z
"
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Daniel
De Graaf
Fix inc
o
rrect
l
i
nearizati
o
n
of "x
&
&
y && z"
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Dan McGee
Makefile: fix p
e
r
m
is
s
ions mixup on in
s
t
all
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Josh Triplet
t
New a
t
tr
i
bute de
s
ignated_init: mark
a
s
tr
u
ct
a
s requiring
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Josh
Triplett
Rename -Wall to Ws
p
arse-all, so i
t
d
o
e
sn't get
turne
d
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
M
i
c
hael Stef
a
niuc
Ha
n
d
l
e
__builtin_ms_va_list
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Christopher Li
S
i
m
p
lif
y
Makef
i
le
using static pa
t
tern rules
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Mic
h
ael Stefaniu
c
Ign
o
re the all
o
c_size attribut
e
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Mi
c
hael Ste
f
an
i
uc
I
gnore the ms_abi/s
y
sv_
a
b
i
attri
b
utes
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Ch
r
ist
o
pher Li
Declare ignored at
t
ributres i
n
to a l
i
s
t of str
i
ng
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Christopher
Li
Mov
e
noreturn
a
ttribute out of ignore
attr
a
r
e
a
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-10-16
Ch
r
istopher Li
M
a
ke MO
D
_NORETUR
N
fi
t
s
in
t
o 32 bit
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-10-16
Ka
m
il Du
d
ka
d
o not ignore
attrib
u
te 'no
r
eturn'
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-10-11
Ch
r
i
stopher Li
Sparse 0
.
4
.
2
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-08-21
Pekk
a
En
b
e
rg
spars
e
:
Add GCC pre-defined macr
o
s
f
o
r
u
s
er-space
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-08-11
Kami
l
Dudka
m
a
ke
s
parse headers se
l
f
-compilab
l
e
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-08-11
Reinhar
d
Tartle
r
show_t
o
ken: ha
n
dl
e
TOKEN_
U
NTAINT
a
nd TOKEN_ARG_COUNT
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-08-02
Kami
l
Dud
k
a
uns
s
a: trac
k
u
s
es when replacing a p
h
i
n
ode
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-08-02
Blu
e
Swi
r
l
Def
i
ne __L
P
64
_
_ for x86_64 u
n
less in 32 bi
t
mode
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-08-02
B
l
ue Swirl
Ad
d
s
u
pp
o
rt for TImode typ
e
(__int128_t)
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-29
Kamil Dudka
l
i
nea
r
ize
.
h: sanitize header
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-08-03
B
lue Swirl
A
d
d
c
{l,t}z{,l,ll}, ffsl{,l},
p
opcountll and floating
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-08-03
Blue Swirl
Ignore attribute __b
o
und
e
d__, u
s
ed b
y
O
pen
B
SD headers
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-27
H
annes Eder
tes
t
-s
u
ite: in
t
egrate unhand
l
e
d
proprocessor tests
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-22
Kamil Du
d
ka
c
o
mpile
-
i
38
6
:
do not generate an infinite
lo
o
p
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-20
R
a
msay Jones
Makefile: suppress error me
s
sage
from pkg-config
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-19
Hann
e
s
E
d
er
test-suite: be more verb
o
se on 'unhandled' an
d
'k
n
own
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-19
C
h
r
ist
o
p
h
er
L
i
move
e
xtern in
l
in
e
fun
c
t
i
on t
o
file
s
cope
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-18
Chri
s
toph
e
r Li
Ad
d
v
a
l
i
dation for restrict an
d
att
r
ibute w
a
r
ning
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-18
Linus T
o
rvalds
Avoid
"attribute 'warning': unknown a
t
trib
u
te"
warnin
g
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-18
Linus Torvald
s
Turn off '-
W
transparent-u
n
ion' by default
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-18
Linus Torvalds
Allow
a
r
ray decl
a
rators t
o
have 'res
t
rict' in t
h
em
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-18
S
amuel Bronso
n
Have Makef
i
le
imp
o
rt loca
l
.
mk if
it
e
x
is
t
s
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-18
Alb
e
r
t
o Bertogli
Supp
o
rt t
h
e __th
r
ead
s
torage
c
la
s
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
next