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 integer-promotions.c
2007-09-15
J
o
sh T
r
i
plett
Add tes
t
-suite ann
o
tati
o
ns t
o
i
nt
e
ger
-
promotions
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
J
o
sh Triplett
vali
d
ation:
R
ena
m
e
typeconvert
.
c to integer-promot
i
ons
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh Triplett
R
E
ADME: recode fro
m
ISO-8859-1
to UTF-8
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh Tr
i
pl
e
tt
F
A
Q
:
Point to URL on
vger
f
or subscr
i
ption instruct
i
ons
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Jos
h
T
ripl
e
tt
Makefile
:
Use ?= t
o
a
l
low overr
i
di
n
g
OS or A
R
o
n
t
he
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Jos
h
Triplet
t
Ad
d
t
e
st-suite annotat
i
ons to noderef
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh Trip
l
ett
Ad
d
test-suite an
n
otations to struct-ns1
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh Triplet
t
Add test-suite annotat
i
ons
t
o no
n
-
p
ointer-null
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh
T
riplett
A
d
d test-suite
annotations
t
o struc
t
-attri
b
ute-pl
a
cement
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
J
osh Triplett
Add test-su
i
te anno
t
a
t
ions to vararg
s
1
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Jos
h
T
rip
l
e
tt
Add test-suite
a
nnota
t
i
ons to badt
y
pe4
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh Tr
i
plett
A
d
d test-suite annotations to check_byte_count-ice
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
J
o
s
h Trip
l
ett
Add
t
est-s
u
i
t
e
ann
o
tations to dou
b
le-semicolon
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh Tripl
e
tt
Add test-suite an
n
otat
i
on
s
to restrict
e
d
-
typeo
f
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-06
Josh
Triplett
Use -fno
-
strict-aliasin
g
, as
the pt
r
list code seems
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-31
Jo
s
h Tripl
e
t
t
c
g
c
c
:
Sparse
a
ccepts -Wundef, n
o
t -W
u
nde
f
ined
-
prep
r
ocesso
r
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-31
Josh Triplet
t
Rename Wu
n
defined_
p
rep
r
ocess
o
r to Wundef to mat
c
h the
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-31
J
o
sh
T
ri
p
le
t
t
cgcc: S
p
arse accep
t
s -Wcast-to-as, no
t
-
W
cast-t
o
-address
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-31
Josh Triplett
I
n
stall the Sparse manpag
e
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-31
Josh Trip
l
e
t
t
Add
a manp
a
ge
f
o
r sparse
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-31
Josh
Triplett
R
ename
W
cast_to_
a
ddre
s
s_spa
c
e to Wcast_to_a
s
to match
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-31
J
o
s
h Trip
l
ett
Sort warning optio
n
s
i
n l
i
b
.
c and lib
.
h
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-30
J
o
s
h
Tr
i
p
lett
Ad
d
test case for -Wtyp
e
sign
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-30
Josh Triplett
i
s
_zero_
c
o
nstant: declare saved const
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-23
Ran
d
y Dunlap
add _
_
bu
i
ltin_
l
abs()
commit
|
commitdiff
|
tree
2007-08-23
Yu
r
a
Pakhuchiy
Make cgcc filter o
u
t a
l
l sparse
warni
n
g
rel
a
t
e
d options
commit
|
commitdiff
|
tree
2007-08-10
Kovarththa
n
an Rajaratnam
libxm
l
co
m
pile fix o
n
C
y
gwi
n
commit
|
commitdiff
|
tree
2007-08-07
Jo
s
h Triplett
ctags: Handle some new
namespaces
a
nd symbol types
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-04
Mike Fr
y
si
n
ger
Ma
k
efile: impro
v
e flag hand
l
ing
commit
|
commitdiff
|
tree
2007-07-30
Josh
Triplett
Drop -fpi
c
; i
t
hurts performance
and
w
e don'
t
build
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-30
Josh
Triplett
A
dd some missing dependencies in t
h
e Makefile
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-30
Jo
s
h Trip
l
e
t
t
c
s
e: Si
z
e insn_hash_tab
l
e
more reali
s
tic
a
lly, speeding
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-30
J
o
sh Trip
l
ett
Makef
i
le: Use -O2 -finline-functions,
n
ot just -O
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-29
r
icknu-0@st
u
dent
.
.
.
t
o
kenize
.
c: Simpli
f
y
drop_str
e
am_eoln()
.
commit
|
commitdiff
|
tree
2007-07-29
Al Vi
r
o
[
P
A
T
CH] bra
i
no
i
n condi
t
i
o
na
l
_
expr
e
ssion()
commit
|
commitdiff
|
tree
2007-07-29
Al Viro
[PATCH] sa
n
er
-Wtype
s
ign
commit
|
commitdiff
|
tree
2007-07-29
A
l
Vir
o
[PATCH] sani
t
ize evaluate_posto
p
(
)
commit
|
commitdiff
|
tree
2007-07-29
Josh Tri
p
lett
Add test case fo
r
co
m
pari
n
g nu
l
l po
i
nter constant to
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-29
Al Viro
[
P
ATCH] fix evaluate_compare()
commit
|
commitdiff
|
tree
2007-07-29
Al Viro
[P
A
TCH] sanitize evaluate_ptr_add(), start checking
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
J
o
s
h Tri
p
lett
Remov
e
explicit rest
a
t
e
ments of d
e
f
a
ul
t
s in me
t
adata
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-29
Al Viro
[PATCH]
.
.
.
,array
s
hould degenerate
commit
|
commitdiff
|
tree
2007-07-29
Jos
h
Triplett
Remove exp
l
icit
restatements of defaults in metada
t
a
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-29
Al
Viro
[
P
ATCH] file and global scopes
are the same for
purposes
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Jo
s
h Triplett
R
e
move explicit restatements of defau
l
ts in meta
d
a
t
a
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-27
J
o
s
h
T
r
i
plett
va
l
idatio
n
/
b
uiltin
_
safe1
.
c
: S
h
o
w
th
e
unsafe m
a
cr
o
a
rgument
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-27
Josh Triplett
Add test
-
suite metadata to
label-a
t
tr
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-27
Josh
T
rip
l
ett
Tur
n
off -Wdo-whi
l
e by default
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-25
ricknu-0@st
u
den
t
.
.
.
expressio
n
.
c: Clean up match_oplis
t
() and
a
d
d
missin
g
.
.
.
commit
|
commitdiff
|
tree
2007-07-25
ri
c
knu-0
@
student
.
.
.
to
k
eniz
e
.
c: Replace ha
n
dwritte
n
strncmp with
e
xisting
.
.
.
commit
|
commitdiff
|
tree
2007-07-23
Josh Triplet
t
allo
c
ate
.
h: Stop needlessly returning
a void
value
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
Josh Triplett
Add test-suite metadata
to o
l
d-initializer
.
c; also
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
Josh Triplett
Makefil
e
: stop
clean
i
ng f
i
les we didn't
make a
n
d h
a
ve
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
Josh
T
ri
p
lett
Fix typos in t
e
s
t
-suite documentatio
n
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
Josh
T
riplett
Add t
e
s
t
-suite metadata to calling-convention-attributes
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
Josh Triple
t
t
Ad
d
test-suite
metadat
a
to esc
a
pe
s
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
J
o
sh
T
riplett
A
d
d t
e
st-suite metadata to context
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
Josh T
r
ip
l
e
t
t
A
d
d test-suite metadata to initializer-en
t
ry
-
defined
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
Josh Tripl
e
t
t
Add test-suite meta
d
a
ta to bad-
t
e
r
nary-cond
.
c
, and
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
Jo
s
h Tr
i
plett
Add tes
t
-suite metadata to bad-ca
s
t
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
Josh Trip
l
ett
Fix tes
t
-
s
uite to handl
e
stdout and s
t
der
r
separ
a
t
ely
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-14
Josh Triplett
Fix sparse
w
arnings i
n
c2xml: mark globals s
t
atic and
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-14
Josh
Tr
i
plett
F
i
x GCC warn
i
ngs in c2xm
l
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-14
Josh Triplett
expression
.
h nee
d
s lib
.
h
for
s
truc
t
position and symbol
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-14
Josh
T
r
i
p
l
e
tt
Split c2xml build rule i
n
to compile and link stages
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-14
A
l
Viro
[PATCH]
deal correctly with qualifiers on
arrays
commit
|
commitdiff
|
tree
2007-07-14
Al Vir
o
[PATCH] rewrite ty
p
e
_
difference()
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-14
A
l Viro
[
P
A
T
C
H] fix the sanity ch
e
ck
i
n
evalu
a
te_ptr_sub()
commit
|
commitdiff
|
tree
2007-07-14
Al
Viro
[PATCH] get comp
a
t
ible
_
a
s
s
i
gnment_type
s
() deal wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2007-07-14
A
l
V
i
ro
[PATCH]
s
tar
t
cleaning ty
p
e_difference()
commit
|
commitdiff
|
tree
2007-07-14
Al
Vi
r
o
[PATCH] int
e
ger_pr
o
motion
s
(
)
can't get SYM_
N
ODE
o
r
.
.
.
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[PATCH] clean up e
v
alu
a
t
e
_sign(
)
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[PATCH] san
e
r
s
h
ow
_
type()
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-14
Josh Triplett
Add c2xml
t
o
.
g
i
t
i
gnore
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-14
Rob Taylor
add c2xml program
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-13
Rob
T
aylor
new get_type_name
function
commit
|
commitdiff
|
tree
2007-07-13
R
o
b Taylor
add sparse_
k
eep_tokens
api to li
b
.
h
commit
|
commitdiff
|
tree
2007-07-13
Rob
Taylo
r
add end position to
s
ymbo
l
s
commit
|
commitdiff
|
tree
2007-07-10
A
l
Viro
fix handling of pointers in ?:
commit
|
commitdiff
|
tree
2007-07-10
A
l
V
i
r
o
fix handling of
addres
s
_space in casts a
n
d
assi
g
nments
commit
|
commitdiff
|
tree
2007-07-09
Al V
i
r
o
ma
k
e size_t
b
etter approximat
e
the reali
t
y
commit
|
commitdiff
|
tree
2007-07-09
Al Viro
first
pass
a
t n
u
l
l
p
ointer constants
commit
|
commitdiff
|
tree
2007-07-09
Al Vi
r
o
f
ix
the comma h
a
ndling in integer consta
n
t expr
e
ss
i
ons
commit
|
commitdiff
|
tree
2007-07-09
Josh Triplett
Add t
e
st-suite
comment to bad-arra
y
-designa
t
ed-initializer
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
Jo
s
h
Tri
p
lett
Remove "check-exit-val
u
e: 0" a
n
d rely on default; remove
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
Josh Triplett
Add test-suite comme
n
t to labe
l
-asm
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
Josh Tr
i
p
lett
Rename a
s
m
-
vol
a
t
i
le to better describe what it tests
commit
|
commitdiff
|
tree
2007-07-08
J
o
sh Tr
i
plett
Make
clean depend
on clean-check
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
Josh
Triplett
Add
test-sui
t
e comment to add
r
ess_space
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
J
osh T
r
ipl
e
tt
Ad
d
test-suite comme
n
t
t
o prepro
c
essor21
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
Josh Triple
t
t
M
ake prep
r
o
c
essor-
l
oop a normal n
u
mbered
p
reprocesso
r
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
Jos
h
T
r
iple
t
t
Add test-suite comm
e
nts to al
l
the
obvious p
r
eprocessor
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
Josh Triplett
vali
d
ation:
Up
d
ate
comments for current Sparse b
e
h
a
vi
o
r
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
Jos
h
Tri
p
l
ett
.
gitign
o
re: Sto
p
igno
r
ing all
dotfiles
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
Josh Triplett
Mov
e
test-su
i
te
output files to validation/
.
gitignore
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
D
a
mien Lespiau
Samp
l
e test
-
suite test cases
commit
|
commitdiff
|
tree
2007-07-08
Dam
i
e
n Lespiau
test-suite
d
o
c
umen
t
atio
n
commit
|
commitdiff
|
tree
2007-07-08
Da
m
ien Lespiau
test-suite: a tiny t
e
st auto
m
a
tion script
commit
|
commitdiff
|
tree
2007-06-28
Josh Tripl
e
tt
M
ove
a
ll the preprocess
o
r tests
into val
i
dation/prepr
o
ces
s
or/
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-06-28
Pavel Roskin
F
ix warnings about undeclared globals, they
a
re irrelevant
.
.
.
commit
|
commitdiff
|
tree
next