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
Christ
o
pher Li
Sparse 0
.
4
.
4
-rc2
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-28
Linus Torvalds
Make 'linearize_return()'
helper function
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-28
Linus Torvalds
M
a
ke
'
l
i
nearize_switch
(
)
'
he
l
per
f
unct
i
on
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-28
Linus
Torvalds
Make 'linearize_i
t
e
r
ator()'
helper f
u
nction
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-28
Ka
m
il Dud
k
a
cse: update
PHI user
s
w
hen throwing aw
a
y an
i
nstruction
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-28
Kamil
Dudka
cse
:
t
reat P
H
I-nodes as other instructions
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-26
Pe
k
ka Enberg
sparse: Fix __
b
uiltin_safe_p for pure a
n
d
c
onst f
u
nctions
Cc: Christopher Li <
sparse@chrisli.org
>
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-25
Pek
k
a Enberg
Show expect
e
d v
s
.
actual output on
test
f
a
ilure
Cc: Christopher Li <
sparse@chrisli.org
>
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-24
Pekka Enberg
sparse: Enable unh
a
n
dled va
l
id
a
tion test
s
Cc: Christopher Li <
sparse@chrisli.org
>
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-23
C
hris
t
opher Li
Fi
x
parsi
n
g
empty asm clobber
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-23
Christopher L
i
Add test cas
e
f
or empty asm
clobbers
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-23
Michael Stef
a
niuc
Ignore
the ms_hook_prolo
g
ue attri
b
ute
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-20
Jonathan
N
e
uschäfer
fix com
m
o
n
missp
e
llings with codespell
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-20
J
onathan Neusc
h
äfe
r
FAQ:
f
ix a typo
(
"b
e
caus
e
o
r
")
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-20
Christopher Li
Spar
s
e 0
.
4
.
4-rc1
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-14
Christopher Li
Fi
x
inlining
s
witch s
t
atement
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-14
Christo
p
her Li
validation: inline
s
witch
s
ta
t
ement
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-12
Ch
r
istopher Li
inspect: Add switch statement and more
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-08-11
Jonath
a
n Neuschäfe
r
fix a memory
leak i
n
compile-i386
.
c
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-06-29
P
ekka En
b
e
r
g
sparse
:
A
d
d 'art
i
fical' to ign
o
re attributes
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-05-31
Chris
t
o
p
her L
i
Remove set
b
u
t
n
ot used var
i
able
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-05-31
Christo
p
her L
i
I
g
no
r
e attri
b
ut
e
vecto
r
_size
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-05-07
B
e
n
Pfaf
f
evaluate: Allow sizeof(_Bool) to
succeed
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-26
J
a
n
Pokorn
ý
p
a
rse
.
c: "if(" -> "if
(
" ad
j
ustm
e
nt
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-26
Jan Pokorný
use ARRA
Y
_SI
Z
E()
w
he
n
p
oss
i
bl
e
(continued)
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-26
Chri
s
topher Li
Allow ove
r
write CFLAGS from comma
n
d li
n
e
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-19
Linus
Torv
a
lds
Teac
h
'alrea
d
y_to
k
enized(
)
' to use the st
r
eam name
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-19
Linus
Torvalds
Add n
e
w strea
m
s
to a hash-lis
t
b
a
sed on t
h
eir names
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-18
Di
e
go Elio P
e
t
tenò
Fix build with GCC 4
.
6 serie
s
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-18
Diego Eli
o
Pettenò
b
u
ild: add an all-installa
b
le target t
h
at
b
uilds
th
e
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-18
Diego Elio P
e
ttenò
build: all
o
w easy overrid
e
of GCC_BASE
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-13
Jan
P
okor
n
ý
flow
.
c:
make commen
t
for
`
d
omi
n
ates' r
e
fle
c
t code
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-04-13
Jan
P
o
korný
re
m
ove unused
"con
t
ainer"
m
acro
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-03-11
Flor
i
an F
a
i
nelli
Makefile: warn
user
w
hen libxml and/or
libgtk
2
are
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-01-03
N
amhyun
g
K
i
m
Upd
a
te the validation c
h
eck for
es
c
ape s
e
q
u
e
n
c
es
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-01-03
Namhyung
K
im
Fix tokenize
r
for oc
t
al
escape seque
n
c
e
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-01-03
Namh
y
un
g
Kim
use ARRAY_SIZE() when po
s
sible
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2011-01-03
Nicolas Kaiser
memops
.
c: always true express
i
o
n
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-11-08
Chr
i
stopher Li
in
s
p
ect: add
i
ng function a
r
ugument
l
ist
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-09-03
Christopher L
i
sparse 0
.
4
.
3 finial
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-10-08
Mi
k
e Frysinger
p
a
rser: add Black
f
in
g
cc info
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-09-15
C
h
r
i
stopher Li
F
ixu
p
and clea
n
u
p
mod
i
fi
e
r_string()
f
u
n
cti
o
n
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-09-01
Dan Car
p
enter
ad
d
test-inspect to
.
g
itignore
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-09-01
Ber
n
d Pe
t
rovitsc
h
Fix a typo - "typdef"
i
s neith
e
r C nor plain English
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-07-22
Chr
i
stoph
e
r Li
inspect: ca
s
t expression
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-07-19
Mo
r
ten
W
e
l
i
nder
skip m
a
y_a
l
ias and de
c
lare builtin_
f
abs
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-07-13
Christo
p
h
er
in
s
pect: a
d
d
s
ome expressi
o
n inspection
Signed-Off-By: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-07-13
Christopher Li
inspect: Add test-insp
e
ct p
r
ogram
Signed-Off-By: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-07-13
Christopher Li
inspe
c
t: a
d
d
s
o
m
e exa
m
ple i
n
spect f
o
r
s
ymb
o
l a
n
d s
t
ateme
n
t
Signed-Off-By: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-07-13
Christoph
e
r Li
inspect: add cust
o
m
ast treeview mod
e
l
Signed-Off-By: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-07-13
Jiri Sl
a
b
y
parser:
defi
n
e __buil
t
i
n_unreachable
Signed-off-by: Christopher <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-07-13
Christopher
A
d
d t
e
st c
a
se for builtin_un
r
eachab
l
e()
Signed-off-by: Christopher <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-07-13
Jiri
S
laby
parser: fix and simpl
i
fy support of asm goto
Signed-off-by: Christopher <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-06-18
J
iri Slaby
parser: add support for
a
sm
g
oto
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-06-18
Chri
s
t
op
h
e
r L
i
A
d
ding a
s
m goto label
t
est case
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-06-18
Damien Lespiau
Ig
n
ore t
h
e ma
y
_
alias GCC attribu
t
e
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-06-18
Christ
o
ph
e
r
L
i
Parsing w
i
de char stri
n
g
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-04-08
Ch
r
istopher Li
Allow pars
i
ng
L
'\0'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Christ
o
phe
r
evaluate:
ch
e
ck for NULL
t
y
pe inside ty
p
eof
Signed-off-by: Christopher <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
C
hristopher Li
P
ointer don't inheren
t
the
a
lignme
n
t
from base
type
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Joel
S
o
e
te
pos
s
ib
l
e fix to cgcc is
s
ue
i
n spar
s
e 0
.
4
.
2:
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Mich
a
el Bue
s
ch
Ignore
"
naked" attribute
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Michael Bues
c
h
ignore attributes "externally_visi
b
le"
a
nd
"signal"
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Christo
p
her Li
Adding test
case 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
rrec
t
lineari
z
ation o
f
"
x && y
&& z"
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Dan McGee
Mak
e
file: fix permission
s
mix
u
p
o
n
install
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Josh Tripl
e
tt
New
attribu
t
e des
i
gnated
_
init: mark
a struct as requiring
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Josh Triplet
t
Rena
m
e -Wall to Wsparse-all,
s
o
it doesn
'
t
get turned
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
M
ich
a
e
l
Stefaniu
c
Handle __
b
uiltin_ms_v
a
_list
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Christophe
r
Li
Simp
l
ify Mak
e
file using static pattern rule
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Mic
h
a
el Stefaniuc
Ign
o
r
e
t
he allo
c
_size attribute
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
M
ichael Stefaniu
c
Ignore the ms_abi/sysv_abi attributes
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
C
hristo
p
her Li
D
e
c
l
a
r
e igno
r
e
d attribut
r
es into a list of string
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Christopher Li
Move noreturn
at
t
ribu
t
e out of ignore attr area
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-10-16
Christoph
e
r
Li
Make MOD_NORETU
R
N fits into 3
2
bit
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-10-16
K
a
m
il Dudka
do not ign
o
re attribut
e
'noreturn'
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-10-11
Ch
r
isto
p
h
e
r Li
S
p
arse 0
.
4
.
2
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-08-21
P
e
kk
a
En
b
erg
sp
a
rse: Add G
C
C pre-defined
macros for us
e
r
-space
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-08-11
Kamil
Dud
k
a
make sparse headers self-compilable
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-08-11
Reinh
a
rd Tartler
sho
w
_tok
e
n: h
a
ndle TO
K
E
N
_UNTAINT and TOKEN
_
ARG_COUNT
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-08-02
Kam
i
l Dudka
uns
s
a: track uses when re
p
lacing a phi
n
o
d
e
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-08-02
Blue Swirl
Define __LP
6
4__
for x8
6
_64 unless in 32 bit mode
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-08-02
Blue Swirl
Add sup
p
o
rt for
T
I
mod
e
ty
p
e (__int128_t)
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-29
Kamil Dudka
linearize
.
h
: sani
t
ize hea
d
er
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}, popcountll and
f
loating
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-08-03
Blue Sw
i
rl
Ignore attribu
t
e __
b
ou
n
ded__,
us
e
d by OpenBS
D
head
e
rs
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-27
H
a
nnes Eder
test-sui
t
e:
i
ntegrat
e
u
n
handled propro
c
essor
t
e
s
ts
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-22
Kamil Dudk
a
c
o
mpile-i386: do not gen
e
rate an infinite lo
o
p
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-20
Ramsa
y
Jon
e
s
Makefile: suppress error
m
essa
g
e fro
m
pkg-confi
g
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-19
Hannes Ede
r
test-suite:
be more
ver
b
ose on 'unh
a
n
d
led'
a
nd 'kn
o
wn
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-19
Christopher
L
i
move extern inline func
t
ion t
o
file scope
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-18
C
hristopher Li
Add vali
d
at
i
on for restrict and attribute warning
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-18
Linus Torva
l
d
s
Avoid "att
r
ibute 'warning
'
: unknown att
r
ibut
e
" warnin
g
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-18
Linus
T
or
v
a
l
ds
Tu
r
n off '-Wtra
n
spare
n
t-union'
b
y default
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-18
Linus To
r
val
d
s
Allow array declarat
o
rs to have 'r
e
strict' in
t
he
m
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-18
Samu
e
l Bronson
Have Makefile import
l
o
cal
.
mk if i
t
exists
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-18
Albe
r
to Bertogli
S
u
pport the __thread storage cl
a
ss
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-18
Martin Nagy
Pr
i
n
t
an err
o
r if typeo
f
(
)
lacks
an argumen
t
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-18
Mar
t
in Nagy
Add
m
issing check
s
for Waddress-space
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-18
Mart
i
n Nagy
.
gitignore: Ignore dependencies
a
nd V
i
m swap files
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
next