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
[PATCH] saner -Wtypesign
2007-07-29
Al Vir
o
[PATC
H
] saner -Wtypesign
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-29
Al Viro
[PATCH] sani
t
ize
evaluate_
p
o
s
top
(
)
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-29
A
l Viro
[PATCH] fix evaluate_c
o
mpare()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-29
Al Vir
o
[PATCH] sanitiz
e
evaluate_ptr
_
add(
)
, start ch
e
c
k
i
n
g
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-29
Al
V
iro
[PATC
H
]
.
.
.
,array should
d
e
g
e
n
erate
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-29
A
l Viro
[PATCH
]
f
i
le and
g
lobal sco
p
e
s
are
t
he s
a
m
e
for purposes
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-28
Al Viro
[PATCH
]
handl
i
ng of typeof in ev
a
l
u
ate_member_derefer
e
nce()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-28
Al Vir
o
[PATC
H
]
n
ew helper: unfoul()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-28
Al Viro
[P
A
T
C
H] no such thi
n
g as
array of functions
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-28
Al Viro
[PATCH] add
__buil
t
i
n
_strlen
(
)
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
Al
Vir
o
[PATCH] deal cor
r
ectly with
q
ua
l
if
i
er
s
on arra
y
s
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
A
l
Viro
[PAT
C
H] rewrite t
y
pe_difference()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[PA
T
CH] fix the san
i
ty chec
k
in eval
u
ate
_
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
compati
b
le
_
assignment_types() deal with
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
Al
Vir
o
[PATCH] start cleaning ty
p
e_difference()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
A
l
Vir
o
[
PATCH]
i
nteger_promotions() can't get
S
YM_NO
D
E or
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
Al
V
i
ro
[PATCH
]
clean up evaluat
e
_
sign()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
A
l
Viro
[PATC
H
] saner sh
o
w_ty
p
e()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-10
A
l Viro
f
ix handling of pointers in ?:
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-10
A
l
V
i
ro
fix
h
andling of add
r
ess
_
space in cas
t
s
and as
s
ignments
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-09
Al
Viro
make size_t better approximate the rea
l
ity
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-09
Al Vir
o
first pass at null pointer constants
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-09
Al
V
iro
fix the comma han
d
ling in integer constan
t
expressions
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-26
Al Vir
o
[P
A
TCH] fix handling of integer con
s
tant expressions
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-26
Al Viro
[PAT
C
H]
i
m
plement __
b
uilt
i
n_offset
o
f()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al
Viro
[PATCH] de
a
l with
e
num m
e
mb
e
rs
without
excessiv
e
PITA
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[P
A
TCH] warn on return <void
e
xpress
i
on
>
;
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PATCH] in c
a
se o
f
c
o
mpound
l
iteral we want to d
e
lay
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al V
i
ro
[PATCH] mo
v
e
degenerate() down into co
m
patible_assignment_ty
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[
P
ATCH] fix default
a
r
g
ume
n
t promotion
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al
Viro
[PATCH] fix index convers
i
ons
i
n evalu
a
te_p
t
r_ad
d
()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Vi
r
o
[P
A
TCH] clean up usu
a
l_conversions(), kill
evalu
a
te_shift(
)
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PATCH] clean up t
h
e t
y
p
e
checking in arit
h
metics
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al V
i
ro
[PATCH] cleanup of evaluate
_
as
s
ign_op()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al
V
iro
[PATCH
]
rem
o
ve usele
s
s ar
g
ument
i
n
ev
a
lu
a
te_p
t
r
_
s
u
b()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Vir
o
[PAT
C
H
]
remove long-dead variable in evaluate_ptr_add()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
A
l
V
iro
[PATCH] null pointer constants ha
v
e no
special meaning
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
A
l
V
iro
[PAT
C
H] mec
h
anically split c
o
mpatible_assignment
_
types()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[P
A
TCH] take c
a
st
_
to() ou
t
of
u
s
ual_
c
onversions(),
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PATC
H
]
m
i
ssing NU
L
L checks i
n
ini
t
ializer handling
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-18
Al Viro
[PATC
H
] fix ha
n
dling of typeof on
s
tructs
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-18
A
l Viro
[PATCH] rewrite of initializer handli
n
g
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-18
Al Viro
[PATCH]
t
i
e the
fields of struct
in simple list
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-18
Al Viro
[PATCH] make copying
o
f EXPR_INDEX non
-
lazy
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
Al Viro
b
ett
e
r r
e
covery f
r
om bad operations on bit
w
i
se
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
Al Viro
f
i
x interaction of typeof with bitwise t
y
pes
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
Al Viro
f
ix alignment for _Bool
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
Al Viro
check for w
h
itespace
befo
r
e
o
bject-
l
ike macro
b
ody
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
Al
V
i
ro
saner reporting
o
f
ove
r
laps in initiali
z
e
rs
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
A
l
V
iro
ha
n
dle
__alignof
as equivalent of __alignof__
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-10-24
A
l Viro
switch to hash-based get_one_special(
)
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-10-24
Al Viro
a
dded a bunch of g
c
c builti
n
s
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-10-01
Al Vi
r
o
[PA
T
CH]
h
andle f
o
uled-bi
t
wi
s
e
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-10-01
Al Viro
[
P
ATCH] saner
r
ecovery fro
m
endi
a
nness error
s
,
p
art 1
.
commit
|
commitdiff
|
tree
2006-10-01
Al Viro
[PATCH] m
e
rged compatible_
.
.
.
_
binop() in
t
o
s
i
n
gle function
commit
|
commitdiff
|
tree
2006-10-01
A
l
Viro
[PATCH
]
beginning o
f
SYM
_
RESTRI
C
T rewrite: restricted_binop_
.
.
.
commit
|
commitdiff
|
tree
2006-10-01
A
l
Viro
[PATCH] e
v
a
l
uate_compare
(
) can
just use eval
u
a
t
e_arith
.
.
.
commit
|
commitdiff
|
tree
2006-10-01
Al Viro
[PATCH
]
int
r
oduce cl
a
s
sify_ty
p
e(), u
s
e
it in o
b
v
i
o
u
s
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-10-01
Al Viro
[
P
A
TCH] cas
t
ing null
pointer constant to non-
z
ero
address
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-09-30
A
l Vir
o
[PATCH]
add supp
o
rt for __buil
t
in_choo
s
e_expr
(
)
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-09-30
A
l
Vi
r
o
[PATCH] fi
x
d
u
p
licate initializer detec
t
i
o
n
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-09-30
Al Viro
[PATCH] fix for switc
h
(b
a
d
_
t
ype) {
.
.
.
}
s
e
gfa
u
l
t
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-05-09
Al Viro
[PATCH] count_a
r
ray_initializer() needs to know the
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[PATCH] eliminate elif
_
ignore
,
fix
h
a
n
dling of
u
nt
e
rminated #if
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al
Viro
[PATCH] lookup_macro() should be stat
i
c
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al V
i
ro
[P
A
T
CH] chec
k
f
o
r !to
k
en
i
n ha
n
dle_
p
reprocessor_line
.
.
.
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 Viro
[PATCH] fixed
strea
m
->protect ha
n
dlin
g
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al V
i
ro
[PATCH]
f
ixed handling of
out-of-place #elif/#
e
lse
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
A
l
V
ir
o
[P
A
TCH] beginning of
#
include protection rewrite: cleanup
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[PAT
C
H
] fix plac
e
s that
didn
'
t free preprocessor l
i
ne
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al V
i
ro
[PATCH] taking free_pre
p
rocessor_li
n
e() to caller of
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Vir
o
[PATC
H
] r
e
move bogu
s
d
ouble
w
arning on #define/#undef
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al
Viro
[P
A
TC
H
] saner han
d
li
n
g of
#
if[n]
d
e
f syntax err
o
rs
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Vir
o
[PATCH] remove true_nesting
,
turn if_nestin
g
into a
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-26
Al Viro
[PATCH] Made
_
_GNUC__ e
t
.
al
.
weak
defines
,
so that
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-23
Al Vi
r
o
[PA
T
CH] noderef is a q
u
a
lifi
e
r
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-23
Al
Vi
r
o
[PA
T
C
H
]
s
hut up th
e
bo
g
us
warni
n
g
s
abo
u
t t
h
e
#
if'ed
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-23
Al Vi
r
o
[P
A
TC
H
] no need to
s
pe
c
i
al-case
c
omma after
##
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-22
Al
Viro
[P
A
TCH] fix
o
f compound literals
on inlini
n
g
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-22
A
l
Viro
[
PATCH] fix t
r
eatment of EXPR_COMM
A
by sho
w
_exp
r
ession
(
)
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-22
Al
V
i
ro
[PATCH] new
f
la
g
- Wone-bit-signed-bitfield
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-22
Al
V
iro
[PATCH
]
new fla
g
- -
W
dec
l
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-22
Al Viro
[PATCH] miss
i
ng built
i
n - m
e
m
c
m
p()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree