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 non-pointer-null.c
2007-09-15
Josh Triplett
Add
test-su
i
te anno
t
a
t
i
o
n
s to n
o
n-pointer-
n
ull
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh Triple
t
t
Add
t
est-suite ann
o
t
a
tions to struct-attribut
e
-
plac
e
men
t
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh Triplett
A
dd te
s
t-suite annota
t
i
o
ns to var
a
rgs1
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Jos
h
Triplett
Add t
e
s
t-sui
t
e annotations to badtype4
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Jo
s
h Tr
i
p
l
ett
A
dd
test-
s
uite
annotat
i
ons t
o
chec
k
_byte_count-ice
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Jo
s
h Trip
l
ett
Add test-suite annota
t
ions to double-semicolon
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
J
o
s
h
Trip
l
e
t
t
Add test-suite annota
t
i
on
s
to rest
r
i
c
ted
-
type
o
f
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-06
Josh Tri
p
l
e
t
t
U
s
e -fno-strict-aliasing, a
s
the ptrlist co
d
e seems
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-31
J
o
s
h Triplett
cgcc:
Sp
a
rse a
c
cepts -Wundef,
n
ot -Wun
d
efined-pr
e
proces
s
or
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-31
J
osh Triplett
Rename
W
undefine
d
_preprocessor
t
o
Wunde
f
to match the
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-31
Josh Triplett
cg
c
c
: Sparse accepts -Wcas
t
-
to-
a
s, not -Wcast
-
to-addre
s
s
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-31
Jos
h
Tri
p
lett
Instal
l
the Sparse manpage
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-31
Josh Triplett
Add a man
p
a
ge fo
r
sparse
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-31
J
o
sh Triplet
t
Rename Wcast_t
o
_add
r
es
s
_space to Wcast_to_as
t
o match
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-31
Josh T
r
iplett
Sort
warni
n
g op
t
ions in lib
.
c and lib
.
h
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-30
Josh Triplet
t
Add test
c
ase for -Wtyp
e
si
g
n
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-30
Jo
s
h Triplett
i
s
_zero_constant: de
c
lar
e
s
aved
const
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-23
R
a
ndy
D
u
nlap
ad
d
__
b
ui
l
t
i
n_
l
ab
s
()
commit
|
commitdiff
|
tree
2007-08-23
Y
u
r
a
P
a
khuchiy
Make
cgcc filter out al
l
spar
s
e warnin
g
rel
a
ted
o
p
t
ions
commit
|
commitdiff
|
tree
2007-08-10
Kovarththanan Ra
j
aratnam
libxml compile fix on Cygwin
commit
|
commitdiff
|
tree
2007-08-07
Josh Triplett
ctags: Handle so
m
e new n
a
mespaces and symbol types
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-04
Mike F
r
ysinge
r
Makefile: improve flag hand
l
ing
commit
|
commitdiff
|
tree
2007-07-30
Josh Tri
p
lett
Drop -
f
pic; it hurts pe
r
formance
and
w
e
do
n
't build
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-30
J
osh Tr
i
plett
Add som
e
missing dependencies in
t
he
Makefile
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-30
Josh
Tri
p
lett
cse: Size in
s
n_hash_t
a
ble more rea
l
i
s
t
ically
,
speeding
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-30
Josh T
r
iplett
Makefile
:
Use -O
2
-fin
l
ine-functions, not
just
-O
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-29
ricknu-0@student
.
.
.
token
i
ze
.
c: Simplify drop_stream
_
eoln()
.
commit
|
commitdiff
|
tree
2007-07-29
Al Vi
r
o
[
P
ATCH] braino in conditional_expression
(
)
commit
|
commitdiff
|
tree
2007-07-29
Al V
i
ro
[PATCH] san
e
r -Wtypesign
commit
|
commitdiff
|
tree
2007-07-29
Al Viro
[PATCH
]
sanitize evaluat
e
_
p
osto
p
()
commit
|
commitdiff
|
tree
2007-07-29
J
osh T
r
ipl
e
t
t
Ad
d
tes
t
case for
c
omparin
g
null poi
n
ter constant to
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-29
Al Viro
[P
A
TCH
]
fix
ev
a
l
uat
e
_c
o
mpar
e
()
commit
|
commitdiff
|
tree
2007-07-29
Al Vir
o
[PATCH] sani
t
ize evaluate
_
ptr_add(), start checkin
g
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Josh
T
ripl
e
tt
R
e
mo
v
e explicit restatements of defaults in me
t
a
d
ata
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-29
Al Viro
[
PAT
C
H]
.
.
.
,
ar
r
ay should degenerate
commit
|
commitdiff
|
tree
2007-07-29
Josh
Triple
t
t
R
emove
e
xplicit restatements of defaults in metadat
a
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-29
Al Viro
[PATCH] file and global scopes are the s
a
me for purpo
s
es
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Josh Triplett
Remove expl
i
cit resta
t
ements of defaults in metadata
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-27
J
osh
Trip
l
ett
val
i
dation/builtin_s
a
fe1
.
c
:
Sh
o
w
the unsafe macro
a
rgume
n
t
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-27
Josh Tri
p
le
t
t
Ad
d
t
e
st-suite metadata to labe
l
-attr
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-27
Josh Triplett
T
urn of
f
-
Wdo-while by de
f
aul
t
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-25
ricknu-0@student
.
.
.
express
i
on
.
c: C
l
ean up match_o
p
list(
)
and add mi
s
sing
.
.
.
commit
|
commitdiff
|
tree
2007-07-25
r
i
c
knu-
0
@
s
tudent
.
.
.
tokenize
.
c: R
e
place handwritten strncmp with exist
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-07-23
Josh
Tr
i
ple
t
t
a
l
locate
.
h: Sto
p
needless
l
y return
i
ng a void value
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
Josh T
r
iplett
Add test-suite m
e
tada
t
a to old-initializ
e
r
.
c; also
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
J
osh Triple
t
t
Makefile:
stop cle
a
ning fil
e
s we didn'
t
make and
h
a
v
e
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
Jo
s
h
Triple
t
t
F
i
x t
y
pos in
t
est-suite
documentation
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
Josh Tri
p
lett
Add tes
t
-suite meta
d
a
t
a
to
c
alling-convention-a
t
tributes
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
Josh Triplett
Add test-suit
e
metadata t
o
esca
p
es
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
Josh Triplett
Add te
s
t-suite metadata t
o
context
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
Josh Triplett
Add test-suit
e
m
etadata to initiali
z
er-entry-defined
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
Josh Triplett
Ad
d
t
e
s
t-suite metadata
to bad-
t
ernar
y
-
c
on
d
.
c, and
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
Josh Triplett
A
d
d
test-
s
uite meta
d
ata
t
o bad-
c
ast
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
Josh Tri
p
l
ett
Fix tes
t
-sui
t
e to
h
andle stdout and s
t
derr separ
a
tely
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-14
Josh Triple
t
t
Fix
s
parse warnin
g
s in c2xml:
m
ark
globals static and
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-14
Josh
Trip
l
ett
Fix GCC w
a
rnings in c2xml
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-14
Josh Triplett
e
x
p
ressi
o
n
.
h needs lib
.
h
f
o
r struct position a
n
d symbol
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-14
Josh Triplett
Split
c2xml build
rule into compi
l
e
and link s
t
ages
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-14
Al
Viro
[PATCH] deal
co
r
rec
t
ly with qualifiers on arrays
commit
|
commitdiff
|
tree
2007-07-14
Al V
i
ro
[PAT
C
H] r
e
wr
i
t
e t
y
p
e_difference
(
)
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[P
A
TCH] fix the sanity
c
heck in evaluate_pt
r
_
sub()
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[PATCH] get compatible_assignment
_
types
(
) deal with
.
.
.
commit
|
commitdiff
|
tree
2007-07-14
A
l Vi
r
o
[PATCH]
s
tart cleanin
g
type_diffe
r
ence()
commit
|
commitdiff
|
tree
2007-07-14
Al Vir
o
[PATCH] inte
g
er_promotions() c
a
n't
get
SYM_NODE or
.
.
.
commit
|
commitdiff
|
tree
2007-07-14
Al
Viro
[PATCH] clean up ev
a
luate_sign()
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[
P
A
TC
H
] saner
show_type()
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-14
Josh Tr
i
plett
Add
c
2
x
ml to
.
gitignore
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-14
Ro
b
Taylor
add c2xm
l
program
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-13
Rob
T
aylor
new get_t
y
pe_n
a
me f
u
nc
t
i
o
n
commit
|
commitdiff
|
tree
2007-07-13
Rob Taylor
add
sparse_k
e
ep_tokens api to lib
.
h
commit
|
commitdiff
|
tree
2007-07-13
Ro
b
T
a
ylor
add end
p
os
i
tion
t
o symbols
commit
|
commitdiff
|
tree
2007-07-10
Al V
i
ro
fix
h
a
nd
l
ing of po
i
n
ters
i
n ?:
commit
|
commitdiff
|
tree
2007-07-10
Al Vir
o
fix handling o
f
add
r
e
s
s_spac
e
i
n casts and assignm
e
nts
commit
|
commitdiff
|
tree
2007-07-09
Al Vi
r
o
make size_t bet
t
e
r
appr
o
x
i
m
ate
t
he
r
eality
commit
|
commitdiff
|
tree
2007-07-09
Al Viro
first pass
a
t
n
ull pointer consta
n
ts
commit
|
commitdiff
|
tree
2007-07-09
Al V
i
ro
fix the comma handlin
g
in integer constant
expressions
commit
|
commitdiff
|
tree
2007-07-09
Josh
Triplett
A
dd test-suit
e
comment
to bad-array-desi
g
na
t
ed-initializer
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
Josh Tr
i
plet
t
R
e
m
o
ve "c
h
ec
k
-exit-value: 0" and rely
on default; remove
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
Josh Tripl
e
t
t
Add test-suite
comment to lab
e
l-asm
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
J
o
sh Trip
l
ett
Rena
m
e as
m
-
v
olatile to bette
r
desc
r
i
be
what
i
t
t
e
sts
commit
|
commitdiff
|
tree
2007-07-08
Josh Triplett
Make c
l
ean d
e
pend on
clean-check
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
Josh Triplet
t
Add
t
est-su
i
te comment
t
o
address_s
p
ace
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
Josh Triplett
Add test-suite comment to pre
p
rocessor21
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
Josh
Triplett
Make
pre
p
r
o
c
e
s
s
or-loop
a
normal numbe
r
ed preprocessor
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
Jos
h
Tr
i
plett
Add test-suite
comments
to all the obvio
u
s
preprocessor
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
Josh T
r
iplett
validation: Update comments for current Spars
e
behavior
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
Josh Tr
i
plett
.
git
i
gnor
e
: St
o
p
i
gnoring al
l
d
ot
f
i
l
e
s
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
Josh Triplett
M
o
ve test-suite output files to validation/
.
g
i
tig
n
ore
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
Damien Lespiau
Sample test-suite
t
est cases
commit
|
commitdiff
|
tree
2007-07-08
D
a
mien
Le
s
piau
t
e
s
t
-suite
d
oc
u
men
t
ation
commit
|
commitdiff
|
tree
2007-07-08
Damien L
e
spi
a
u
test-suite
:
a tiny test automation script
commit
|
commitdiff
|
tree
2007-06-28
Josh Tri
p
l
e
tt
Mov
e
all
t
he preprocessor tests into validation
/
prepr
o
cessor/
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-06-28
Pavel Roskin
Fix warnings ab
o
ut undeclared glo
b
a
l
s, they are ir
r
elevant
.
.
.
commit
|
commitdiff
|
tree
2007-06-28
Pavel Roskin
A
void us
e
of libc h
e
aders in the
v
alidation
s
uit
e
commit
|
commitdiff
|
tree
2007-06-28
Pavel
R
oskin
c
gcc: pre
s
erve
sparse
exit
c
ode if -no-
c
ompile
i
s u
s
ed
commit
|
commitdiff
|
tree
2007-06-28
P
a
vel Roskin
B
i
tfield
without explicit sign should be a warning
.
.
.
commit
|
commitdiff
|
tree
2007-06-26
Josh
Triplett
Merge
commit 'viro
/
in
t
eger-constant'
commit
|
commitdiff
|
tree
2007-06-26
Josh Triple
t
t
validation/
n
on-
p
o
i
nter-null
.
c: Ma
k
e
g
lobal
static to
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-06-26
J
o
sh Triplett
vali
d
ation/
e
sca
p
es
.
c: Make
g
l
o
b
als
s
tatic
t
o avo
i
d
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-06-26
J
o
sh Triplett
validation/
r
estricte
d
-t
y
peof
.
c: Make
g
l
obals
st
a
ti
c
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
next