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
h
rist
o
p
her Li
s
pars
e
0
.
4
.
4
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-11-21
Dan Carp
e
nter
recog
n
ize bin
a
ry consta
n
ts
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-11-21
C
h
ristopher Li
Add test
case for
b
inary c
o
n
stants
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-29
Christopher Li
Sp
a
rse 0
.
4
.
4
-r
c
2
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-28
Lin
u
s Torv
a
lds
Make 'linearize_return()
'
helper function
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-28
Linus Torv
a
lds
M
ake 'lineariz
e
_sw
i
tch()' helper func
t
ion
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-28
Linu
s
Torvalds
Ma
k
e
'l
i
ne
a
rize_i
t
er
a
tor()
'
h
el
p
e
r
fun
c
tion
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-28
Kamil Du
d
ka
c
s
e
:
update P
H
I users when thro
w
i
n
g away an instru
c
t
i
o
n
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-28
Kamil Dudk
a
cse: treat PHI-nod
e
s as other instruc
t
ion
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-26
Pekka Enber
g
sp
a
rse: Fix __builtin_saf
e
_p for pure a
n
d
const functions
Cc: Christopher Li <
sparse@chrisli.org
>
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-25
Pekka E
n
berg
Show exp
e
c
ted v
s
.
actual
out
p
ut on te
s
t
f
ailure
Cc: Christopher Li <
sparse@chrisli.org
>
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-24
P
e
kka
E
nberg
sp
a
rse: Enable unhandle
d
val
i
dation te
s
ts
Cc: Christopher Li <
sparse@chrisli.org
>
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-23
Christoph
e
r Li
Fix
p
arsing
e
m
p
t
y
a
sm clobber
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-23
C
h
ristopher L
i
Add test case for empty asm clobbers
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-23
Michael
Stefaniuc
Ignore the ms_hook_prologue
at
t
ribute
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-20
Jon
a
than Neuschäfer
fix common misspellings with
codes
p
ell
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-20
Jo
n
a
th
a
n Neuschäfer
FAQ: fix
a typo ("because or")
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-20
C
h
rist
o
pher Li
Sparse 0
.
4
.
4-rc1
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-14
Christopher Li
Fix inlining
s
wit
c
h
stateme
n
t
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-14
C
h
ri
s
t
o
p
h
er L
i
v
alidation: i
n
line
switch stateme
n
t
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-12
Christopher Li
inspect
:
Add switch statem
e
n
t and m
o
r
e
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-11
Jonat
h
an Neusc
h
äfer
fix
a
memor
y
leak in
c
ompil
e
-i386
.
c
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-06-29
Pekka Enberg
sparse: Add 'artifical' to ignore attributes
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-05-31
C
h
ristopher Li
Remo
v
e se
t
but not us
e
d variable
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-05-31
Christopher Li
Ignore attribute vector_size
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-05-07
B
e
n Pfaff
ev
a
lu
a
te
:
A
l
low si
z
eof(_
B
o
o
l) to
s
u
cceed
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-26
Ja
n
Po
k
orný
pars
e
.
c:
"
if(" ->
"if (" adjustment
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-26
J
a
n Pokorn
ý
use ARR
A
Y_SIZE() when possible (co
n
tinued)
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-26
Christopher Li
Allow ove
r
write C
F
LAGS from command lin
e
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-19
Linus Torvalds
T
e
ac
h
'alrea
d
y
_
tokenized()' to use the
stream name
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-19
Lin
u
s Torvalds
Add new streams to a hash-
l
ist based
on their nam
e
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-18
Diego
Elio Pet
t
enò
Fix bui
l
d
w
ith GCC 4
.
6 series
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-18
Diego Elio Pett
e
nò
b
u
ild: add an all-installable tar
g
et that builds the
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-18
Die
g
o Elio Pettenò
build: allo
w
e
asy override of
GC
C
_BASE
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-13
Jan Pokorný
flow
.
c: make comment for
`do
m
i
nat
e
s' reflect
c
ode
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-13
J
a
n P
o
kor
n
ý
r
e
move unused "contain
e
r
" macro
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-03-11
Florian Fainelli
Makefile:
wa
r
n u
s
er w
h
en libxml and/or libg
t
k2 are
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-01-03
Namhyung Kim
U
pdate the
v
alidati
o
n check for
e
scape
sequ
e
nces
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-01-03
N
amhyu
n
g Ki
m
Fix
toke
n
izer for
octal escape sequences
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-01-03
Namhyung Kim
use
ARRAY
_
S
IZE() when p
o
ssible
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-01-03
Nico
l
as Ka
i
ser
memops
.
c: al
w
a
y
s
tr
u
e ex
p
ress
i
on
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-11-08
C
hristop
h
er Li
in
s
p
ect: adding function arugument lis
t
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-09-03
Christopher Li
spar
s
e 0
.
4
.
3 finial
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-10-08
Mi
k
e
F
ry
s
inger
pa
r
s
e
r: add Blackfin gc
c
info
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-09-15
Christopher L
i
Fixup and cl
e
anup m
o
d
i
fier_string() fun
c
tion
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-09-01
Dan Carpenter
add
t
est-inspect to
.
gitignore
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-09-01
Bernd P
e
trovitsch
Fix a typo - "typ
d
ef"
i
s ne
i
t
h
e
r
C nor plain English
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-07-22
Christopher
Li
inspect
:
cast expression
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-07-19
Morten Welinder
skip may
_
alias an
d
decl
a
re buil
t
in_fa
b
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-07-13
Christopher
ins
p
ect
:
add some
expr
e
ssion insp
e
ction
Signed-Off-By: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-07-13
C
hristopher Li
insp
e
c
t
:
Add test-
i
nspec
t
p
ro
g
ram
Signed-Off-By: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-07-13
Chri
s
topher Li
inspect: add some ex
a
mple inspec
t
for symbol
and statement
Signed-Off-By: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-07-13
Chr
i
stopher L
i
inspect: add
custom a
s
t t
r
e
e
view model
Signed-Off-By: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-07-13
J
iri Slaby
p
a
rser: define __built
i
n_unreachable
Signed-off-by: Christopher <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-07-13
Chr
i
stopher
Add
test case f
o
r b
u
iltin_un
r
eachable()
Signed-off-by: Christopher <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-07-13
Jiri S
l
aby
pars
e
r
:
fix and simplify support
o
f asm goto
Signed-off-by: Christopher <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-06-18
Jiri
S
l
aby
parser: add support
f
or asm goto
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-06-18
Christopher Li
Adding asm go
t
o
label test case
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-06-18
Damien
Lespiau
Ignore the m
a
y_alias GCC attribute
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-06-18
Christopher
Li
P
a
rsing wide ch
a
r strin
g
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-04-08
Chri
s
topher
L
i
Allow
parsing L'\0'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Chris
t
ophe
r
eval
u
ate: check fo
r
N
ULL type inside t
y
peof
Signed-off-by: Christopher <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Christopher
Li
P
o
inter do
n
'
t inheren
t
the alignment
f
r
om base type
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Joel Soete
possib
l
e
f
ix to
cgcc issue in sparse 0
.
4
.
2
:
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Michael Buesch
Ignore "na
k
ed
"
a
ttribute
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
M
ichael
B
uesch
ignore
attri
b
utes "externally
_
visible" and "signal
"
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Christopher Li
Addin
g
test case for "x && y && z"
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Daniel De
G
raaf
Fix inc
o
rrec
t
l
i
nearization of "x && y &&
z
"
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Dan McGee
Makefile
:
fix
p
erm
i
s
s
ion
s
mixu
p
on i
n
s
t
al
l
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Josh
Triplett
N
ew
a
ttribute designat
e
d_init: mark a struct as
r
equiring
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
J
o
sh T
r
iplett
Rename -Wall to Wspars
e
-all, so it doesn
'
t
g
e
t turn
e
d
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
M
ichae
l
Stefaniuc
Hand
l
e
_
_
builtin_ms
_
va_lis
t
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Chri
s
topher Li
Simplify
M
a
k
e
file using sta
t
i
c pattern rules
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Mic
h
ael St
e
faniuc
Ignore the alloc
_
size
attribute
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Michael Stefaniuc
Ignore th
e
ms_abi/sysv_ab
i
attributes
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Ch
r
i
s
topher Li
De
c
lare
ignored a
t
tributres into a
l
i
st of stri
n
g
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Chri
s
topher Li
M
o
ve nore
t
urn attr
i
bute out of ign
o
re att
r
area
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-10-16
Chris
t
opher L
i
Make M
O
D_NO
R
E
T
URN
f
i
t
s in
t
o
32 bit
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-10-16
K
a
mil
Dud
k
a
do n
o
t ignore
a
t
tr
i
bute 'n
o
return'
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-10-11
Christopher Li
Sparse 0
.
4
.
2
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-08-21
Pek
k
a Enbe
r
g
spa
r
se: Add
G
CC pre
-
d
efined m
a
cros for
u
ser-spac
e
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-08-11
Ka
m
il Dudka
make s
p
arse headers self-compilable
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-08-11
Re
i
nhard Ta
r
tl
e
r
show_token: h
a
ndle TOKEN_UNTAINT and TOKEN_
A
RG_COUNT
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-08-02
Kamil
D
udka
unssa: track uses w
h
e
n
repla
c
ing a
phi node
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-08-02
Blu
e
Swirl
Define __L
P
64__ fo
r
x
86_64 un
l
ess
i
n
32 b
i
t
m
ode
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-08-02
B
lue Swirl
Add support for TImode type (__int128_t
)
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-29
Kamil Dudka
linearize
.
h:
sanit
i
z
e h
e
a
der
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-08-03
Blue Swirl
A
dd c{l,t}z{,l,ll}, ffsl{,
l
}, popcou
n
tll an
d
floating
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-08-03
Blue Swirl
I
g
n
ore
a
ttribute __bounde
d
_
_, used by OpenBSD
h
e
ader
s
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-27
Hannes Eder
test-suite
:
inte
g
ra
t
e
u
n
handled proprocessor tes
t
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-22
Kami
l
Dud
k
a
c
ompile-i386:
d
o not generate an infinite l
o
op
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-20
R
a
msay Jones
Mak
e
file: suppress error message from pkg
-
config
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-19
Hannes Eder
te
s
t
-suite: b
e
more verbose on 'u
n
handled' and 'k
n
own
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-19
C
hrist
o
pher Li
move extern
inline
fun
c
tio
n
to file s
c
ope
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-18
Christop
h
er
Li
Add valida
t
ion for restrict a
n
d att
r
ib
u
te
warni
n
g
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-18
Linus Tor
v
a
l
ds
Avoid "attribut
e
'
w
a
rning':
u
nknown a
t
tribu
t
e" warni
n
g
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-18
L
in
u
s
Torvalds
Tu
r
n off '-Wtransparent
-
union'
by
d
efault
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-18
Linus T
o
rvalds
A
llow array de
c
l
a
r
ators to
have 're
s
trict'
in them
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-18
Sa
m
uel Bronson
Have Ma
k
efile import local
.
mk if it ex
i
sts
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-18
A
lberto Ber
t
ogl
i
Sup
p
o
rt the __th
r
e
ad stor
a
g
e
class
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
next