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
testsuite: make tests known to fail effectively fail
2015-06-14
Azat K
h
uz
h
in
sparse, ll
v
m: compile:
skip f
u
nction prototy
p
e
s
t
o
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2015-06-12
Hei
k
o
C
arstens
sparse/
p
arse
.
c: igno
r
e
hot
p
atch at
t
ri
b
ute
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2015-04-21
Michae
l
Stefaniu
c
Add
t
e
s
ts for the
built
i
n
I
NF and na
n
() functions
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2015-03-13
Ard
Biesheuve
l
Ign
o
re pur
e
attrib
u
te
i
n
assign
e
ment
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2015-03-13
Mi
c
hael S
t
efaniuc
A
dd
a
define
f
or __b
u
il
t
in_ms_v
a
_
c
opy()
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2015-03-13
Michael
S
t
e
faniuc
Add
t
he
__bui
l
tin functions
n
eeded for INFINITY
a
nd
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2015-02-09
Luc Van O
o
s
t
enryck
Teach spars
e
about the __COUNTER__ predefined macro
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2015-02-06
Ch
r
istopher
Li
Mak
e
m
a
cro expanded s
t
ring
immutable
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2015-01-28
Christian Borntraeg
e
r
s390x: ad
d
the proper defines for data types
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-12-12
Christo
p
h
er Li
P
t
r list sor
t
ing
should use memmove inst
e
ad of
memcpy
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-11-10
A
a
ro Koskin
e
n
build:
a
llow u
s
e of PKG_CONFIG
t
o
ove
r
ride pkg-config
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-11-10
Ram
s
ay Jones
compile
-
i38
6
.
c
:
don't ignore return
v
alu
e
of write(2)
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-11-10
R
amsa
y
Jones
parse
.
c: rem
o
v
e
duplicate
'
may_alias'
i
gno
r
ed_attribu
t
es
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-11-10
Ramsay Jones
cgcc: avoid
p
ass
i
n
g
a sparse-
o
nly option
to c
c
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-11-10
Ramsay Jones
test-sui
t
e:
r
e
m
o
ve bashism to avoid
t
est fa
i
l
ures
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-10-25
Chri
s
to
p
her Li
teach next_des
i
g
n
ators() use ar
r
ay
_
el
e
ment_offset()
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-10-10
Ramsa
y
Jones
cgcc:
u
se $ccom to
s
et $multiarch_dir if not specifi
e
d
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-10-10
Ramsay
Jon
e
s
cgcc: use only the cc command to deter
m
ine $gcc_b
a
se_di
r
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-10-10
Ramsay Jones
Add suppor
t
f
o
r multiarch system header
f
iles
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-10-10
Ramsay Jones
do
n
't
r
un sparse{c,i
}
tests when spa
r
se-llv
m
is disa
b
l
e
d
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-10-10
Ramsay Jones
Make
f
i
le: s
u
p
p
r
e
ss error
message
f
rom shel
l
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-10-10
Ramsay Jones
do
n
'
t
c
a
ll isdigi
t
/
tolower w
i
t
h
a cha
r
argument
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-10-10
Ramsay Jones
sparse: ad
d
'gnu_inline' to the ignored attributes
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-10-10
R
a
ms
a
y
J
ones
Add the __
r
es
t
rict__
k
ey
w
ord
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-10-10
Ard Biesheuvel
sparse: trea
t
funct
i
o
n
p
ointers as pointers to const
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-10-10
Christopher Li
rename
-
Werr
o
r
to -Wsparse-error
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-09-28
Thomas Graf
sparse:
Make -Werro
r
turn
warnigns into errors
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-09-25
Pave
l
Roskin
Use LLVM_CON
F
IG instead
of
llvm-config in Mak
e
file
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-09-25
Omar San
d
oval
spars
e
-llvm
:
Fix LLVM 3
.
5 lin
k
er errors
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-09-18
Linus To
r
valds
Fi
x
i
n
i
tializers
in anonymous
s
tructs and unio
n
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-08-02
Chr
i
st
o
pher
L
i
Make
s
a
m
e_
s
ymbol
list share the same scope
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-08-02
Linus Torvald
s
Fix scopin
g
of ext
e
r
n symbols in
b
lock
s
cope
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-07-17
Christop
h
er Li
round
u
p t
h
e array ele
m
e
nt size to byte alig
n
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-07-16
Jeff
Layto
n
sparse: make bits_
t
o_bytes rou
n
d up instead of
down
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-06-29
Chr
i
stophe
r
Li
Minor cl
e
an up fo
r
opti
o
n handli
n
g
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-06-29
Andy Sh
e
vchenko
lib
.
c: skip
-
-param pa
r
ameters
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-04-17
Cody P Sc
h
afer
par
s
e: support c99 [static
.
.
.
] in abstract
a
r
ray decla
r
ators
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-04-15
Cody P S
c
hafer
sparse{i,c}: u
s
e LLVM_CONFIG to find llc and lli
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-04-15
Cody P Sch
a
fer
b
uild: allow use o
f
L
L
VM_
C
O
N
FIG to overr
i
de llvm-confi
g
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-04-03
Lin
u
s Torvalds
Fix
error a
t
ano
y
mous union
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-04-03
H
ans Verkuil
Add test
case
f
or the ioc type check
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-04-03
Hans Verku
i
l
Add test c
a
se f
o
r anonymous union i
n
itializer
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-04-03
Hans Verkuil
Add tes
t
case f
o
r
extern arr
a
y
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-04-01
Lin
u
s T
o
r
v
a
ld
s
Us
e
any previous
i
nitializer to size a symbol
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-04-01
L
inus Torvalds
Ad
d
warning about du
p
licate initialize
r
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-04-01
John Keeping
Sup
p
ort GCC's
t
ransparent u
n
ion
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-04-01
John Keep
i
n
g
evaluat
e
: split
out
i
m
p
l
ementatio
n
o
f comp
a
ti
b
le
_
assignment_
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-04-01
John Keeping
validat
i
on/sizeof-boo
l
: fix bro
k
en test c
a
se
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-02-27
Joe Perches
s
p
arse: Allow o
v
erride of siz
e
of(
b
ool) warning
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-01-29
Emi
l
io
G
.
Cota
Defi
n
e __CHAR_BIT__
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-01-29
Chris
t
opher Li
Sparse 0
.
5
.
0
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-01-29
Chr
i
sto
p
her
L
i
Fix make dist f
a
ilure
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-12-21
Chr
i
stopher
Li
Sparse 0
.
5
.
0 r
c
1
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-12-21
Kim
Phillip
s
s
parse: add bu
i
l
t
-in atomic m
e
mory access ident
i
fiers
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-12-21
E
milio G
.
Cota
gitignore: add 'version
.
h
'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-12-09
James Westby
Update the
information in README about
u
sing the library
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-11-29
F
ranz
S
chro
b
er
s
p
ars
e
: Also
check bit_o
f
fset when checking
i
mpl
i
cit
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-11-29
Fr
a
n
z
S
chrober
FAQ: Remo
v
e outdated se
c
t
i
ons
abo
u
t
the license
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-11-29
Franz Schrober
s
p
arse: Relicense under the MIT licens
e
Acked-by: Christopher Li <
sparse@chrisli.org
>
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-11-29
Fra
n
z Schrober
Re
v
e
r
t "
F
ix m
i
stak
e
n comparis
o
n
th
a
t becom
e
s a no-op
.
"
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-11-29
Franz Schrober
Revert "Upd
a
t
e
the informat
i
on in README about u
s
ing
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-11-29
Chr
i
stopher Li
Merge branch 'Novafo
r
a
'
of gi
t
:
//gi
t
.
zytor
.
com/use
r
s
.
.
.
commit
|
commitdiff
|
tree
2013-07-25
Christoph
e
r Li
Merge br
a
n
ch 'l
l
vmcore'
commit
|
commitdiff
|
tree
2013-07-25
J
eff
L
ayton
spa
r
se: add
_
_b
u
il
t
in_va_a
r
g_pack()
a
nd
_
_builtin_v
a
_ar
g
_
pa
c
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-05-23
Ramsay Jones
symbol
.
c
:
S
e
t
correct size of array from parenthesi
z
ed
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-05-17
Rams
a
y J
o
nes
ch
a
r
.
c: Fix p
a
rsing of
esc
a
p
e
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-05-16
Christopher L
i
Tr
i
vial: Remove redundant Makefile varia
b
le
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-05-15
X
i
Wang
sparse, llvm: fix link erro
r
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-05-11
Xi Wang
f
ix SIGFPE
caused b
y
s
igne
d
d
i
v
i
sion overflow
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-04-26
Christopher Li
Allow f
o
rced
a
t
tr
i
bute in func
t
io
n
argument
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-04-22
Josh Triplett
Support #
p
ragma once
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-04-22
Josh Trip
l
ett
Define __
S
IZE
O
F_POINTER__
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-04-20
Masatak
e
YAMAT
O
Add descri
p
tion for
-Wi
n
it-
c
string opti
o
n
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-04-20
M
a
satake YAMATO
Test cas
e
for -Wi
n
it-
c
string
o
p
tion
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-04-20
M
asatak
e
YAMATO
Warn abo
u
t
init
i
alization of a c
h
a
r
array with
a
too
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-04-08
Chris
t
o
p
h
er Li
Pr
o
per variable length a
r
ray warni
n
g
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-03-07
J
o
e Perch
e
s
There's no
c
ur
r
ent w
a
y to know the
v
e
r
si
o
n
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-03-06
C
h
ristopher Li
L
a
rger buffer size
f
or token conc
a
tenation
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-02-28
Xi
Wang
fix casting constant t
o
_B
o
ol
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-02-25
Christopher Li
Get ri
d
of g
c
c wa
r
ni
n
g about en
u
m
v
a
lues
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-02-23
Christo
p
he
r
Li
Fix segfault cau
s
e
b
y
f
ucntion without ident
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-02-22
Chris
t
o
pher Li
Clean up some te
s
t
case
e
rro
r
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-02-22
Randy Dun
l
ap
sparse
p
atch
v2: a
d
d noclone as an i
g
n
ore
d
attr
i
bute
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-02-19
Kim Phillip
s
sparse
:
a
dd b
u
ilt-in byte sw
a
p iden
t
ifier
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-02-13
Chri
s
topher Li
Merge gi
t
://gi
t
.
ker
n
el
.
o
r
g/
p
ub/sc
m
/li
n
u
x/
k
ernel
/
git
.
.
.
commit
|
commitdiff
|
tree
2013-02-10
Chr
i
stopher Li
re
m
ove weak define x
8
6_64
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2012-10-12
Mauro Dreissig
Fix wrong
array size expression
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2012-10-12
Christopher Li
Merge branch 'l
l
vm/core
'
of github
.
com:penberg/sparse
.
.
.
commit
|
commitdiff
|
tree
2012-06-26
Jonath
a
n Neu
s
chäfer
ptrli
s
t
.
c: fix a typo in a comment
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2012-06-26
Jo
n
ath
a
n Neu
s
ch
ä
fer
FAQ:
u
pdate the website address
a
nd
call it Wiki
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2012-06-25
K
O
SAKI
Mo
t
ohiro
s
p
arse: Add 'error' t
o
i
gnore
d
attr
i
b
utes
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2012-06-25
K
OSAKI Motohi
r
o
s
p
arse: Add '__vec
t
o
r
_size__' to ignored attri
b
utes
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2012-06-21
Christophe
r
Li
M
e
rge
bra
n
c
h
'for-chris' of git://
g
ithub
.
com/penberg
.
.
.
commit
|
commitdiff
|
tree
2012-06-04
Xi Wang
check m
i
s
sing or du
p
l
i
cate go
t
o lab
e
ls
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2012-06-04
Xi Wang
compile
-
i386: fix
us
e
-after-fr
e
e in
func_cleanup()
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2012-05-20
Sha
k
thi Kannan
I
h
a
v
e updated the s
p
a
rse
.
1
m
a
n page inclu
d
i
n
g t
h
e
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2012-05-10
Jan P
o
k
o
rný
simp
l
ify
:
conservative
h
andling of casts with po
i
nters
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2012-05-04
Jan P
o
korný
unss
a
:
track us
e
o
f
new
l
y added pseudo
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2012-03-23
C
h
ristoph
e
r Li
A
dd
i
n
g d
e
fa
u
lt for
m
64
/
m32
h
a
ndle
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2012-03-23
Frede
r
ic Crozat
Ad
d
_
_
built
i
n_stpc
p
y, __sync_syn
c
hr
o
nize, __sync_bool_comp
a
r
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
next