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 Viro
[PATCH] saner -Wtypes
i
gn
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2007-07-29
Al Viro
[P
A
TCH]
s
aniti
z
e evaluate_po
s
top()
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2007-07-29
Al V
i
ro
[PATC
H
] fix evaluate_c
o
mpar
e
(
)
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2007-07-29
Al
Vir
o
[PATCH] sanitize eval
u
ate_ptr
_
a
dd
(
), start che
c
king
.
.
.
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2007-07-29
Al Viro
[PATCH]
.
.
.
,
a
rray
should degenera
t
e
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2007-07-29
Al
Vi
r
o
[PATCH] file an
d
global scopes are the same for purp
o
ses
.
.
.
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2007-07-28
Al Vi
r
o
[PA
T
CH]
handling of typeof
i
n ev
a
luat
e
_member_
d
e
reference()
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2007-07-28
Al
Viro
[P
A
TCH
]
new
helper: unfoul()
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2007-07-28
Al Viro
[PATCH] no such thing as array
of
functions
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2007-07-28
Al
Viro
[
PATCH] add __
b
uiltin
_
strl
e
n(
)
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[PATCH] deal c
o
r
rectly with qual
i
fiers o
n
array
s
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[PATCH] re
w
r
ite ty
p
e_diffe
r
ence()
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[
P
AT
C
H] fix
t
he s
a
n
i
ty che
c
k
in evaluate_ptr_sub()
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2007-07-14
Al Vir
o
[PATCH]
g
et comp
a
tible_a
s
signment_ty
p
es() deal with
.
.
.
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2007-07-14
A
l
Viro
[PATC
H
] start clea
n
i
ng type_
d
ifference()
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[P
A
TCH] intege
r
_p
r
omotion
s
() can'
t
g
et SYM_NODE or
.
.
.
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2007-07-14
Al V
i
ro
[PATCH]
c
lea
n
up
evalua
t
e
_
sig
n
()
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[PATCH] saner
s
how_type()
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2007-07-09
Al Viro
make s
i
ze_t better approximate
t
h
e rea
l
ity
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2007-06-26
Al Viro
[PATCH] fix handlin
g
o
f
in
t
e
g
er consta
n
t expressions
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2007-06-26
A
l Viro
[P
A
TCH] imple
m
ent
_
_
b
uiltin_o
f
fseto
f
()
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2007-06-25
Al Vi
r
o
[PATCH] deal w
i
th
en
u
m memb
e
rs without e
x
cessive PITA
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[
P
ATCH] warn
o
n
r
eturn <
v
oid expres
s
ion>;
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2007-06-25
Al Vi
r
o
[PATCH] in c
a
s
e of comp
o
und literal
we
want t
o
delay
.
.
.
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[
PATCH] move degenerate() down into compatible_
a
ssignm
e
nt_ty
.
.
.
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2007-06-25
Al Vir
o
[PATCH
]
fix defau
l
t argu
m
en
t
promotion
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PATC
H
] fix
index conversions
i
n evaluate_ptr_add
(
)
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2007-06-25
A
l Viro
[PATCH]
clean up usual_c
o
nversions()
,
kill
e
v
a
luate_sh
i
ft()
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[
P
ATCH] clean up the typechecking in a
r
ithmetics
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PATCH] cleanup of ev
a
luate_assign_o
p
()
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2007-06-25
A
l
Vir
o
[PATCH] remove usel
e
ss argument
in evaluate_ptr_
s
ub
(
)
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[
P
ATCH] remove long-dea
d
va
r
iable
i
n
evaluate_ptr_add()
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PATCH] null po
i
nter
constan
t
s
h
ave no special mea
n
ing
.
.
.
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PATCH] mech
a
nic
a
ll
y
s
p
lit compatible_assignment_types()
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PATCH] take cast_to() o
u
t
of usu
a
l_conversi
o
ns()
,
.
.
.
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PATCH] missing NULL check
s
i
n
init
i
aliz
e
r h
a
n
d
ling
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2007-06-18
Al V
i
r
o
[PATCH] fix handling of typeof o
n
structs
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2007-06-18
Al
Viro
[
PATCH] re
w
r
ite of
initiali
z
er
handling
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2007-06-18
Al
Viro
[PAT
C
H] tie
t
he fields of
s
t
ruct
in simple list
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2007-06-18
Al V
i
ro
[PATC
H
] make cop
y
ing
of EXPR_INDEX non-laz
y
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2006-10-01
Al Viro
[PATCH]
h
andle fouled-bitwise
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2006-10-01
Al V
i
ro
[
P
ATCH] saner rec
o
very
from endianness errors, part 1
.
commit
|
commitdiff
|
tree
2006-10-01
Al
Viro
[PATCH] me
r
ged compatible_
.
.
.
_binop() into single f
u
nc
t
ion
commit
|
commitdiff
|
tree
2006-10-01
Al V
i
ro
[PATCH]
beginning of SYM
_
R
E
S
TRI
C
T re
w
rite:
r
estricted_binop
_
.
.
.
commit
|
commitdiff
|
tree
2006-10-01
Al Viro
[PATCH] evaluate
_
c
o
mpare() c
a
n just use evaluate_arith
.
.
.
commit
|
commitdiff
|
tree
2006-10-01
Al
V
iro
[PATCH] introdu
c
e cla
s
sify_type()
,
use it in obviou
s
.
.
.
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2006-10-01
Al
Viro
[PA
T
C
H] casting
n
ull pointe
r
constant to non-zero address
.
.
.
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2006-09-30
Al Viro
[
PATCH] ad
d
su
p
port f
o
r __builtin_choose_expr()
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2006-09-30
Al Vi
r
o
[PATCH] fix duplicate ini
t
ialize
r
detec
t
ion
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2006-09-30
Al
Viro
[PATCH] fix f
o
r switc
h
(bad_type) {
.
.
.
} se
g
f
a
u
lt
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2006-05-09
Al Viro
[PA
T
CH] count_array_i
n
itializer() needs to know th
e
.
.
.
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[PATCH] elim
i
nate
e
lif
_
ign
o
re, fix hand
l
i
ng of
unterminated #if
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[
P
A
TCH]
lookup_macr
o
() s
h
ould be static
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2005-11-28
Al
V
iro
[PATC
H
] che
c
k for !token i
n
han
d
l
e_p
r
eproces
s
or_line
.
.
.
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[PATC
H
]
Doh
.
.
.
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2005-11-28
Al
Vi
r
o
[P
A
TC
H
] fixed stre
a
m->p
r
ote
c
t han
d
ling
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2005-11-28
A
l
Viro
[PATCH] fixed handling of out-of-
p
l
a
ce #elif/#else
.
.
.
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[
P
ATCH] beg
i
n
ning of #include protection r
e
w
r
ite:
c
l
eanup
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[PA
T
CH] fix
p
laces th
a
t
didn'
t
f
r
ee preprocess
o
r line
.
.
.
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[PATCH] taking free_prepro
c
essor_line() to caller of
.
.
.
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2005-11-28
Al
V
i
ro
[PAT
C
H] rem
o
ve bogus double warn
i
ng on #define
/
#
u
ndef
.
.
.
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2005-11-28
A
l V
i
ro
[PATCH] san
e
r
ha
n
dling o
f
#if[n]d
e
f
syntax
e
rr
o
rs
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2005-11-28
Al
V
i
ro
[PATCH] remove true_n
e
sting, turn
if
_
n
esting into a
.
.
.
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2005-11-23
Al
V
iro
[PATCH] noder
e
f is a qualifier
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2005-11-23
Al V
i
ro
[PATCH]
sh
u
t up
t
he b
o
gus
warnings about the #if'e
d
.
.
.
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2005-11-23
Al
V
iro
[PA
T
CH] no need to special-
c
ase c
o
m
ma after ##
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2005-11-22
A
l Viro
[PATCH] fix of compound literals on inlining
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2005-11-22
Al Viro
[PA
T
CH
]
fix tr
e
a
t
me
n
t of EXPR_
C
OMMA by
s
h
o
w
_expression()
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2005-11-22
Al Viro
[
PATC
H
] new flag
-
W
one-b
i
t-sign
e
d
-bit
f
ield
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2005-11-22
Al Viro
[
P
A
T
CH] new flag
-
-Wdecl
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2005-11-22
Al Viro
[
P
A
TC
H
] missing bu
i
ltin - memcmp
(
)
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2005-09-09
vir
o
@Zen
I
V
.
linux
.
.
.
[PATCH] More addre
s
s
space
c
heckin
g
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2005-09-09
viro@ZenIV
.
linux
.
.
.
[PA
T
CH
]
Fix address s
p
ace orderi
n
g problem
commit
|
commitdiff
|
tree