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
Add test-suite annotations to struct-attribute-placement.c
2007-09-15
J
o
sh Triple
t
t
Add test-suite
annotations to s
t
ruct-attrib
u
te-
p
lacement
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh
Triplett
Add test-suite annotations
to vara
r
gs1
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh T
r
i
plett
Add test-suite annotations t
o
badty
p
e
4
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh
Triplett
Add t
e
st-su
i
te a
n
n
o
tations to
check_b
y
te_
c
ount-ice
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
J
o
sh Tripl
e
t
t
Add test-suite annot
a
tions to
double-sem
i
colon
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh
Triplett
A
dd test-
s
uite annota
t
ions to
r
estricted-
t
ype
o
f
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-06
Josh Triple
t
t
Use -fno-strict-aliasing, a
s
the pt
r
li
s
t code seems
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-31
Jos
h
Triplett
c
gcc: Sparse a
c
cepts -Wundef,
n
ot
-Wun
d
ef
i
n
ed-p
r
e
p
rocessor
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-31
Josh Triplett
R
ename Wundefin
e
d
_preproces
s
o
r t
o
Wundef to m
a
tc
h
the
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-31
Josh Triplett
cgcc:
Sparse accepts
-Wcast-t
o
-
as, not -W
c
ast-to-add
r
ess
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-31
Josh Triplett
Install the Sparse man
p
age
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-31
Josh
Tri
p
lett
Add a manpage for sparse
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-31
Josh Triplett
Rena
m
e
Wcas
t
_to_address_s
p
ace to W
c
ast_to_as
t
o match
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-31
Josh Triplett
S
o
rt warni
n
g options in
lib
.
c an
d
lib
.
h
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-30
Josh Tripl
e
tt
Add tes
t
c
a
s
e f
o
r -Wtypesign
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-30
Jo
s
h Triplet
t
is_
z
ero_
c
o
n
st
a
nt: d
e
c
la
r
e saved co
n
st
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-23
Ran
d
y Dunlap
add
_
_
b
u
i
ltin_la
b
s
(
)
commit
|
commitdiff
|
tree
2007-08-23
Yura
Pakh
u
c
hiy
M
a
ke cgcc filte
r
out a
l
l
s
parse warning
r
e
late
d
options
commit
|
commitdiff
|
tree
2007-08-10
Kovart
h
t
hanan
R
a
ja
r
a
t
nam
libxml compi
l
e
fix on Cy
g
win
commit
|
commitdiff
|
tree
2007-08-07
Josh Tri
p
lett
ct
a
gs: Han
d
l
e some ne
w
namespaces and sy
m
bol
t
y
p
es
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-04
Mik
e
Frysinger
Makefile
:
improve
flag handling
commit
|
commitdiff
|
tree
2007-07-30
Josh Tri
p
lett
Drop -fpic; it hurts per
f
ormance and
w
e don't
b
uild
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-30
J
osh Triplett
Ad
d
some missi
n
g de
p
endenc
i
es
in t
h
e Makefile
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-30
Josh
T
riplett
cs
e
:
S
i
ze
insn
_
h
a
sh_table mor
e
r
e
alisticall
y
,
s
peedin
g
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-30
Josh Triplett
Ma
k
efile: Use -O2 -f
i
nline-functions, not just -O
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-29
r
icknu-0@student
.
.
.
toke
n
ize
.
c:
Simplify drop_stream_eoln
(
)
.
commit
|
commitdiff
|
tree
2007-07-29
Al Viro
[PATCH] braino in
conditional_expression
(
)
commit
|
commitdiff
|
tree
2007-07-29
Al
Vi
r
o
[PA
T
CH] saner -Wty
p
esi
g
n
commit
|
commitdiff
|
tree
2007-07-29
Al Vi
r
o
[PA
T
CH
]
sanitize ev
a
luate_postop()
commit
|
commitdiff
|
tree
2007-07-29
Josh Trip
l
ett
Add test case for comparing
null point
e
r cons
t
a
n
t
to
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-29
Al V
i
ro
[PA
T
CH] fix evaluate_compare()
commit
|
commitdiff
|
tree
2007-07-29
Al Vi
r
o
[PATCH]
san
i
t
i
z
e
evaluate_ptr_a
d
d(), sta
r
t
c
h
ecki
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Josh Triplett
R
e
m
o
v
e explici
t
re
s
tatements of defau
l
t
s
i
n me
t
a
d
a
t
a
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-29
Al
V
iro
[P
A
TCH]
.
.
.
,array shou
l
d dege
n
erate
commit
|
commitdiff
|
tree
2007-07-29
J
osh Triplett
Remov
e
e
x
plicit resta
t
ements of defau
l
ts
i
n
metadata
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-29
A
l
Vir
o
[PATCH]
file and global scopes
a
re
t
he s
a
me for purposes
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Josh
Trip
l
ett
Remove
e
xp
l
icit restatements of def
a
ults i
n
m
e
t
ada
t
a
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-27
J
osh Triplett
validatio
n
/
builtin_safe1
.
c:
Show
t
he unsafe macro
argu
m
ent
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-27
Josh Triplett
Add tes
t
-suite metada
t
a
to label-attr
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-27
J
o
sh
T
r
iplett
Turn
off -Wdo-
w
hile
by defa
u
lt
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-25
ricknu-0@s
t
ude
n
t
.
.
.
e
x
pression
.
c: Cle
a
n
up match_oplist() and add missing
.
.
.
commit
|
commitdiff
|
tree
2007-07-25
r
icknu-0@student
.
.
.
tok
e
n
i
ze
.
c: Re
p
l
ace handwritten strnc
m
p with
existing
.
.
.
commit
|
commitdiff
|
tree
2007-07-23
Josh T
r
iplett
all
o
cate
.
h
: Stop needl
e
ssly ret
u
rning a void value
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
J
os
h
Tri
p
le
t
t
Ad
d
tes
t
-suite me
t
adata to old-initializer
.
c;
also
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
Josh Trip
l
ett
Makefile: stop cleaning files we didn't make and have
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
Josh Tri
p
lett
Fix ty
p
o
s in tes
t
-suite d
o
cument
a
tion
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
J
o
sh Triplet
t
Add
test-suite metadata t
o
calling
-
conv
e
ntion
-
attribute
s
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
J
o
sh Triplett
Add test-suite metad
a
ta t
o
escapes
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
Josh T
r
iplett
Ad
d
test-su
i
te meta
d
a
t
a t
o
conte
x
t
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
Josh Tr
i
pl
e
tt
Add test
-
suite metadata
to
i
niti
a
lizer-entry-defined
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
Josh
T
ripl
e
t
t
Add tes
t
-suite m
e
tadata to
ba
d
-tern
a
ry
-
cond
.
c, and
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
Josh Tripl
e
tt
A
d
d
t
e
st
-
suite metadata to bad-cast
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
Josh Trip
l
e
tt
Fix test-su
i
te to
handle stdout and stderr
se
p
a
rately
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-14
Josh Triplett
Fix sparse
warni
n
gs in
c
2xml: m
a
rk gl
o
bals static
a
nd
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-14
Josh Tr
i
ple
t
t
Fix GCC war
n
ings in c2xml
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-14
Josh
T
riplett
e
xpress
i
on
.
h
needs lib
.
h
f
or struct positio
n
an
d
symbol
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-14
Jos
h
T
r
ipl
e
tt
S
p
lit
c
2xml buil
d
rule into compile and link stages
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-14
Al Vir
o
[PATCH] deal correctly with qualifiers
on arrays
commit
|
commitdiff
|
tree
2007-07-14
Al
V
iro
[PAT
C
H
]
rewr
i
te type_difference()
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[PATCH
]
fix the sanity chec
k
in
evaluate_ptr_s
u
b
()
commit
|
commitdiff
|
tree
2007-07-14
A
l Viro
[PATCH] get c
o
mpatib
l
e
_assi
g
nment_types() deal wit
h
.
.
.
commit
|
commitdiff
|
tree
2007-07-14
A
l
Viro
[PA
T
CH
]
s
tart cleanin
g
type_differe
n
ce()
commit
|
commitdiff
|
tree
2007-07-14
Al V
i
ro
[PATCH] int
e
ger_promotions() can't g
e
t SYM_NODE
o
r
.
.
.
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[PATCH] c
l
ean up e
v
aluate_sign()
commit
|
commitdiff
|
tree
2007-07-14
Al
V
i
r
o
[PATCH]
sane
r
show
_
type()
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-14
Josh T
r
ip
l
e
tt
A
d
d c2xml to
.
gitignore
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-14
Rob Tayl
o
r
add
c
2
xml pr
o
gram
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-13
Rob Taylor
new get_ty
p
e_name function
commit
|
commitdiff
|
tree
2007-07-13
Rob Taylor
add sparse_keep_tokens api to lib
.
h
commit
|
commitdiff
|
tree
2007-07-13
Rob
T
a
y
lor
add e
n
d positio
n
to s
y
mbo
l
s
commit
|
commitdiff
|
tree
2007-07-10
Al
V
i
ro
fix handli
n
g of pointer
s
in ?:
commit
|
commitdiff
|
tree
2007-07-10
Al Viro
f
ix hand
l
ing of address_s
p
ace in c
a
sts a
n
d as
s
ignme
n
ts
commit
|
commitdiff
|
tree
2007-07-09
Al Viro
make siz
e
_t better ap
p
rox
i
mate
the real
i
ty
commit
|
commitdiff
|
tree
2007-07-09
Al
Vir
o
first pa
s
s
at null poi
n
t
er consta
n
ts
commit
|
commitdiff
|
tree
2007-07-09
Al
V
iro
fix the com
m
a handling i
n
integer constant
e
xpres
s
ions
commit
|
commitdiff
|
tree
2007-07-09
Josh
T
riplett
Add test-suite comment to bad
-
array
-
designate
d
-init
i
aliz
e
r
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
Josh Tr
i
plett
Remove "check-exit-value: 0" and rely on defa
u
lt; remove
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
Jo
s
h Triplet
t
Add test-s
u
i
te com
m
e
n
t to
l
abel-asm
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
Josh Triplett
R
ename asm-volatile to bet
t
er de
s
cribe what it
tests
commit
|
commitdiff
|
tree
2007-07-08
J
osh Triplet
t
Mak
e
c
lean depend on clean-check
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
Josh Triplett
Add test-suite
c
omment to address_space
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
Jo
s
h Tr
i
p
l
ett
Add t
e
st-suite comme
n
t
to preprocessor21
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
Josh Tr
i
p
lett
Make preprocessor-loop a norm
a
l
nu
m
bered prepro
c
essor
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
J
o
sh Triplett
Ad
d
test-suite comme
n
ts to all the obvious preproces
s
or
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
Josh Triplett
vali
d
ati
o
n:
Updat
e
comment
s
for current Sparse behavior
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
Josh Triplett
.
gi
t
ignore:
S
top ig
n
oring all dotfiles
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
Josh Triplett
M
ove t
e
st-s
u
ite
output
f
iles
t
o validat
i
on/
.
gitign
o
re
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
Dami
e
n Lespiau
Sampl
e
t
e
st-s
u
ite test cases
commit
|
commitdiff
|
tree
2007-07-08
Damien
Lesp
i
au
tes
t
-suite documentati
o
n
commit
|
commitdiff
|
tree
2007-07-08
Dami
e
n Lespiau
test-su
i
te: a
t
iny
t
est aut
o
ma
t
ion script
commit
|
commitdiff
|
tree
2007-06-28
Josh
T
riplet
t
M
ove all the
prep
r
ocess
o
r tests int
o
valida
t
i
o
n/pr
e
processor/
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-06-28
Pavel R
o
skin
Fix warnings abou
t
undeclared globals,
they are irrele
v
ant
.
.
.
commit
|
commitdiff
|
tree
2007-06-28
P
a
v
el Roskin
Avoid use of
libc headers in
the validation
s
uite
commit
|
commitdiff
|
tree
2007-06-28
Pave
l
Roskin
cgcc
:
preserve sparse e
x
it
c
o
de if -no-
c
ompile is used
commit
|
commitdiff
|
tree
2007-06-28
Pavel
Roskin
Bitfield wi
t
hout explicit
s
i
gn should
b
e a
warning
.
.
.
commit
|
commitdiff
|
tree
2007-06-26
Josh Triple
t
t
Merge com
m
i
t
'viro/integer-c
o
nstant
'
commit
|
commitdiff
|
tree
2007-06-26
J
o
sh Tripl
e
tt
validation
/
non-pointer-null
.
c: Make
g
loba
l
s
t
atic to
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-06-26
Josh Triplett
val
i
dation/
e
scapes
.
c
:
Make glo
b
als static to av
o
i
d
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-06-26
Josh Triplet
t
validati
o
n/restricte
d
-typeof
.
c
:
Make globals
s
tatic
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-06-26
Jo
s
h T
r
iplett
vali
d
atio
n
/
o
ld-i
n
i
tializer
.
c: Ma
k
e the_s
s
tatic to
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
next