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-07-29
A
l
Viro
[PATCH] b
r
ai
n
o in cond
i
tional_expr
e
ssio
n
()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-29
Al Viro
[PATC
H
] saner -Wtypesign
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-29
Al Vir
o
[
PA
T
CH] sanitize e
v
aluate_
p
osto
p
()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-29
Al Viro
[PATCH
]
fix eval
u
ate_compare()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-29
Al Vi
r
o
[
P
A
TCH
]
saniti
z
e e
v
a
luate_ptr_add(
)
,
start checking
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-29
Al
V
iro
[PATCH]
.
.
.
,array
s
hou
l
d dege
n
erate
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-29
Al Viro
[PATCH] file and g
l
obal scope
s
a
re t
h
e same for purposes
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-28
A
l Viro
[PATCH]
h
and
l
ing of
t
ypeof in evaluate_member
_
dereference()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-28
Al
Viro
[P
A
TC
H
] new helper: unfou
l
()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-28
Al Viro
[P
A
TCH] no s
u
c
h
thin
g
as a
r
ray of fu
n
ction
s
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-28
Al Viro
[
PATCH]
a
d
d
__b
u
iltin_strlen()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
Al
Vir
o
[P
A
TCH] d
e
al correc
t
ly with qualifiers
o
n arrays
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
A
l Viro
[PATC
H
] rewrite
t
ype_di
f
ference()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
Al Vi
r
o
[PA
T
CH] fix t
h
e sanit
y
check i
n
evalu
a
te_
p
tr_sub()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
A
l Viro
[PATCH] ge
t
compatible_assignment_
t
y
p
es()
dea
l
w
i
th
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[PATCH]
start cleaning t
y
pe_
d
ifferenc
e
(
)
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
Al Vi
r
o
[
P
AT
C
H] integer_promotions() can't get SYM
_
NODE or
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[
PATCH] cl
e
a
n up evaluat
e
_
s
i
gn()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[
P
ATCH] sa
n
er show_type()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-10
Al Viro
fix handling of
p
o
inte
r
s in
?:
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-10
Al Viro
fix han
d
l
i
ng of address_spac
e
in casts
a
nd a
s
sign
m
ents
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-09
Al Viro
mak
e
s
ize_t bett
e
r appro
x
ima
t
e the reality
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-09
Al
Viro
first pas
s
at null
pointer constants
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-09
Al Viro
fix the comma handl
i
n
g
in integer c
o
nsta
n
t expressions
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-26
Al Viro
[PATCH] fix handling of integer constant expressions
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-26
A
l
Viro
[PATCH
]
i
mplement __bui
l
tin_of
f
setof(
)
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al
V
iro
[PATCH] deal with
e
num mem
b
ers witho
u
t excessive PI
T
A
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
A
l Viro
[PATCH] warn on return <
v
oid expression>;
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
A
l
Viro
[PATC
H
] in case
of co
m
pound lite
r
al w
e
wa
n
t to delay
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PATCH] move
d
e
gener
a
te() down int
o
compatible_assignment_ty
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PATCH]
f
ix
d
e
fau
l
t argument
p
romotion
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
A
l
Vi
r
o
[PATCH] fix index con
v
e
r
si
o
ns
in ev
a
l
uate_ptr
_
add()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al
V
iro
[PAT
C
H] clean up
u
sual_conversions(), kill eval
u
a
te_shift
(
)
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al V
i
ro
[
PATCH] cle
a
n up the
t
ypeche
c
king in ari
t
h
metics
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al
Viro
[PAT
C
H] clean
u
p of eval
u
a
t
e_assign_op()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[
P
A
T
CH
]
r
emove useless argume
n
t in evaluate_pt
r
_sub()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al V
i
r
o
[PATCH] remov
e
lo
n
g-
d
ead
v
a
r
i
a
b
le in evaluate_ptr_add()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[
P
ATCH] null p
o
i
nter constant
s
hav
e
no speci
a
l
meaning
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PATC
H
] mech
a
ni
c
ally split
compatible_assignment
_
typ
e
s()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PATCH]
take cast_to() out of usual_co
n
versions(
)
,
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PATCH] missing N
U
LL
checks in
initializer
h
an
d
ling
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-18
Al Viro
[
PA
T
C
H] fix ha
n
d
ling o
f
typeof
o
n struc
t
s
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-18
A
l
Viro
[PATC
H
]
r
ewrite of initi
a
lizer handling
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-18
Al
Viro
[PATCH] tie the fields of struct in
s
i
m
ple lis
t
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-18
A
l Viro
[PATCH
]
mak
e
copying of E
X
PR_INDEX non-lazy
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
A
l
Vi
r
o
b
e
t
t
e
r recovery from b
a
d operat
i
ons on
b
itwise
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
A
l
Viro
f
i
x
interaction of
type
o
f with bitwi
s
e
typ
e
s
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
Al Viro
f
i
x al
i
gnment for _B
o
ol
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
A
l
Viro
chec
k
fo
r
whites
p
ace before o
b
je
c
t-lik
e
m
a
cro body
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
A
l Viro
s
aner report
i
ng o
f
ove
r
laps
i
n
ini
t
ializers
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
A
l
Viro
handle __a
l
ignof as equi
v
alent of
_
_alignof__
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-10-24
Al Viro
switch t
o
hash-based
g
et_on
e
_special()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-10-24
Al Viro
add
e
d
a
b
u
nch
of gcc builtins
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-10-01
Al
Vi
r
o
[PA
T
CH] handle foule
d
-bitwise
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-10-01
Al Viro
[PATCH
]
saner recovery from endiannes
s
err
o
rs, part 1
.
commit
|
commitdiff
|
tree
2006-10-01
Al Viro
[PATCH
]
mer
g
ed co
m
patible_
.
.
.
_binop() int
o
s
i
ngle func
t
ion
commit
|
commitdiff
|
tree
2006-10-01
Al Vi
r
o
[PA
T
C
H]
be
g
inning of SYM_RESTRICT rewrite: restricted_binop_
.
.
.
commit
|
commitdiff
|
tree
2006-10-01
A
l
Viro
[PATCH] ev
a
luate_comp
a
re() c
a
n jus
t
u
s
e
e
valuate_arit
h
.
.
.
commit
|
commitdiff
|
tree
2006-10-01
A
l
Viro
[PATCH] i
n
troduce classif
y
_type(
)
,
use it in ob
v
iou
s
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-10-01
Al Viro
[PATCH] cas
t
i
ng
n
ull po
i
nter consta
n
t to non-zero addre
s
s
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-09-30
A
l
Viro
[PATCH]
a
d
d support
f
or __builtin_cho
o
se_expr()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-09-30
Al
V
i
r
o
[
P
AT
C
H] fix dupl
i
ca
t
e i
n
itializer detecti
o
n
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-09-30
A
l
Viro
[
PATCH]
f
ix for switch(bad_type) {
.
.
.
} segf
a
ult
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-05-09
Al Viro
[PATCH]
count_array
_
i
ni
t
ializer() needs to know the
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[
PATCH]
elimi
n
ate
e
lif_ignore, fix handling of unterminated #if
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[PATCH]
l
ookup_ma
c
ro() shoul
d
be static
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al
V
iro
[PATCH] check for !token in handle_preprocessor_
l
ine
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[PATCH] Doh
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al V
i
r
o
[
PATCH] fixed stream->protect
h
andling
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[PATCH] fix
e
d han
d
ling of out-of-place #elif/#else
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[
P
A
TCH] begi
n
ning of #include protection rewr
i
te: clean
u
p
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
A
l Vi
r
o
[PATCH] fix p
l
a
c
es that didn't free prepr
o
cessor line
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Vir
o
[PATCH] taking f
r
ee_p
r
epr
o
ces
s
or
_
l
in
e
(
)
t
o
caller o
f
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Vi
r
o
[PATC
H
] remove bogus d
o
uble wa
r
ning o
n
#de
f
ine/#undef
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Vir
o
[PATCH]
s
a
n
er
h
andling
o
f #i
f
[n]def syntax errors
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
A
l Viro
[
PATC
H
]
remove true_nes
t
ing, turn if_nesting into a
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-26
Al Viro
[PATCH] Made __GNUC__ et
.
a
l
.
weak defines, so that
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-23
Al Viro
[P
A
T
CH] noderef is a qualifier
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-23
Al Viro
[PATC
H
]
s
hut up t
h
e bogus war
n
ings about the
#
if'ed
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-23
Al Vir
o
[PAT
C
H
] no ne
e
d to special-ca
s
e comma after ##
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-22
Al Viro
[PATCH]
f
i
x
of compound liter
a
ls on
i
n
l
ining
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-22
A
l Viro
[PATCH] f
i
x treatment of EXPR_COMM
A
by
show_expression
(
)
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-22
Al Viro
[P
A
TCH] new
f
lag - Wo
n
e
-
b
i
t-s
i
gned-bitfield
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-22
A
l Viro
[
P
ATCH] new flag - -Wdecl
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-22
A
l Viro
[PATCH] missi
n
g
builti
n
- memcm
p
()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree