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
Makefile: VERSION=0.4
2007-09-15
Jo
s
h Triplet
t
Mak
e
file: VERSION=0
.
4
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
J
o
sh Triplet
t
A
dd
S
EE A
L
SO for cgcc
i
n s
p
arse ma
n
page
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh Triplett
Add a ma
n
p
ag
e
f
or cg
c
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh
Triplet
t
A
d
d test-s
u
i
te
annotations t
o
init-cha
r
-array
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
J
o
sh T
r
iple
t
t
valida
t
ion: Update comm
e
nt in type1
.
c t
o
reflect curr
e
nt
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
J
osh
T
ripl
e
tt
Add test-s
u
ite
a
n
nota
t
ions to function-poi
n
ter-mod
i
fi
e
r
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh Tri
p
lett
Add
test-suite an
n
ot
a
tions to cond_expr
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh Trip
l
ett
A
d
d
t
est
-
suite annot
a
tions to int
e
ger-pr
o
motions
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Jo
s
h Triplett
validation:
R
e
n
ame typeconvert
.
c to intege
r
-promotions
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh T
r
i
plett
R
EADME
:
recode
fro
m
ISO-88
5
9-1 to UTF
-
8
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh
T
riplett
F
A
Q:
Point to URL o
n
vger fo
r
s
u
bscription instruc
t
ions
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh Triplett
Makefile:
U
se ?= t
o
allow overriding OS or AR on the
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh
T
r
i
plett
Add test-suite annotation
s
to noderef
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Jo
s
h Triplet
t
Add
t
est-suite
annotations to struct-n
s
1
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
J
o
sh Triplett
Add t
e
s
t
-suite annotations to non
-
poin
t
er-null
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh Triplett
Add
t
est-
s
ui
t
e
a
n
no
t
ations
to struct-a
t
tribute-placement
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
J
o
sh Triplett
Add test-suite ann
o
tations to varargs
1
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh Tripl
e
tt
Add tes
t
-suite
a
nnotations to badty
p
e4
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh
Triplet
t
Add t
e
st-suite annotati
o
ns to check
_
b
y
te_count-ice
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh Triple
t
t
A
d
d test-suite annotations to double-semicol
o
n
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh Tripl
e
tt
Add t
e
st-
s
uite
annotati
o
ns to re
s
tri
c
ted-typeof
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-06
Josh
Triplett
U
s
e -f
n
o-st
r
ict-aliasing, as t
h
e ptrlist code
s
eems
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-31
Josh Triplet
t
cgcc:
Sparse accepts -
W
un
d
ef, no
t
-Wundefined-preprocessor
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-31
J
os
h
T
r
i
p
lett
Rename
W
undefin
e
d_preprocessor to Wund
e
f to match the
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-31
Jo
s
h
Triplett
cgcc: Spa
r
s
e
a
c
cepts -
W
cast-to-as, not -Wca
s
t
-t
o
-addres
s
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-31
Josh T
r
iplet
t
Install the Spa
r
se
m
anpage
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-31
Josh T
r
iplett
Add a manpage for sparse
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-31
Josh
T
riplett
Rename Wcast_t
o
_addre
s
s_space to Wcast_
t
o_as to match
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-31
Josh Triplett
Sort
w
arni
n
g options in li
b
.
c and lib
.
h
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-30
Josh Triplett
Add test case for -Wtypesign
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-30
J
osh Triplett
is_
z
ero_constant
:
declare saved const
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-23
R
andy Dunlap
add __builtin_labs()
commit
|
commitdiff
|
tree
2007-08-23
Y
ur
a
Pak
h
uchiy
Make cgcc filter out a
l
l s
p
ars
e
w
arning rela
t
ed
optio
n
s
commit
|
commitdiff
|
tree
2007-08-10
Kovartht
h
anan Rajarat
n
am
libxml co
m
pile fix o
n
C
ygwin
commit
|
commitdiff
|
tree
2007-08-07
Josh Trip
l
ett
ctags: Handle some new namespa
c
es an
d
symbol type
s
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-04
Mike Frysin
g
er
Makefile: improve flag handling
commit
|
commitdiff
|
tree
2007-07-30
J
osh Triplett
D
r
op -fp
i
c; it hurts pe
r
formance a
n
d
w
e
don't
bui
l
d
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-30
Josh
Tr
i
plett
A
dd
some
missing de
p
e
nde
n
c
i
es in the Ma
k
e
f
il
e
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-30
Josh Triplett
cs
e
: Size i
n
s
n_hash_t
a
ble mor
e
realistically, speeding
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-30
J
o
s
h
Tr
i
plett
Make
f
ile: Use -O2
-
finl
i
ne-functions, not just -O
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-29
ricknu-0@student
.
.
.
tokenize
.
c: Simplify drop_stream_eo
l
n()
.
commit
|
commitdiff
|
tree
2007-07-29
Al
V
iro
[P
A
TCH] braino
i
n con
d
itiona
l
_
expressi
o
n()
commit
|
commitdiff
|
tree
2007-07-29
Al Vi
r
o
[PATCH] saner -Wtypesign
commit
|
commitdiff
|
tree
2007-07-29
Al Viro
[PATCH] san
i
tize evaluate_pos
t
op()
commit
|
commitdiff
|
tree
2007-07-29
Josh
T
riple
t
t
Add te
s
t
case for c
o
mparing null poin
t
er c
o
nstan
t
t
o
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-29
Al Viro
[P
A
TC
H
] fix eva
l
u
a
t
e
_c
o
mpare()
commit
|
commitdiff
|
tree
2007-07-29
Al Viro
[PATCH] sa
n
itize eva
l
uate_ptr_add(), start checki
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Josh T
r
iplett
Remove exp
l
ic
i
t restatemen
t
s
of
d
efaul
t
s in me
t
adata
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-29
Al Viro
[
P
A
T
CH]
.
.
.
,array shoul
d
dege
n
erate
commit
|
commitdiff
|
tree
2007-07-29
J
osh
Triplett
R
emove explicit re
s
ta
t
ements of d
e
faults in metadata
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-29
A
l
Viro
[PATCH]
f
ile and g
l
o
bal
s
copes are
the same for pur
p
o
s
es
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Josh Triplett
Remove
explicit restateme
n
ts of defaults in metadata
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-27
Josh Tripl
e
tt
validatio
n
/builtin_safe1
.
c:
S
how
the unsa
f
e macro ar
g
ument
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-27
Josh Triplett
Add tes
t
-
s
uite
m
etadat
a
to
label-a
t
tr
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-27
Josh Triplett
Tur
n
off -
W
do
-
while b
y
default
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-25
ri
c
knu-
0
@
s
tuden
t
.
.
.
expression
.
c: Clean up match_opl
i
st(
)
a
nd add missing
.
.
.
commit
|
commitdiff
|
tree
2007-07-25
r
icknu-0@stude
n
t
.
.
.
tokenize
.
c
:
Replace handw
r
i
t
ten strncmp with existing
.
.
.
commit
|
commitdiff
|
tree
2007-07-23
Josh Triplett
a
lloc
a
te
.
h:
S
top needlessl
y
returning a
v
oi
d
value
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
Josh Trip
l
ett
Ad
d
t
e
st
-
suit
e
me
t
adata to
o
ld-initializer
.
c
;
a
lso
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
J
o
sh
T
r
ip
l
ett
Make
f
i
l
e: stop cleaning files we
d
idn
'
t mak
e
and have
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
Josh Triplett
Fix
t
y
pos
i
n test-suite documentation
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
Josh Triplet
t
A
d
d te
s
t-suite me
t
adata to
calling-convention
-
a
ttributes
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
J
o
sh Trip
l
ett
Add
test-s
u
ite m
e
tadata to esca
p
es
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
Josh Triplett
Add test-suite metadata to context
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
Josh Tr
i
p
l
ett
Add tes
t
-suite
m
eta
d
a
t
a
t
o
i
n
itializer-entry-define
d
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
Josh Triplet
t
Add test-suite metadata to
bad-tern
a
ry
-
cond
.
c, and
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
Josh T
r
i
plet
t
Add 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
ett
F
ix test-suit
e
to handl
e
stdout
and st
d
err se
p
arately
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-14
Jos
h
Triple
t
t
Fi
x
sparse warnings in c2xml: ma
r
k
g
l
o
b
als
s
tatic and
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-14
Josh
Tr
i
plett
Fi
x
GCC
w
ar
n
ing
s
in c2x
m
l
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-14
J
o
sh Triplett
express
i
on
.
h ne
e
d
s
l
i
b
.
h for struct position and s
y
m
bol
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-14
Jo
s
h
Triplett
Split c2xml bui
l
d rule into
com
p
ile an
d
lin
k
stages
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[PATCH
]
deal
c
orrect
l
y with qualifiers
o
n array
s
commit
|
commitdiff
|
tree
2007-07-14
Al Vir
o
[PATCH] rewrite type_difference
(
)
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[PATCH
]
fix the sanity check in evaluate_ptr_sub()
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[PATCH] get compatible_as
s
ignment_types
(
) deal with
.
.
.
commit
|
commitdiff
|
tree
2007-07-14
Al
V
i
r
o
[PATCH] start cleaning type_diffe
r
e
nce()
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[PATCH] intege
r
_promotions() can't get SYM
_
NODE or
.
.
.
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[
P
ATCH] clean up
e
valua
t
e_sign()
commit
|
commitdiff
|
tree
2007-07-14
Al
Vi
r
o
[PATCH
]
s
aner
s
h
o
w
_type()
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-14
Josh Triplet
t
A
dd c2xml to
.
gitignore
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-14
Rob Taylor
add c2x
m
l
p
rogra
m
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-13
Rob T
a
ylor
new g
e
t_typ
e
_name function
commit
|
commitdiff
|
tree
2007-07-13
Rob Taylor
a
dd sparse_keep_tokens ap
i
t
o
li
b
.
h
commit
|
commitdiff
|
tree
2007-07-13
Rob Ta
y
lor
a
dd end positio
n
to
s
ym
b
o
ls
commit
|
commitdiff
|
tree
2007-07-10
Al
Viro
fix
h
andling of
p
ointers
i
n
?:
commit
|
commitdiff
|
tree
2007-07-10
Al Viro
fix han
d
ling
of address_space in
c
asts
a
nd ass
i
g
nments
commit
|
commitdiff
|
tree
2007-07-09
Al Viro
make si
z
e_t better appr
o
ximate
t
he re
a
l
ity
commit
|
commitdiff
|
tree
2007-07-09
Al V
i
ro
first
pass a
t
null po
i
nter cons
t
ants
commit
|
commitdiff
|
tree
2007-07-09
Al Viro
fix
t
he comma handling
in integ
e
r
co
n
stant expressions
commit
|
commitdiff
|
tree
2007-07-09
Josh T
r
ipl
e
tt
Add test-suite comment to bad-array-design
a
te
d
-initial
i
zer
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
Josh Triplet
t
Remove "check-exi
t
-value: 0" and re
l
y on d
e
faul
t
;
remove
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
Josh Triplett
A
d
d test-suite comment to label-asm
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
Josh Triplett
Rename
a
sm-v
o
lati
l
e to
better describ
e
what it
t
est
s
commit
|
commitdiff
|
tree
2007-07-08
Josh Triplett
Make clean depend on clean
-
check
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
Josh T
r
ipl
e
tt
Add t
e
st-
s
u
i
te comm
e
nt to addres
s
_space
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
Josh Triplett
A
dd
test-suite comm
e
nt t
o
p
repro
c
essor21
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
Josh
T
r
ip
l
et
t
Make pr
e
processor
-
l
o
op
a
n
ormal
n
umbered preproces
s
or
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
Josh Tri
p
l
e
tt
Ad
d
t
e
st
-
su
i
te co
m
ments to
a
ll th
e
obviou
s
preproce
s
sor
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
J
o
s
h
Triplett
validation: Update comments for current Spa
r
se behavio
r
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
next