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 T
r
iplett
Make
f
ile:
V
ERSION=0
.
4
.
1
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-11-13
J
o
sh Triplett
Add know
n
-
to-fail t
e
st
case for a static forwa
r
d declarat
i
on
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-10-21
Josh T
r
iplett
Add test-suite met
a
d
a
ta to val
i
dation/local-
l
abel
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-10-10
Josh T
r
iplett
Add co
m
ment
on taint fl
a
gs en
u
m refer
e
nci
n
g expr->taint
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh Trip
l
e
t
t
Makefile
:
VERSION=0
.
4
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Jo
s
h Triplet
t
Add SEE ALSO for cgcc in sp
a
r
s
e manpa
g
e
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh Tr
i
plett
Add
a
manpa
g
e for cgcc
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh Tr
i
plett
Add test-s
u
ite annotations t
o
init-char-array
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh Trip
l
ett
validati
o
n: Update commen
t
in type1
.
c to reflect curr
e
n
t
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
J
o
sh Triplett
Add test-s
u
ite anno
t
ations to function-pointer-
m
o
d
ifi
e
r
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh Trip
l
ett
Ad
d
t
e
st-suite annotati
o
ns
to cond_expr
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh Triplett
Add t
e
st-suite annot
a
tions t
o
integer
-
pr
o
mo
t
ions
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Jo
s
h Triplett
v
alid
a
tion: Rename
t
ypeco
n
vert
.
c to integer-prom
o
tions
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
J
o
sh T
r
i
plett
README: r
e
code from I
S
O-8859-1 to UTF-8
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh
Triplett
FAQ:
P
oi
n
t to URL o
n
v
g
er for subscription
i
nstru
c
tion
s
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh Trip
l
e
tt
Makefile:
U
se ?= to allow overridi
n
g OS or AR
o
n the
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh Trip
l
ett
Add test-suite annotati
o
n
s
to noderef
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh Triplett
Add t
e
st-suite annotations to struct-ns1
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh
Triplett
Add
t
est-suite an
n
o
tations to no
n
-poi
n
ter-null
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh Triplet
t
A
dd test-suite an
n
otations
t
o
s
t
r
uct
-
a
t
tribute-placement
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh Tri
p
lett
A
d
d test-s
u
ite an
n
otations
to varargs1
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
J
o
s
h Triplett
Add test-suit
e
a
nnotations to badtype4
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh Triplett
Ad
d
t
e
st-suite annota
t
i
o
ns to
c
heck_byt
e
_
cou
n
t-i
c
e
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Jo
s
h Triplett
Add test-
s
uite annotat
i
o
ns
to
double-semicolon
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-15
Josh Trip
l
ett
Ad
d
t
est-suite ann
o
tation
s
to restricted-typeo
f
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-09-06
Josh Triplett
U
s
e -fno-strict-alia
s
ing, as the ptr
l
i
st c
o
de seems
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-31
Josh
Triplett
cgcc: Sp
a
rse accepts -Wundef,
not -
W
undefined-preproce
s
sor
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-31
Josh Triplett
R
e
name
W
undefined_prep
r
ocessor to Wun
d
ef to
match the
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-31
Josh
Triplett
c
g
c
c: Sparse accepts -Wcast-to-as,
n
ot -
W
c
ast-to-
a
d
dress
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-31
J
o
sh T
r
iple
t
t
Insta
l
l
t
he Spars
e
manp
a
ge
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-31
Josh
Triplett
Add a m
a
np
a
ge for sparse
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-31
Jo
s
h Trip
l
ett
Re
n
ame
W
c
as
t
_to
_
address_space to
W
cast_to_as to
m
atch
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-31
Josh Triplett
Sort
w
a
r
ning opti
o
ns in lib
.
c and l
i
b
.
h
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-30
Jo
s
h
T
riplett
Ad
d
test c
a
se for -Wtypesign
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-30
Josh
T
riplett
is_zero_constant: decla
r
e saved const
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-08-07
Josh Triplett
c
t
a
g
s: Hand
l
e
some
ne
w
namespa
c
e
s and s
y
mbo
l
types
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-30
Josh Triple
t
t
D
r
op
-
fp
i
c; it h
u
rts p
e
rfor
m
a
nce and we don'
t
build
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-30
Josh
T
r
i
plett
Add some
m
is
s
ing dependen
c
ies in
t
h
e Make
f
ile
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-30
Jo
s
h T
r
i
p
le
t
t
cse: Siz
e
i
n
sn_hash_table more realist
i
c
ally, speed
i
n
g
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-30
Josh Tr
i
plett
Makefi
l
e: Use -O2 -finline-fu
n
ctions, not just -O
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-29
Josh Trip
l
e
tt
Add tes
t
c
a
se for comparing
n
u
l
l po
i
nter constant to
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-29
Josh
Triplett
Re
m
ove explicit restatement
s
of defa
u
lt
s
in metadata
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-29
Josh Triple
t
t
Remo
v
e
exp
l
icit re
s
tatements of defaults in
me
t
adata
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-29
Josh Triplett
Remove ex
p
licit restate
m
ents of defaults in metada
t
a
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-27
J
o
sh Trip
l
ett
validation/builtin_s
a
fe1
.
c: Show
t
h
e unsa
f
e macro argument
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-27
J
osh
T
ripl
e
tt
Ad
d
test
-
suite
metadata to label-attr
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-27
J
osh Triplett
Turn
o
ff -W
d
o-w
h
ile by default
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
Jo
s
h Triplett
allo
c
ate
.
h: Stop needlessly ret
u
rning a voi
d
value
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
Jos
h
Triplett
Add test-sui
t
e metadat
a
to
old-initial
i
zer
.
c;
also
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
J
o
sh Triple
t
t
Makefile
:
stop cl
e
aning files
w
e didn't ma
k
e and h
a
ve
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
J
osh Tr
i
plett
Fix
typos in test-suite documen
t
ation
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
Josh
T
r
iplett
A
d
d
test-suit
e
me
t
ad
a
ta to
c
alling-c
o
nvention-attributes
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
Josh
Triplett
Add test-suite metadat
a
to esc
a
pes
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
J
o
sh Triplett
Ad
d
test-s
u
ite me
t
adata to context
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
Jo
s
h Triplett
Add test-sui
t
e
m
etadata
t
o init
i
aliz
e
r-ent
r
y-d
e
fined
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
Jo
s
h Triplett
Add test-sui
t
e metada
t
a to bad-ternary
-
cond
.
c,
and
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
Josh Triplett
Add test-suite
m
etadat
a
to bad
-
c
a
s
t
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-23
Josh T
r
iplet
t
Fix test-
s
uite to
h
and
l
e std
o
u
t and stde
r
r sepa
r
ately
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-14
Josh Triplett
Fix
s
parse warnings in c2xm
l
: mark global
s
static
a
nd
.
.
.
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
Jos
h
Tr
i
plett
expression
.
h nee
d
s lib
.
h fo
r
struc
t
pos
i
ti
o
n
and
symbo
l
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-14
Jo
s
h Triple
t
t
Split c2
x
ml build rule int
o
com
p
ile and link stages
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-14
Josh Triplet
t
Add c2xml to
.
gitignore
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-09
Josh Tripl
e
tt
Add test-s
u
ite co
m
ment t
o
b
a
d-array-designated-initialize
r
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
Josh Triplett
Remov
e
"check-exit-value: 0
"
and rely
o
n de
f
ault
;
r
e
m
ove
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
Jos
h
Triplett
A
d
d test-suite c
o
mment t
o
la
b
el-asm
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
Josh
T
riplett
Renam
e
asm-volatil
e
to better desc
r
ibe
what i
t
t
e
s
ts
commit
|
commitdiff
|
tree
2007-07-08
Josh
T
riplet
t
Ma
k
e clean depend on clean-check
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
Josh T
r
i
plett
Add t
e
st-suite comment to add
r
ess
_
s
p
ace
.
c
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
Josh Triplett
Add test-s
u
it
e
comment to preprocessor21
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
Jos
h
Trip
l
ett
Make preproces
s
or-loop
a
normal numbered preproce
s
sor
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
Josh
T
riplett
Add test-suite
commen
t
s to
a
ll the obvious preprocess
o
r
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
J
osh Triplett
v
alidation: Up
d
at
e
comments for
current Spars
e
behavior
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
Josh Triple
t
t
.
giti
g
n
ore: Stop ignoring all
d
otfiles
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-07-08
Josh
T
riplett
Move test-suite output fi
l
es
t
o valid
a
tion/
.
g
itignore
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-06-28
Josh Triplett
Move
all
t
h
e preproces
s
or te
s
ts i
n
to
va
l
idatio
n
/prepr
o
cessor/
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-06-26
Josh Triplett
Merge
c
o
m
mit 'viro/integer-constant'
commit
|
commitdiff
|
tree
2007-06-26
Josh Tr
i
p
lett
validat
i
o
n/n
o
n-pointer-null
.
c:
M
ake global
s
tatic
t
o
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-06-26
J
osh Triplett
v
a
lidation/escapes
.
c: Make globals
static to avoid
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-06-26
Josh Triplett
val
i
dation/restricted-typeof
.
c: Make globa
l
s static
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-06-26
Josh
T
riple
t
t
validation/ol
d
-initializer
.
c: Make the_s stat
i
c
t
o
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-06-24
Josh Tri
p
lett
ctags: Use const as a
p
propriate in
cmp_
s
y
m
()
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-06-13
Josh Triplett
Tur
n
on -Wdecl by
default
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-06-03
J
osh Triplett
A
dd tes
t
case for i
n
finite loop in free_preprocessor_li
n
e()
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-06-01
Josh T
r
iplett
Makefile prettyprinting: make INSTALL and
other output
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-06-01
J
o
sh Tripl
e
tt
Change "
L
D" t
o
"LINK" in Make
f
i
l
e prettyprinting
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-05-23
Josh T
r
iplett
Canonical
i
ze UR
L
i
n FAQ
:
a
d
d www
.
,
add tr
a
il
i
ng slash
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-05-23
Jo
s
h
T
riplett
F
ix old
ty
p
o: s/
w
ierd/we
i
rd/
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-05-23
J
osh
T
riplett
Sparse a
l
ways defines __STDC_
_
1, so cgcc does not
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-05-23
Josh Triplett
Add e
x
planato
r
y com
m
e
n
t abou
t
di
r
ect
u
se o
f
__IDEN
T
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-05-23
J
o
sh Triple
t
t
Add
n
o-dou
b
le
-
undersc
o
re varian
t
format_arg
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-05-23
Josh Triplett
Add
doub
l
e-underscore vari
a
nt __sysc
a
ll_linkage__
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-05-23
Josh
Triplett
Add no-double-underscore variant "used",
ignored like
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-05-23
J
o
sh Triplett
Add
double-underscore variant __noinl
i
n
e
__
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-05-23
J
o
sh
T
riplett
Add double-un
d
er
s
core
v
ariant __always_inline__
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-05-23
Jos
h
T
r
iple
t
t
Reor
g
anize attrib
u
te li
s
t for readabil
i
ty
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-05-23
J
osh Triplett
M
o
ve
th
e
i
dent
f
or defined() into the
p
reproce
s
sor
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-05-23
Josh
T
riple
t
t
Remove inaccurat
e
co
m
m
e
n
t designating some
attributes
.
.
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-05-23
Josh Tr
i
ple
t
t
Ignore the GCC
construct
o
r and dest
r
uctor at
t
r
i
butes
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
2007-05-23
Josh Triplet
t
Add
__buil
t
in_strcat
a
nd __bui
l
tin_strncat
.
Signed-off-by: Josh Triplett <
josh@freedesktop.org
>
commit
|
commitdiff
|
tree
next