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 Tr
i
p
l
et
t
Add test-
s
uite annotations
to
n
on-pointer-
n
ull
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
J
o
sh Triplet
t
Add tes
t
-suite
a
nn
o
t
a
t
i
o
n
s to
s
t
r
uc
t
-attribu
t
e-plac
e
m
ent
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh Trip
l
e
t
t
Ad
d
te
s
t-suite anno
t
ations to varargs1
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Jos
h
T
r
iplett
Add test-suite
anno
t
ations to
bad
t
y
p
e4
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh T
r
iplett
Ad
d
test-
s
uite annotations to c
h
eck
_
byte_count-ic
e
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh Triplett
A
dd
te
s
t-suite annotati
o
ns to double-semicolon
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
J
o
sh Triplett
Add test-suite annota
t
ion
s
to
r
estr
i
cted-typeof
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-06
Josh Tripl
e
tt
Use
-fno-strict-aliasing, as
t
he ptr
l
ist cod
e
seem
s
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-31
J
o
sh Tri
p
l
e
t
t
cgcc:
Spars
e
accepts -Wundef,
no
t
-W
u
ndefined-preprocesso
r
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-31
Josh
Tri
p
lett
Rena
m
e Wundefined_preprocessor to
W
und
e
f
to match the
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-31
J
osh
T
r
iplett
cgcc: Sparse accept
s
-Wcast-to-as, not -
W
cas
t
-to-add
r
ess
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-31
J
o
sh Triplett
I
ns
t
all the Sparse m
a
npage
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-31
J
osh Tr
i
p
lett
Add a
m
anpage for sparse
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-31
Jo
s
h Triplett
Renam
e
Wcast_to_addre
s
s_space
to Wcast_
t
o_as
to m
a
tch
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-31
J
osh
T
r
i
p
lett
S
ort warning opt
i
ons in lib
.
c and lib
.
h
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-30
Josh
Tr
i
plett
Ad
d
test
c
ase for -Wtypes
i
gn
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-30
Josh Triplett
is_zero_cons
t
an
t
: decl
a
r
e saved const
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-23
Randy
D
unlap
a
dd
__b
u
iltin
_
labs()
commit
|
commitdiff
|
tree
2007-08-23
Yu
r
a Pakhuchiy
Mak
e
cgcc filter
o
u
t
all sparse w
a
rning r
e
la
t
ed options
commit
|
commitdiff
|
tree
2007-08-10
Kovarththanan Rajara
t
nam
libxml compile fix on Cygwin
commit
|
commitdiff
|
tree
2007-08-07
Jos
h
Tripl
e
tt
ctags: Hand
l
e some new n
a
mespaces and symbol t
y
pes
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-04
Mike F
r
ysinge
r
Ma
k
e
file
:
im
p
rove flag handling
commit
|
commitdiff
|
tree
2007-07-30
Josh Triplett
Dr
o
p -
f
p
i
c;
i
t hurts p
e
r
f
o
rmance and we
don't build
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-30
Josh Tripl
e
t
t
Ad
d
some missing depe
n
den
c
ies
i
n the Makefil
e
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-30
J
o
sh Triplett
cse: Size
i
nsn_has
h
_table
m
ore realistically, speeding
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-30
Jo
s
h
T
r
ip
l
ett
Mak
e
file: Use -O2 -f
i
nline-
f
u
n
ctions,
n
ot just -O
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-29
ricknu-0@student
.
.
.
to
k
eni
z
e
.
c
:
Si
m
plify drop_
s
t
r
eam_eoln()
.
commit
|
commitdiff
|
tree
2007-07-29
Al Viro
[PATCH] brai
n
o in conditi
o
n
al_expr
e
ssion()
commit
|
commitdiff
|
tree
2007-07-29
Al Vir
o
[PATCH
]
saner -Wtypesign
commit
|
commitdiff
|
tree
2007-07-29
Al Viro
[PAT
C
H
]
s
a
nitize ev
a
luate
_
postop()
commit
|
commitdiff
|
tree
2007-07-29
Josh Triple
t
t
Ad
d
test
case for comparing null pointer c
o
ns
t
ant
t
o
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-29
Al
V
iro
[PATCH] fix
e
v
a
l
uate_compa
r
e()
commit
|
commitdiff
|
tree
2007-07-29
Al Vi
r
o
[PATCH]
s
ani
t
ize evaluate_ptr_add(), start ch
e
cking
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
J
o
sh Triple
t
t
Remove e
x
plicit restat
e
ment
s
of defaults in metadata
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-29
Al
V
i
r
o
[
P
AT
C
H]
.
.
.
,a
r
r
a
y s
h
ould d
e
g
ener
a
te
commit
|
commitdiff
|
tree
2007-07-29
Josh Tr
i
p
l
ett
Remove e
x
plicit restatements of
d
efault
s
in metad
a
ta
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-29
Al V
i
ro
[PATCH] file and global scopes
a
r
e the sam
e
for purposes
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
J
o
s
h
Tripl
e
tt
Remov
e
e
xplicit restat
e
ments of
default
s
in
m
etadat
a
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-27
J
osh Triple
t
t
vali
d
ation/builtin
_
safe1
.
c: Show the unsafe macro
argument
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-27
Josh T
r
iplet
t
Add test-sui
t
e metada
t
a to
l
abe
l
-a
t
tr
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-27
Josh Triplett
Turn off -Wd
o
-while by defau
l
t
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-25
ricknu-0@stud
e
nt
.
.
.
ex
p
r
e
ssion
.
c: Clean up match_
o
p
l
i
s
t() and a
d
d missing
.
.
.
commit
|
commitdiff
|
tree
2007-07-25
ricknu-0@student
.
.
.
tok
e
nize
.
c: Replace
han
d
wri
t
ten strncmp with existing
.
.
.
commit
|
commitdiff
|
tree
2007-07-23
Josh Tr
i
plett
al
l
ocate
.
h
:
Stop ne
e
dlessly return
i
ng a v
o
id value
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
J
osh T
r
iplet
t
Add test-s
u
ite metad
a
ta t
o
old-
i
n
iti
a
liz
e
r
.
c; also
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
Josh
T
riplett
Makefile: stop
c
l
eaning files w
e
didn't make and have
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
Jo
s
h T
r
iplett
Fix typos in t
e
st-su
i
te doc
u
m
entation
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
Josh Tri
p
lett
Ad
d
test-suite metada
t
a to ca
l
ling
-
con
v
ention-attribut
e
s
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
Josh Tr
i
plett
A
d
d test-su
i
te metada
t
a to
e
scapes
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
J
os
h
T
riplett
Add test-suite m
e
tada
t
a to context
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
Jo
s
h
Triplett
Add test
-
suite metadata
to initial
i
zer-entry-defined
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
J
osh T
r
iplett
Add te
s
t-suite m
e
tadata to bad-ternary-cond
.
c, and
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
Josh Triplett
Add test
-
su
i
te metadat
a
to b
a
d-c
a
st
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
J
o
sh Triplet
t
Fix t
e
st-s
u
ite to handl
e
std
o
ut and
s
td
e
rr separately
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-14
Josh Triplett
Fix
s
parse warn
i
ngs
i
n
c
2xml
:
mark glo
b
als static and
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-14
Josh Triplett
Fix GCC warnings in c2xml
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-14
J
o
s
h Triplett
expres
s
io
n
.
h needs
lib
.
h for struct position and symbol
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-14
J
o
sh Triplett
Split
c2xml build rule into compile and
link stages
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-14
Al V
i
ro
[PATCH] deal
c
orrectly with qualifiers on arrays
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[
PATCH]
r
ewrite type_
d
iffe
r
ence()
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-14
Al
Viro
[PAT
C
H] fix the sanity check in evaluate_ptr
_
s
u
b
(
)
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[
P
A
T
CH] get compat
i
b
l
e_assignment_
t
ypes() deal with
.
.
.
commit
|
commitdiff
|
tree
2007-07-14
A
l
V
i
ro
[PATCH] start cleaning type_differenc
e
()
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[P
A
T
C
H
] int
e
ger_promotions() can't
g
et
S
Y
M_NODE or
.
.
.
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[P
A
TCH] clean up ev
a
l
u
ate
_
sign()
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[PA
T
CH] s
a
ner show_type()
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-14
Josh Triplett
A
dd
c2xml to
.
gitignore
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-14
Rob Taylor
add
c
2xml program
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-13
Rob Taylor
ne
w
get_type_name f
u
nction
commit
|
commitdiff
|
tree
2007-07-13
Rob T
a
yl
o
r
add sparse_keep_tokens api to lib
.
h
commit
|
commitdiff
|
tree
2007-07-13
Rob Taylor
ad
d
end
p
osition to s
y
mbols
commit
|
commitdiff
|
tree
2007-07-10
A
l Viro
fix handl
i
ng of po
i
nters
i
n ?:
commit
|
commitdiff
|
tree
2007-07-10
Al Viro
f
ix handl
i
ng of a
d
dress_space in casts a
n
d as
s
ignm
e
nts
commit
|
commitdiff
|
tree
2007-07-09
Al
Viro
ma
k
e size_t
b
etter app
r
oxim
a
te the reality
commit
|
commitdiff
|
tree
2007-07-09
Al
Viro
first pass at n
u
ll po
i
nter consta
n
t
s
commit
|
commitdiff
|
tree
2007-07-09
Al Vir
o
fix
the comma handling
i
n
integer co
n
stant expre
s
sions
commit
|
commitdiff
|
tree
2007-07-09
Jo
s
h Triplett
Add
test-s
u
ite comment to ba
d
-
array-designated-initiali
z
er
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
J
osh Triplett
Remove "check-exit-value: 0" and r
e
l
y
o
n default; remo
v
e
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
Josh
T
riplett
Add test-suite comm
e
nt to label-asm
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
J
o
sh Triplett
Re
n
ame asm-volatile to be
t
ter descr
i
be what it tests
commit
|
commitdiff
|
tree
2007-07-08
Josh Trip
l
ett
Make cl
e
an
d
e
pend on clean-ch
e
ck
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
J
osh Triplett
Add
test-suite comment t
o
addr
e
ss_space
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
Josh Triplett
Add te
s
t-sui
t
e c
o
m
m
e
n
t to preprocessor21
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
Josh
Triplett
Make preprocessor-loop
a
normal numbered p
r
ep
r
ocessor
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
J
o
sh Triplett
Add test-suite commen
t
s to all
t
he obvio
u
s
pre
p
rocessor
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
Josh Triple
t
t
va
l
id
a
tion: Up
d
ate comments
f
o
r
current Spa
r
se behavior
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
J
o
s
h Tripl
e
tt
.
g
itigno
r
e: Stop ignori
n
g all dotfi
l
es
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
Josh
T
riplett
Move tes
t
-suite output fil
e
s to vali
d
ation/
.
gi
t
i
gno
r
e
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
Damie
n
L
e
s
p
iau
Sample test-suite tes
t
cases
commit
|
commitdiff
|
tree
2007-07-08
Damien Lesp
i
au
test-suite
d
o
cumentat
i
on
commit
|
commitdiff
|
tree
2007-07-08
Damien Lespi
a
u
te
s
t
-suite: a ti
n
y test automation
s
cri
p
t
commit
|
commitdiff
|
tree
2007-06-28
Jo
s
h Tri
p
lett
M
o
v
e
all the preprocessor tests
i
nto validation/preproc
e
sso
r
/
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-06-28
Pave
l
R
o
s
kin
Fix warnin
g
s
a
bout und
e
clared
globa
l
s, they are
i
rrelevant
.
.
.
commit
|
commitdiff
|
tree
2007-06-28
Pave
l
Ros
k
in
A
v
o
id use of
l
ibc headers in the v
a
lidation suite
commit
|
commitdiff
|
tree
2007-06-28
Pav
e
l Roskin
cgcc: preserve sparse
e
xit code if -
n
o-com
p
ile
is used
commit
|
commitdiff
|
tree
2007-06-28
Pavel Rosk
i
n
Bit
f
i
eld without explicit sign should be a warning
.
.
.
commit
|
commitdiff
|
tree
2007-06-26
J
osh Triplet
t
Merge co
m
mi
t
'v
i
ro/integer-constan
t
'
commit
|
commitdiff
|
tree
2007-06-26
Josh Triplett
validat
i
on/n
o
n-
p
ointer-null
.
c: Make global
st
a
tic to
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-06-26
J
o
sh Triplett
vali
d
ation/e
s
cap
e
s
.
c: Ma
k
e
g
lobals static
t
o avoi
d
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-06-26
Josh Triplett
validation/restricted-typeof
.
c
: Make
globals static
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
next