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.1
2007-11-13
Jos
h
T
r
i
p
l
ett
Makefile
:
VERS
I
O
N=0
.
4
.
1
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-11-13
J
o
sh
T
r
ipl
e
tt
A
dd known-to-f
a
i
l
test
c
ase
f
or a
static forward declaration
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-10-21
J
o
sh
T
riplett
A
d
d test-
s
u
i
te metad
a
t
a to validation/
l
ocal-label
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-10-10
Josh Tripl
e
tt
Add commen
t
on tain
t
flags
e
n
u
m
ref
e
r
e
n
cing expr->taint
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
J
o
s
h Tripl
e
tt
Makefile: VERSION=0
.
4
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
J
o
s
h Tripl
e
tt
Add SEE ALSO for cgcc in sparse manpage
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh Tr
i
plett
Add a
m
anpage for
c
g
cc
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh Triplett
Add test-suite annotations to init-char-array
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Jo
s
h Triplett
val
i
dati
o
n: Update
c
o
mme
n
t in type1
.
c to reflect
cur
r
ent
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh Trip
l
ett
Add test-suite annotations to
f
u
nction-pointer-modifie
r
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh Triplet
t
Add te
s
t-su
i
te
a
nnotations to cond_expr
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh Triplett
Add test-suite annotati
o
ns to int
e
ger-promoti
o
ns
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh Triplett
validatio
n
: Rename typ
e
convert
.
c to inte
g
er
-
pr
o
motions
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh Triplett
README:
r
ecode
f
r
o
m IS
O
-8
8
59-1 to UTF
-
8
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
J
o
s
h
Triplett
F
A
Q: Poin
t
to
U
RL on
vger for
s
ubsc
r
iption instru
c
tions
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh Tr
i
ple
t
t
Makefile: Us
e
?= to allow
o
v
e
rriding OS o
r
AR on
t
he
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh Triple
t
t
Add test-su
i
t
e annot
a
tion
s
t
o
no
d
e
r
ef
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
J
osh Tri
p
l
e
t
t
Add test-suite
a
nnotations to
s
truct-ns
1
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh Triplett
A
d
d
test-suite annotations to non-pointer-null
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh Triplett
Add te
s
t-suit
e
annotations to struct-attribu
t
e-p
l
acement
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh Triplett
A
d
d test-suite a
n
no
t
a
t
ions to v
a
rargs1
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh Tripl
e
tt
Add test-suite annotations to badt
y
pe4
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
J
osh T
r
i
p
lett
A
dd test-suite ann
o
t
ati
o
n
s
to
check_byte
_
co
u
n
t
-
i
c
e
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh Triplett
Add test-suite annotations to
d
ouble-semic
o
lon
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh Triplett
A
dd tes
t
-sui
t
e
annotations to restricted-typeof
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-06
J
o
sh
Tri
p
lett
Use -fno-st
r
ic
t
-alias
i
n
g, as
t
h
e
pt
r
list code seems
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-31
Josh Triplett
cgcc: Sparse
a
c
cepts -Wundef,
not -Wundefined-prep
r
oces
s
o
r
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-31
Jo
s
h Tri
p
lett
Rename Wundefined_prep
r
o
cess
o
r to W
u
ndef to m
a
tch
th
e
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-31
Josh Triplett
cgcc
:
Sp
a
rse
a
cc
e
pts -Wcast-to-a
s
, not -Wca
s
t-to-
a
ddr
e
ss
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-31
Josh Triplett
Install the Sparse manpage
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-31
Josh Triplett
Add a ma
n
page f
o
r sparse
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-31
Josh Triplett
Ren
a
me
W
c
a
s
t_to_addres
s
_space to Wcast_t
o
_as to match
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-31
Josh Triplet
t
Sort wa
r
ning options in lib
.
c and l
i
b
.
h
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-30
Josh Triplett
Add
test case for -W
t
ypesign
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-30
Josh Triplett
is_zero_consta
n
t: dec
l
are saved const
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-07
Josh Triplett
ctags: Handle so
m
e
new namespaces and symbol
types
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-30
Josh Tri
p
l
e
tt
D
r
o
p -fpic; it
h
urts pe
r
formance
and
we don't
bui
l
d
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-30
Josh Triplett
Add some missing dependenci
e
s
in the Makefile
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-30
Jo
s
h Tripl
e
tt
cse: Size insn_hash_table more realistic
a
lly, speedin
g
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-30
Josh Triplett
Makefil
e
: Use -O2 -finline-f
u
nctions, not just -O
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-29
Josh Triplett
Add test case for comparing
nul
l
pointer co
n
stant to
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-29
Josh Trip
l
ett
Rem
o
v
e
e
xplicit resta
t
ements o
f
def
a
ult
s
i
n
metadata
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-29
J
o
sh Triplett
Remo
v
e explicit restateme
n
ts of d
e
faults in metadata
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-29
Josh
T
riple
t
t
Remove explicit restate
m
ents
of defaults in metadata
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-27
Josh Triplett
validation/builtin_sa
f
e1
.
c
:
S
how the unsafe macro a
r
gumen
t
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-27
Josh T
r
iplett
A
dd test
-
su
i
te met
a
data t
o
label-att
r
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-27
Josh T
r
i
p
lett
Turn off
-Wdo-while by
de
f
ault
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
Josh
T
r
i
p
l
ett
allocate
.
h: Stop need
l
essly retur
n
ing a void value
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
Josh Tr
i
plett
Add test-suite metadata to old
-
in
i
tializer
.
c; a
l
so
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
Jo
s
h
T
riplett
Makefile:
s
top
cleaning files we didn't make an
d
h
a
ve
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
Josh Triplett
Fix
typos
i
n test-s
u
i
t
e
d
ocumen
t
a
t
i
o
n
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
Josh T
r
iplett
A
dd test-
s
uite
metadata to calli
n
g
-conv
e
ntion-attributes
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
Josh Triplett
Add tes
t
-
suite me
t
adata to escapes
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
Josh Triplett
Add
test-s
u
it
e
metadata to co
n
text
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
Josh Triplett
Ad
d
test-
s
uite me
t
adata to
initia
l
izer
-
entry
-
d
e
fine
d
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
Josh
Triplet
t
Add test-suite metadata to bad-ternary-cond
.
c,
a
nd
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
Jos
h
T
r
iplett
Add test-suite me
t
adata to
ba
d
-cas
t
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
Josh
Triplett
Fix test-suite to h
a
nd
l
e stdou
t
and stder
r
separately
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-14
Josh Triplet
t
Fix sparse w
a
rnings in c2xml: mark g
l
obals
static
a
nd
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-14
Josh Triple
t
t
F
ix
G
CC warni
n
gs in c2xml
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-14
Josh Triple
t
t
expression
.
h n
e
ed
s
l
i
b
.
h for s
t
r
u
c
t p
o
si
t
i
o
n
a
nd
symb
o
l
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-14
Jo
s
h Tri
p
l
e
t
t
Split c2x
m
l build ru
l
e i
n
to compile
and
link sta
g
es
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-14
Jo
s
h Triplett
Add c2xml to
.
g
i
t
ignore
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-09
J
o
sh Triplett
A
dd test-suite co
m
ment to bad-array-designated-initializer
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
Josh Trip
l
ett
Remove "check-exit-value: 0" and rely on d
e
fault; remove
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
Josh Tri
p
l
e
tt
Add test-suite comm
e
nt to label-as
m
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
Josh Triple
t
t
Rename
a
sm-volatile to be
t
ter describe
w
hat it tests
commit
|
commitdiff
|
tree
2007-07-08
Josh Trip
l
ett
Make c
l
ean
d
epend
on clean-check
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
Josh Trip
l
ett
Add test-suit
e
comment
to a
d
dress_sp
a
ce
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
Jos
h
Tripl
e
tt
Add test-su
i
te co
m
ment
to p
r
e
pro
c
essor21
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
Josh Tri
p
lett
Mak
e
preprocessor-loop a normal nu
m
bered preprocess
o
r
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
Josh Triplett
Add test-suite comments to
al
l
th
e
o
bv
i
ous preproc
e
ssor
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
J
o
sh Tripl
e
tt
val
i
dation:
U
pdate
c
omments for curr
e
n
t
S
parse behavi
o
r
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
Josh Triplett
.
g
iti
g
nor
e
: Stop ignoring all dotfiles
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
J
osh
Tri
p
l
e
tt
Move
t
est-suite output files to va
l
idation
/
.
g
i
tignore
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-06-28
J
osh Triplett
Move all th
e
p
r
e
processor t
e
sts
into valid
a
t
ion/preprocessor/
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-06-26
Josh T
r
iplett
Merge commit 'viro/integer-const
a
nt
'
commit
|
commitdiff
|
tree
2007-06-26
Josh Tripl
e
tt
valida
t
i
o
n/non-pointer-
n
ul
l
.
c
: Make
global sta
t
ic
t
o
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-06-26
J
osh
T
riplett
validation/escapes
.
c: M
a
ke globals static to avoid
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-06-26
J
osh
T
riple
t
t
validation/rest
r
i
cted-type
o
f
.
c: Make globals
static
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-06-26
Josh Tri
p
lett
validation
/
old-initia
l
izer
.
c: Make the_s static to
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-06-24
Josh Tri
p
lett
ctags: Use cons
t
as ap
p
ropriate
i
n
cmp_sym()
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-06-13
Josh Triplett
Turn on -Wdecl by default
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-06-03
Josh Tripl
e
tt
A
d
d test
c
ase for infi
n
ite loop in free_
p
reprocessor_line()
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-06-01
Jo
s
h Tri
p
lett
Ma
k
ef
i
le prettyprinting: mak
e
I
N
STALL and ot
h
er outp
u
t
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-06-01
Josh Triplett
C
hang
e
"
LD" to "
L
INK" in Make
f
ile prettyprinting
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-05-23
Josh Triplett
Canonica
l
ize U
R
L in
FAQ:
a
dd www
.
,
add trailing slash
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-05-23
Josh
Triplett
Fix old ty
p
o: s
/
w
i
erd/
w
eird/
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-05-23
Josh Tr
i
ple
t
t
Spars
e
always def
i
n
e
s __STDC__
1
, so cgcc doe
s
not
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-05-23
Josh Triplett
Add explanatory
c
omment ab
o
ut direc
t
use of __IDENT
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-05-23
Jos
h
T
riplett
Add n
o
-doub
l
e
-underscore variant format_
a
rg
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-05-23
Josh T
r
iplett
Add d
o
u
b
le-unders
c
ore var
i
a
nt
__syscall_l
i
nk
a
ge__
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-05-23
J
os
h
Tr
i
pl
e
tt
Add no
-
d
o
uble-u
n
der
s
cor
e
vari
a
n
t
"used",
i
gnored lik
e
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-05-23
J
o
sh Tripl
e
tt
A
dd double-underscore v
a
riant _
_
noin
l
ine_
_
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-05-23
Josh Tripl
e
t
t
Add do
u
ble-underscore variant __
a
lways_i
n
line__
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-05-23
Josh Tri
p
lett
R
eorganize attribute lis
t
f
o
r readability
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-05-23
Josh
Triplett
Mov
e
t
h
e
ident for defined(
)
into the pre
p
ro
c
essor
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-05-23
J
osh
Triplett
Remove ina
c
curate
c
omment d
e
signating s
o
me attributes
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-05-23
Jo
s
h Triplett
Ignore the GC
C
c
o
n
s
tructor and destructor at
t
ribut
e
s
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-05-23
Josh
T
r
iplett
Add __builtin_strcat and __buil
t
in_strncat
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
next