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
Josh Triplett
Makefile:
V
E
RSION=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 st
a
t
i
c forward
d
e
claration
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-10-21
Josh Triplett
Add te
s
t-suite metadata t
o
val
i
dation
/
local-label
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-10-10
Josh Triplett
Add comment on
taint flags enum referen
c
ing ex
p
r
-
>taint
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh Tripl
e
tt
Makefile: VE
R
S
IO
N
=0
.
4
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
J
osh Triplet
t
Add S
E
E ALSO
f
or
c
gcc in sparse
m
anp
a
ge
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh Triplett
Add a
m
an
p
age for cgcc
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh T
r
iplett
Add
test-suite annotations to init-char-array
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh Tr
i
plett
validation: Update co
m
ment in type1
.
c to reflect current
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh
T
r
i
plett
Add
t
e
st-suit
e
ann
o
t
ations to function-p
o
i
nter-modifier
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Jo
s
h T
r
iplett
A
dd test-suit
e
annotations to
cond_e
x
pr
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh Triplett
Add test-suite
annotations to integer-promotion
s
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh Trip
l
ett
va
l
i
d
ation: Rename type
c
onvert
.
c
to integer-promotions
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Jo
s
h
Triplett
README: recode from ISO-
8
859-1 to UTF-8
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh Tr
i
plett
FAQ: Point to U
R
L on
v
g
er for su
b
scrip
t
ion instru
c
tions
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
J
osh Triplett
Makef
i
le: Use ?= t
o
allow
overrid
i
n
g OS
o
r AR on t
h
e
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
J
o
sh Triplett
Add
t
est
-
suite annot
a
tions to noder
e
f
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh Trip
l
ett
Add t
e
s
t
-suite an
n
ot
a
ti
o
n
s to s
t
ruct-n
s
1
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh
T
r
iplett
Add test-suite annotations to non-
p
oi
n
ter
-
n
u
ll
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh Triplett
A
d
d te
s
t-su
i
te annotation
s
to
st
r
u
c
t-attribute-placement
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
J
o
s
h Triplett
Add
test-suite annotations to varargs1
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Jos
h
Tripl
e
tt
A
d
d t
e
st
-
suite
annotations to b
a
dtype4
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh Triplett
Ad
d
te
s
t-su
i
te a
n
notation
s
t
o check_byte_
c
ou
n
t-ice
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh Triplett
Add
t
e
st-suite an
n
otations to
double-semi
c
olon
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh T
r
iplett
A
d
d test-suite annot
a
tions t
o
rest
r
icte
d
-ty
p
eof
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-06
Josh Triplett
Use -fno-strict-
a
lias
i
ng,
as the ptr
l
ist code seems
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-31
Josh Triplet
t
c
g
c
c
:
Sparse a
c
cepts -Wundef, not
-
Wundefi
n
ed-preproc
e
ssor
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-31
Josh Triplett
R
ena
m
e Wundefined_
p
reproc
e
s
s
or to Wunde
f
to match the
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-31
J
osh Triplett
cgcc: Sparse accepts -Wcast-to-as, not
-
W
cast-to-address
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-31
Josh Triplett
In
s
t
a
ll
the
S
p
a
rse manpage
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-31
Josh T
r
ipl
e
t
t
Ad
d
a
manpa
g
e for spar
s
e
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-31
Jos
h
Triplett
Rename Wcast_to_addres
s
_space to Wcast_
t
o_a
s
to mat
c
h
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-31
J
o
sh Triple
t
t
Sort w
a
rn
i
ng options in lib
.
c
and
l
ib
.
h
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-30
Jos
h
T
r
iple
t
t
Add test
case for -
W
type
s
ign
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-30
Josh Trip
l
ett
is_zero_constan
t
: decla
r
e
sa
v
ed
const
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-07
Josh
T
riplet
t
ctags
:
Handl
e
s
o
m
e ne
w
name
s
paces and symbol type
s
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-30
Jo
s
h T
r
iplett
Drop -fpic; it hurts
perfor
m
anc
e
and
we
d
o
n
't build
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-30
Josh Triplett
Add some missing
depen
d
enc
i
e
s in the Makefi
l
e
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-30
Josh Triplett
cse
:
Size insn
_
hash_tab
l
e
m
ore realistic
a
lly, speedi
n
g
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-30
Josh Triplett
M
a
kefil
e
: Use -O2 -finlin
e
-function
s
, not j
u
st -O
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-29
Jo
s
h
T
r
i
plett
Add
test case for comparing null
point
e
r constant
to
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-29
Josh
T
riplett
Re
m
ove exp
l
ic
i
t restatem
e
nts
of def
a
ults in
m
eta
d
ata
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-29
Josh Triplett
Remove expl
i
cit restatement
s
of
d
efaults in metadat
a
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-29
Josh Trip
l
ett
Remove explicit restatements of d
e
fau
l
t
s
in metadata
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-27
Jos
h
Triplet
t
validat
i
on/builtin_safe1
.
c: Show
the unsafe macro argume
n
t
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-27
J
os
h
Triplet
t
Add test-suite
m
eta
d
ata
t
o label-
a
ttr
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-27
Jo
s
h Triplett
Turn off -Wdo-while by
d
efault
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
Josh Triplett
allocate
.
h
:
St
o
p needlessly
returni
n
g a vo
i
d value
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
Josh Triplett
Add
te
s
t-suite metada
t
a to old-i
n
itializer
.
c; a
l
s
o
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
J
osh Triplett
Makefile: stop cleaning f
i
les we didn't mak
e
and
ha
v
e
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
J
o
sh Triple
t
t
Fix
t
ypos in te
s
t-s
u
ite documenta
t
ion
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
Josh Triplett
A
dd t
e
st-s
u
i
te
metadata t
o
c
a
lli
n
g-convention-
a
t
t
r
ibutes
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
Jos
h
Triplett
Add
t
est-s
u
ite
m
etadata
t
o
escapes
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
Josh Tr
i
ple
t
t
A
d
d t
e
s
t
-suite
m
e
tada
t
a
t
o con
t
e
x
t
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
J
os
h
T
r
i
plett
Add test-su
i
te metadata to
in
i
tializer-entry-de
f
in
e
d
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
Josh Triplett
Ad
d
test-suite
m
etadata to bad-ternary
-
c
o
nd
.
c, and
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
Josh Triplett
Add
test-suite metadat
a
to b
a
d-cas
t
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
Josh Triple
t
t
F
i
x test-suite to handle stdout and stderr separately
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-14
Josh Triplett
Fix s
p
arse warni
n
gs in c2xml:
mark globals
stat
i
c and
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-14
Jo
s
h Triplett
Fix
G
CC war
n
ing
s
in c2xml
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-14
Josh Tri
p
l
e
t
t
expression
.
h needs li
b
.
h for struct posit
i
on and symbol
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-14
Josh Tr
i
p
l
ett
Split c2xml
bu
i
ld rule into compile
and link s
t
ages
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-14
Jos
h
Triplett
Add c2xml to
.
gitignor
e
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-09
Josh
T
r
i
p
le
t
t
Add test-suite comment to
b
ad
-
array
-
desig
n
ate
d
-initializer
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
J
o
sh T
r
iplett
Remove "check-exit-
v
alue: 0" and rely on default
;
remove
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
Josh Tripl
e
tt
A
d
d test-suite co
m
ment to l
a
be
l
-asm
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
Josh Tr
i
p
lett
Rena
m
e asm-volat
i
l
e
to b
e
tter describe what
it test
s
commit
|
commitdiff
|
tree
2007-07-08
Josh Trip
l
et
t
M
a
ke clean depend on cl
e
an-check
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
Josh Triplett
Ad
d
t
est-suite commen
t
to address_space
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
J
o
s
h Triplett
Add
te
s
t-suite comment to pr
e
processor21
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
Jos
h
Triplett
M
a
ke preprocessor-loo
p
a
n
o
rmal numb
e
red pr
e
processor
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
Josh Triplett
Add test
-
su
i
te comments t
o
all
t
he obvi
o
u
s
preprocessor
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
Josh
T
riplett
val
i
dation: Upd
a
te comment
s
for
c
urre
n
t Spa
r
se behavi
o
r
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
Jo
s
h
Triplett
.
gitignore: Stop
i
gnoring all dot
f
i
les
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
Josh Triplett
Move tes
t
-su
i
te output files to
v
a
lidation/
.
gitignore
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-06-28
Josh T
r
iplett
Move all the preprocessor tests into
v
a
l
ida
t
ion/
p
reprocessor/
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-06-26
Jo
s
h Triplett
Merge c
o
mmit 'vi
r
o/integer-constant
'
commit
|
commitdiff
|
tree
2007-06-26
Josh Triplett
v
a
l
idation/no
n
-point
e
r-null
.
c
: Make glo
b
al stati
c
to
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-06-26
Jos
h
Tripl
e
tt
valid
a
ti
o
n
/escape
s
.
c: Make globals static to avo
i
d
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-06-26
Josh
T
riplet
t
v
a
l
i
d
ation/restricted-t
y
peof
.
c
: Make globals static
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-06-26
J
o
s
h Trip
l
ett
valid
a
tion/old-initializer
.
c
: Make the_s
s
ta
t
ic to
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-06-24
J
o
s
h Tri
p
lett
ctags: U
s
e
const
a
s
appropriate
i
n cmp_
s
ym()
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-06-13
J
o
sh Trip
l
e
tt
Turn on -Wdecl by
defau
l
t
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-06-03
Josh Tr
i
plett
Add test c
a
se for in
f
in
i
te l
o
op in
fr
e
e_prep
r
ocessor_li
n
e
(
)
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-06-01
J
osh Tripl
e
tt
Makefile
pr
e
ttyprin
t
in
g
: make INSTALL and
other output
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-06-01
Josh
T
ripl
e
t
t
Change "
L
D" t
o
"
LIN
K
" in Makefile prettyprin
t
ing
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-05-23
Josh T
r
i
p
lett
Canonicalize
URL in FAQ: add www
.
,
a
dd
trailing slash
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-05-23
Josh Tripl
e
t
t
Fix old typo: s/wierd/w
e
i
rd/
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-05-23
Josh Triplett
Spars
e
always defi
n
es __STDC__ 1, so cgcc doe
s
not
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-05-23
J
osh Triplett
Add exp
l
anatory comment about dir
e
ct
u
se of __IDENT
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-05-23
Josh T
r
iplett
Ad
d
no-double-
u
n
d
erscore va
r
i
a
n
t
format
_
a
rg
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-05-23
Josh Triplett
Add double-und
e
rscore variant __sy
s
call_linkage__
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-05-23
J
osh Triplett
Add
n
o
-
d
o
u
ble-unde
r
sc
o
re variant "used", ig
n
ored lik
e
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-05-23
Josh
Triplett
Add double-unders
c
ore
v
ariant __noinline__
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-05-23
Josh T
r
iple
t
t
Add double-
u
n
d
erscore variant __alw
a
y
s
_inline__
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-05-23
Josh Tr
i
plett
Reorganize
attrib
u
te lis
t
for readability
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-05-23
J
osh Triplett
Mov
e
t
h
e
ident for defined() into the preprocessor
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-05-23
Josh
T
riplett
R
e
mo
v
e
inaccurat
e
comment designating some attributes
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-05-23
Josh
T
riplett
I
g
n
or
e
the GC
C
constructo
r
and destructor attr
i
bute
s
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-05-23
Josh Triplett
Add
__builtin_strcat and __builti
n
_strncat
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
next