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
fix show_typename()
2008-04-03
Al Viro
fix show_typename
(
)
commit
|
commitdiff
|
tree
2008-04-03
Al Viro
sane
r
wa
r
nings fo
r
restric
t
ed
t
ypes
commit
|
commitdiff
|
tree
2007-11-13
Josh Trip
l
ett
Make
f
ile: VE
R
SION=0
.
4
.
1
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-11-13
Josh
Triplett
Add known-to-fail
test case for a static
f
orward
d
eclara
t
io
n
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-11-13
Emil Me
d
ve
Handle ig
n
ored attrib
u
te malloc
commit
|
commitdiff
|
tree
2007-10-21
Josh Tripl
e
tt
Ad
d
test-suit
e
metad
a
t
a
t
o
validation/l
o
cal-label
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-10-21
Ch
r
isto
p
her
Li
Perform local labe
l
lookup
commit
|
commitdiff
|
tree
2007-10-10
Josh Triplett
A
d
d comme
n
t on taint flags
e
num re
f
e
r
encing expr->tain
t
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-19
M
i
ke Frysing
e
r
fix install p
e
r
ms of manpages
commit
|
commitdiff
|
tree
2007-09-16
Tilma
n
Sauerbeck
Added a pro
t
otype for mem
p
cpy()
.
commit
|
commitdiff
|
tree
2007-09-15
Josh Trip
l
ett
Makefile
:
VERSION=0
.
4
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh T
r
i
p
l
e
tt
A
d
d SEE ALSO for cgcc in spars
e
manpage
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh Triplett
Ad
d
a manpag
e
for cgcc
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh Triplett
A
dd test-s
u
ite a
n
n
o
tations to init
-
c
h
ar-arr
a
y
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh Trip
l
e
t
t
validation: Update comment in type
1
.
c to reflect
c
urrent
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh Triplett
Ad
d
test-s
u
ite
annotation
s
to function-p
o
inter-modifie
r
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh Triplett
Add
test-
s
u
ite annotati
o
ns t
o
cond_expr
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
J
o
sh Triple
t
t
Add
t
est-suite
annotations to integer
-
p
romotions
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
J
o
sh Triplett
validat
i
o
n:
R
e
name
typeconver
t
.
c to in
t
eger-promotion
s
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
J
osh T
r
iplett
READ
M
E: rec
o
de from
ISO-8859-
1
to UT
F
-8
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh Trip
l
e
t
t
FAQ:
P
o
i
n
t to URL
on
vge
r
fo
r
subs
c
ription inst
r
uctions
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh Triplet
t
M
akefile: Use
?
= to
all
o
w
over
r
i
d
in
g
O
S
o
r A
R
on the
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Jos
h
Triplett
A
dd t
e
st-s
u
ite
a
nnotati
o
ns to node
r
ef
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh Tri
p
lett
Add test-suite ann
o
tations to struct
-
ns1
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
J
osh Triplett
Add t
e
st-suite annotations to non-pointe
r
-n
u
ll
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh Triplett
Add tes
t
-suite
a
nnotation
s
to
s
truct-attribute-placem
e
nt
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh T
r
i
p
l
e
tt
Ad
d
test-
s
uite annotati
o
ns to varargs1
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh
T
ri
p
let
t
Add test-suite annotations to bad
t
ype4
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Jos
h
T
r
i
plett
A
dd test-su
i
te annotations to check_byt
e
_count-ice
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh Tri
p
lett
A
d
d test-su
i
te annotations
t
o d
o
ubl
e
-semi
c
olon
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
J
osh
T
rip
l
e
t
t
Add test-suite ann
o
ta
t
io
n
s t
o
restricte
d
-typeof
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-06
Josh T
r
i
plett
U
s
e -
f
no-
s
trict-a
l
iasing,
a
s the ptrlist
c
o
de seems
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-31
J
osh Triplett
cgcc: Sparse accepts
-
W
undef,
no
t
-Wund
e
fined-preprocessor
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-31
Josh Tri
p
lett
Renam
e
W
undefin
e
d
_preprocessor to
W
undef to matc
h
th
e
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-31
Josh Triplett
cgcc: Sparse accepts -Wcast
-
t
o-as, not -Wcast-to-add
r
e
s
s
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-31
Josh Tri
p
lett
Inst
a
ll the
Sparse man
p
a
ge
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-31
Jo
s
h Triplett
Ad
d
a manp
a
g
e for
s
pars
e
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-31
Josh Triplet
t
Rena
m
e Wcast_to_address_space to Wca
s
t
_to_as to
m
atch
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-31
Jo
s
h
Triplet
t
Sort warning options in lib
.
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
Josh Triplett
is_zero_constan
t
: declare s
a
ved 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
u
r
a
Pakhuchiy
Make cgcc fi
l
ter out
a
ll sp
a
rse
w
arn
i
ng relat
e
d op
t
i
o
n
s
commit
|
commitdiff
|
tree
2007-08-10
Kovarththa
n
an Raj
a
ratnam
l
ibxml com
p
ile fix on Cygw
i
n
commit
|
commitdiff
|
tree
2007-08-07
Josh Triplett
ctags: Handl
e
some new namespaces a
n
d symbol types
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-04
Mike Frys
i
nger
Makefile: i
m
prove flag
handling
commit
|
commitdiff
|
tree
2007-07-30
Josh T
r
i
p
let
t
Drop -fpic; it hu
r
ts
p
erformance a
n
d we don't build
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-30
Josh Triplett
A
dd some miss
i
n
g
depend
e
n
c
ie
s
i
n
the Makefile
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-30
Josh Trip
l
ett
cse: S
i
ze ins
n
_hash_tab
l
e mo
r
e realis
t
i
c
ally, speeding
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-30
Josh Triplett
Makef
i
le:
U
se -O2 -fi
n
line-functions, not
just -
O
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-29
ricknu-0@
s
tudent
.
.
.
tokenize
.
c
: Simplify drop_stream
_
eoln()
.
commit
|
commitdiff
|
tree
2007-07-29
Al Viro
[PATCH] brai
n
o in cond
i
tional_
e
xpression()
commit
|
commitdiff
|
tree
2007-07-29
Al Vir
o
[PATC
H
] saner -Wtypesign
commit
|
commitdiff
|
tree
2007-07-29
A
l V
i
ro
[PATCH]
s
anitize evaluate_postop()
commit
|
commitdiff
|
tree
2007-07-29
Josh Triplett
Add test
c
ase for c
o
mparing
nu
l
l pointer constant to
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-29
Al Vi
r
o
[P
A
T
C
H] fix evalu
a
te_compare()
commit
|
commitdiff
|
tree
2007-07-29
Al Viro
[PATC
H
]
sanitize evaluate_ptr_add(), start
c
hec
k
in
g
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
J
o
sh Triplett
Remov
e
explicit restatements
o
f def
a
ults
i
n metadata
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-29
Al Viro
[P
A
TCH]
.
.
.
,array should deg
e
nerate
commit
|
commitdiff
|
tree
2007-07-29
J
o
s
h Triplett
Remo
v
e explicit restatements of defaults in metadata
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-29
Al
Viro
[PATC
H
] file and gl
o
bal scopes
a
r
e
the same for
purposes
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
J
osh Triplett
Re
m
ove explicit restatemen
t
s of def
a
ult
s
in
metad
a
t
a
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-27
Josh Triplet
t
validation/builtin_safe1
.
c: Sh
o
w the unsafe mac
r
o arg
u
ment
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-27
Josh T
r
iplett
Add test-sui
t
e metada
t
a
t
o label-attr
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-27
Josh Triplett
Tu
r
n
off -Wdo-while b
y
default
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-25
r
i
cknu-0@student
.
.
.
expressi
o
n
.
c: Clea
n
u
p
m
atch_op
l
ist() and
a
dd missing
.
.
.
commit
|
commitdiff
|
tree
2007-07-25
ricknu-0@stu
d
ent
.
.
.
tok
e
nize
.
c:
R
ep
l
a
ce handwritten strncmp with exis
t
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-07-23
J
osh Triplett
allocate
.
h
:
S
t
op need
l
ess
l
y returnin
g
a
v
o
id value
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
Josh Triplett
Add test-suit
e
metadata to old-in
i
tializer
.
c; also
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
Jos
h
Tripl
e
tt
Makef
i
le: stop clean
i
ng
f
iles 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 t
y
pos in test-su
i
te
docum
e
ntation
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
Josh Triplett
Add test-suite metadata to calling-c
o
n
v
ention
-
attribute
s
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
Josh
T
r
iplet
t
Add te
s
t-suite
m
e
t
adata to
e
scapes
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
Josh Triplett
Add t
e
st-suite met
a
data to context
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
J
o
sh Triplett
A
d
d test-suit
e
metada
t
a to initializer-e
n
t
r
y
-
d
efined
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
Josh Triplett
Add test-sui
t
e metada
t
a to bad
-
ternary
-
cond
.
c, a
n
d
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
Josh Triplett
Add test-suit
e
me
t
adata
to bad-cast
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
Josh Triplett
Fix test-suite to handl
e
stdou
t
and stderr sep
a
ratel
y
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-14
Josh Triplett
F
ix s
p
arse war
n
ings in
c
2
xm
l
: mark global
s
static and
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-14
Jo
s
h
T
riplett
Fix GCC warnings in c2xm
l
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-14
Josh
T
riplett
expressi
o
n
.
h
needs li
b
.
h fo
r
struct posi
t
ion and symbol
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-14
J
o
sh T
r
iplett
Sp
l
it c2xml bui
l
d
rule into compile and link stages
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[PATCH] dea
l
correctly wi
t
h qualifie
r
s on
a
rrays
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[P
A
TC
H
] rewri
t
e typ
e
_difference()
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[PA
T
CH] fix the sani
t
y check
i
n evalua
t
e_ptr_sub()
commit
|
commitdiff
|
tree
2007-07-14
Al Vi
r
o
[
P
ATC
H
] get compatible_assignment_types() deal wit
h
.
.
.
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[PA
T
CH] start cleani
n
g
type_difference()
commit
|
commitdiff
|
tree
2007-07-14
A
l Viro
[PATCH] intege
r
_pro
m
otions
(
) c
a
n't get SYM
_
NODE or
.
.
.
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[PATCH] clean u
p
e
v
a
luate_sign()
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[PATCH] saner
s
how_type()
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-14
Josh Tri
p
le
t
t
Add c2xml t
o
.
giti
g
nore
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-14
Rob Taylor
add c2xml
prog
r
am
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-13
Rob
T
aylor
ne
w
get_type_n
a
me f
u
nctio
n
commit
|
commitdiff
|
tree
2007-07-13
Rob Taylo
r
ad
d
sparse_keep_to
k
ens api to lib
.
h
commit
|
commitdiff
|
tree
2007-07-13
Ro
b
Taylor
a
dd end
p
osition to symbols
commit
|
commitdiff
|
tree
2007-07-10
Al Viro
fix handling of poin
t
ers in ?:
commit
|
commitdiff
|
tree
2007-07-10
A
l Viro
fix h
a
n
d
li
n
g of ad
d
ress_sp
a
ce in
c
asts and assignments
commit
|
commitdiff
|
tree
2007-07-09
A
l Viro
m
a
ke siz
e
_t better approximate the reality
commit
|
commitdiff
|
tree
2007-07-09
A
l Viro
f
irst pass at nu
l
l pointer constants
commit
|
commitdiff
|
tree
2007-07-09
Al Viro
fix
t
he comma
handling in
i
nte
g
er
c
ons
t
ant
e
xpressio
n
s
commit
|
commitdiff
|
tree
next