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
2007-09-15
Jos
h
Triplett
Makefil
e
: VE
R
SION=0
.
4
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Jo
s
h T
r
ipl
e
tt
Add SEE ALSO fo
r
c
gcc in sparse manp
a
ge
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh Triplett
A
d
d a
m
anpage for
cgcc
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
J
o
sh Triplett
A
d
d tes
t
-suite annotations to init-char-array
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Jos
h
Tri
p
lett
validat
i
on: Up
d
a
t
e comme
n
t in type1
.
c to
reflect current
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh Triplett
A
d
d test-suite annotations t
o
functio
n
-pointe
r
-modifi
e
r
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh Tri
p
lett
Ad
d
test-suite
annot
a
t
i
ons to con
d
_e
x
p
r
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh Triplett
A
d
d t
e
st-suite annotations to inte
g
er-pro
m
otions
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh Triplett
valid
a
tion:
R
ename t
y
peconver
t
.
c to integer-promo
t
ions
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Jos
h
Tripl
e
tt
README: re
c
ode
from ISO-8859
-
1
t
o
UTF
-
8
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
J
osh Triplett
FAQ:
P
oi
n
t to URL on vger for
subscript
i
on
i
n
struct
i
ons
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh Tripl
e
tt
Makefile: Use ?=
to allow overriding OS or AR on
t
he
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
J
o
s
h Triplett
Add
t
es
t
-suit
e
ann
o
ta
t
i
o
ns to
noderef
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh Tripl
e
tt
Add t
e
s
t-suite an
n
ota
t
io
n
s to struct-
n
s
1
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Jos
h
Trip
l
ett
Add test-su
i
te
annotation
s
to non-pointer-null
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh T
r
iplett
Add test
-
suite
ann
o
tatio
n
s
to struct-attribute-
p
lacement
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh Triplett
Add
test-
s
ui
t
e annotations to v
a
rar
g
s
1
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
J
o
s
h
Triplett
Add test
-
suite annotation
s
to
badty
p
e4
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
J
o
sh Triplett
Add test-s
u
it
e
an
n
o
t
ations to check_byte_count-ic
e
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh Tripl
e
tt
Add
t
est-suite annotations to double-
s
emicolon
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh Triplett
Add tes
t
-
s
uite anno
t
a
tions to re
s
trict
e
d-typeof
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-06
Josh Tr
i
p
le
t
t
Use -fno-s
t
ric
t
-aliasin
g
,
as the ptr
l
ist code
se
e
m
s
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-31
Jo
s
h Triplet
t
cgcc: Sparse accepts
-
Wundef
,
not -Wundefine
d
-p
r
eprocessor
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-31
Josh Triplett
Rename Wundefin
e
d_pre
p
r
ocesso
r
to Wun
d
ef
to match the
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-31
J
o
s
h
T
riplett
cgcc: Sp
a
rs
e
accepts -Wca
s
t-to-as, not -Wcast-to-addre
s
s
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-31
J
osh
Tr
i
plett
I
n
s
tall th
e
Spa
r
se man
p
age
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-31
Josh Tr
i
plett
Add a man
p
age fo
r
spar
s
e
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-31
Josh Triplet
t
Ren
a
me W
c
ast_to_address_s
p
ace to W
c
a
s
t_to_as to
m
atch
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-31
Josh Triplett
S
ort wa
r
ni
n
g opti
o
ns in l
i
b
.
c
a
nd li
b
.
h
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-30
Josh
T
r
iplett
Add te
s
t cas
e
for -Wtypesign
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-30
J
osh Tr
i
plett
is_zero_constant:
d
eclare saved const
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-23
Randy D
u
nlap
add __buil
t
in_labs()
commit
|
commitdiff
|
tree
2007-08-23
Yura Pakhuchiy
Make cgcc filter out all
sparse warning related options
commit
|
commitdiff
|
tree
2007-08-10
Ko
v
arththanan
Rajaratnam
libxml comp
i
l
e fix on Cyg
w
i
n
commit
|
commitdiff
|
tree
2007-08-07
J
osh Triplett
ct
a
gs:
H
andle
s
ome new
n
amespace
s
a
n
d
s
y
mbol typ
e
s
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-04
Mike F
r
ysinger
Makefile:
i
mprove flag handl
i
ng
commit
|
commitdiff
|
tree
2007-07-30
Josh Triplet
t
Drop -fpi
c
; it hurt
s
perf
o
rmance and we
d
on't build
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-30
J
o
sh Triplet
t
Add
some
mis
s
i
ng dependencies in the
M
ake
f
ile
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-30
Jos
h
Triplett
c
s
e
:
S
i
ze
ins
n
_h
a
sh_table more realistically,
s
peed
i
ng
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-30
Jo
s
h Tri
p
lett
M
a
kefile: Us
e
-
O2
-finline-
f
un
c
t
i
ons, not
ju
s
t -O
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-29
r
i
cknu-0@student
.
.
.
tokeniz
e
.
c:
S
implify
d
rop_s
t
ream_eoln()
.
commit
|
commitdiff
|
tree
2007-07-29
A
l V
i
ro
[PATCH] braino in
c
ond
i
tional_expression()
commit
|
commitdiff
|
tree
2007-07-29
Al Viro
[PAT
C
H] s
a
ner -W
t
y
pesign
commit
|
commitdiff
|
tree
2007-07-29
Al Viro
[
P
ATCH] sani
t
ize evalu
a
te
_
posto
p
()
commit
|
commitdiff
|
tree
2007-07-29
Jos
h
Tri
p
l
e
tt
Add t
e
s
t
case
f
o
r co
m
paring
null pointer co
n
stant to
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-29
A
l Viro
[
P
ATCH] fix e
v
aluate_compare()
commit
|
commitdiff
|
tree
2007-07-29
Al Viro
[
P
ATCH] sanitize eval
u
at
e
_ptr_add(), start c
h
ecking
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Josh Tri
p
lett
R
emov
e
ex
p
l
i
cit restatement
s
of d
e
faul
t
s
i
n metadata
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-29
Al Viro
[PATCH]
.
.
.
,
array should degenerate
commit
|
commitdiff
|
tree
2007-07-29
Josh Tri
p
lett
Remove expl
i
cit r
e
statem
e
nts
of d
e
fau
l
ts in
m
etadata
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-29
A
l
Viro
[PATCH] file and
g
lobal sco
p
e
s
are the same fo
r
pu
r
poses
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Josh Triplett
Remove explicit resta
t
e
m
ents of defaults in me
t
adata
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-27
Josh Trip
l
ett
validation/bui
l
tin_safe
1
.
c: Show the unsafe macro argu
m
ent
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-27
Josh
Triplett
Add test-
s
uite
metadata
to label
-
a
t
t
r
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-27
J
osh Triplett
Tur
n
off -
W
do-while by
default
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-25
ricknu-0@st
u
d
e
n
t
.
.
.
expression
.
c: Clean up match_o
p
lis
t
(
) an
d
add
missing
.
.
.
commit
|
commitdiff
|
tree
2007-07-25
ricknu
-
0@student
.
.
.
tokenize
.
c: Replace handwritten strnc
m
p
w
ith
existing
.
.
.
commit
|
commitdiff
|
tree
2007-07-23
Jo
s
h Triplett
al
l
o
cate
.
h: S
t
op n
e
ed
l
essly retu
r
ning a void value
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
Josh Triple
t
t
A
d
d test-suite metadata to old-initializer
.
c;
a
lso
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
Josh Triplett
Make
f
ile: stop clean
i
ng files
we didn't make and ha
v
e
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
J
osh Triplett
Fix typos in t
e
st-suite documen
t
ation
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
Josh Tri
p
lett
Add test-suite
met
a
d
ata to calling-con
v
ention-attributes
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
Josh Triplett
Ad
d
test-suite metadata to escapes
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
Josh Triple
t
t
Add test-suite
m
et
a
data to context
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
J
o
s
h Tripl
e
tt
Add
t
e
st-s
u
ite
m
etad
a
ta to initializer-entry-
d
ef
i
n
ed
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
Josh Trip
l
ett
Add test-suite m
e
tad
a
ta to
b
ad-ter
n
a
r
y-cond
.
c
,
and
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
Josh
T
rip
l
ett
Ad
d
test-suite metadata t
o
bad-cast
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
Josh
Triplet
t
F
i
x test-suite
to handle stdou
t
and
s
t
derr separate
l
y
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-14
J
osh Triplet
t
Fix sparse warnings
i
n
c2xml: mark globals static and
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-14
Josh
Triplett
Fix GC
C
warnings in c
2
x
ml
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-14
Josh Tr
i
plett
expressi
o
n
.
h needs lib
.
h fo
r
str
u
ct positi
o
n an
d
sym
b
ol
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-14
Josh Triplett
S
plit c2x
m
l build
r
ule i
n
to compile and link
stag
e
s
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[PA
T
CH]
d
eal corre
c
tly wit
h
q
ua
l
ifiers on array
s
commit
|
commitdiff
|
tree
2007-07-14
Al Vi
r
o
[
PATCH]
rewrit
e
type
_
d
ifference()
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[PATCH] fix
t
h
e
sanity check
in evaluate_ptr_sub()
commit
|
commitdiff
|
tree
2007-07-14
A
l Viro
[
PATCH] get compatible
_
assignment_types()
d
eal with
.
.
.
commit
|
commitdiff
|
tree
2007-07-14
Al
V
iro
[PATCH] star
t
cleaning type_di
f
ference()
commit
|
commitdiff
|
tree
2007-07-14
Al Vi
r
o
[PATCH] in
t
eger_pro
m
oti
o
n
s() can't get SYM_NODE or
.
.
.
commit
|
commitdiff
|
tree
2007-07-14
Al
V
iro
[PATCH] cl
e
an
up evaluate
_
sign()
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[PATCH] saner show_ty
p
e()
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-14
Josh Triplett
Add c
2
x
ml
t
o
.
gitignore
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-14
Rob Taylor
add c2
x
ml program
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-13
Rob Taylor
new get_
t
ype_nam
e
function
commit
|
commitdiff
|
tree
2007-07-13
Rob Taylor
ad
d
sparse_k
e
ep_t
o
kens api to
lib
.
h
commit
|
commitdiff
|
tree
2007-07-13
R
o
b Taylor
a
dd end posi
t
ion to
symbo
l
s
commit
|
commitdiff
|
tree
2007-07-10
Al Viro
fix handl
i
n
g of po
i
nters in ?:
commit
|
commitdiff
|
tree
2007-07-10
A
l
Viro
fix handling
of
address_space
i
n casts and
a
ssignm
e
nts
commit
|
commitdiff
|
tree
2007-07-09
Al
V
iro
make
s
ize_t better approximate
t
he re
a
lity
commit
|
commitdiff
|
tree
2007-07-09
A
l Viro
first pa
s
s
a
t
n
ull
pointer constants
commit
|
commitdiff
|
tree
2007-07-09
Al
V
i
ro
f
i
x the comma
h
a
ndling in
i
n
t
eger
c
onstant
e
xpressions
commit
|
commitdiff
|
tree
2007-07-09
Josh Triplett
A
dd test-suite co
m
ment to bad-arra
y
-
designated-i
n
it
i
aliz
e
r
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
Josh Triplett
Remove "ch
e
ck-
e
xit-value: 0" and re
l
y on default
;
remove
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
Josh
Tr
i
p
let
t
Add test-su
i
te comment
t
o
label-asm
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
Jos
h
Triplett
Rename asm-volatile to better describe what it tests
commit
|
commitdiff
|
tree
2007-07-08
Josh Triplett
Make clean depen
d
on clean-check
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
Josh Triple
t
t
Add te
s
t-suite c
o
mme
n
t to address
_
space
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
J
osh Triplett
Add test-suite
comme
n
t to
p
reproce
s
sor21
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
Josh Triplett
Make preproces
s
or-loop a
normal numbered
p
reprocessor
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
J
o
sh
Triplett
Add te
s
t-s
u
ite co
m
ments to all
the obvio
u
s preprocessor
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
Jo
s
h
Tripl
e
t
t
v
alida
t
ion: Update c
o
m
men
t
s
for current Sparse behav
i
or
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
next