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
A
l
Viro
[PATCH] s
a
ner -Wtypesign
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2007-07-29
Al Viro
[PAT
C
H] sanitize evaluate_postop()
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2007-07-29
Al Vi
r
o
[PATCH] fix
e
va
l
uate_compare()
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2007-07-29
Al
Viro
[PATCH]
s
anitize evaluate_ptr
_
add(
)
,
st
a
rt checking
.
.
.
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2007-07-29
Al Viro
[PATCH]
.
.
.
,array should d
e
gener
a
t
e
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2007-07-29
Al Viro
[PAT
C
H
]
file and global scopes are the same for purpo
s
es
.
.
.
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2007-07-28
Al Viro
[PA
T
CH]
h
a
n
dling of
typeof
i
n
evaluate_member_dereference()
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2007-07-28
Al Viro
[P
A
TCH] new h
e
l
p
er: unfoul()
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2007-07-28
Al
V
iro
[
PATCH
]
no su
c
h thing as array o
f
functions
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2007-07-28
Al Viro
[PAT
C
H] add __builtin_strlen()
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[PATC
H
] deal correctly
with
q
ualifiers
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
y
pe_difference()
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2007-07-14
A
l Viro
[PATCH]
fix the
s
a
n
i
t
y
che
c
k
i
n
e
v
a
luate_
p
tr_sub()
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2007-07-14
A
l
Viro
[PATC
H
] get compatible_assign
m
ent_types()
d
eal with
.
.
.
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2007-07-14
A
l Viro
[P
A
TCH
]
start c
l
eaning ty
p
e_differen
c
e()
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[PATCH]
integer_promot
i
o
n
s
(
) can't
g
et SYM_
N
O
DE or
.
.
.
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[PATCH] clean
up
e
valuate_sign()
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[PATCH] sa
n
er show_type()
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2007-07-09
Al
Viro
m
a
k
e s
i
ze_t
better approxima
t
e the rea
l
ity
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2007-06-26
A
l
V
i
ro
[PATCH] fix
h
andling of integer constant
expressions
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2007-06-26
Al Viro
[PATCH] implemen
t
_
_
builtin_offsetof(
)
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PATC
H
]
deal with enum members w
i
thout excessive PITA
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2007-06-25
Al Vi
r
o
[PA
T
CH
]
warn
o
n r
e
turn <void
expres
s
ion
>
;
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2007-06-25
Al V
i
ro
[PATCH] in case of comp
o
u
nd literal we want t
o
delay
.
.
.
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2007-06-25
A
l
V
iro
[PATCH] move de
g
enerate() down in
t
o
com
p
atible_ass
i
gnme
n
t_ty
.
.
.
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PATCH
]
f
i
x default argument promotion
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PATCH] fix i
n
dex
conversions in
evaluate_ptr
_
add()
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PATC
H
]
c
lean u
p
usual_conversi
o
ns(), kill
evaluate_shift()
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PATCH] clean up the
t
ype
c
hecki
n
g in
a
rithmetic
s
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2007-06-25
Al
V
i
ro
[PATCH] cleanup of e
v
al
u
ate_assign
_
op()
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2007-06-25
Al
V
i
ro
[PA
T
C
H] r
e
mov
e
usel
e
ss argument in
evaluate_ptr_sub
(
)
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PATCH] remove long-dead variable in ev
a
luate_ptr_
a
dd()
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2007-06-25
Al Vir
o
[PATCH] null pointe
r
co
n
st
a
nts have
no spec
i
al mea
n
ing
.
.
.
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2007-06-25
A
l
Vi
r
o
[PATC
H
]
m
ec
h
an
i
cally split com
p
atibl
e
_assignment_types()
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2007-06-25
A
l
Viro
[
P
ATCH
]
t
a
ke cast_to()
o
u
t
of usual_conversions(),
.
.
.
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[P
A
TC
H
]
missing NUL
L
c
hecks in initiali
z
er handling
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2007-06-18
Al Vi
r
o
[PATCH] fix handlin
g
of typeof
o
n s
t
ructs
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2007-06-18
Al Viro
[PATCH] rewrite of initializ
e
r handling
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2007-06-18
Al Viro
[PATCH] tie th
e
fields of struct in
s
i
m
pl
e
list
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2007-06-18
Al Vi
r
o
[PATCH] make copyin
g
of
E
XPR_INDEX no
n
-lazy
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2006-10-01
Al Vi
r
o
[
P
ATCH] handle fouled-bitwi
s
e
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2006-10-01
Al Viro
[PATCH] sane
r
recovery fro
m
endianness errors
,
part 1
.
commit
|
commitdiff
|
tree
2006-10-01
Al Viro
[P
A
TC
H
] merged co
m
pat
i
b
le_
.
.
.
_binop
(
) int
o
single
f
unctio
n
commit
|
commitdiff
|
tree
2006-10-01
Al
V
iro
[PATCH] begi
n
ning of
S
YM_RE
S
TRICT rewrite: restricted_
b
in
o
p_
.
.
.
commit
|
commitdiff
|
tree
2006-10-01
A
l Viro
[
P
AT
C
H]
evaluate_c
o
mp
a
re()
c
an ju
s
t
u
s
e
evaluate_ari
t
h
.
.
.
commit
|
commitdiff
|
tree
2006-10-01
Al Viro
[P
A
TCH]
in
t
r
od
u
c
e
c
la
s
sify_type(), us
e
it in obvious
.
.
.
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2006-10-01
Al Vi
r
o
[P
A
TCH]
casting null pointer
cons
t
ant to
non-zero
ad
d
ress
.
.
.
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2006-09-30
A
l
Viro
[PATCH]
a
dd support for __bu
i
ltin_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
[PATCH]
f
ix d
u
p
licate i
n
itializer d
e
tecti
o
n
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2006-09-30
Al Viro
[
PATCH] f
i
x
for swi
t
ch(bad_type) {
.
.
.
} segfau
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_
i
n
itiali
z
er() ne
e
ds
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 elif_i
g
nore, fix han
d
ling
o
f un
t
erminated #if
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2005-11-28
Al V
i
ro
[PAT
C
H] lo
o
kup
_
macro() should be static
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[PATCH] che
c
k for !token
in han
d
le_prep
r
ocessor_line
.
.
.
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2005-11-28
Al
V
iro
[P
A
TCH] Doh
.
.
.
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[PATCH] fixed stre
a
m
-
>protect handling
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2005-11-28
A
l
Viro
[PAT
C
H
] fixed handl
i
ng of out-of-place #
e
lif/#else
.
.
.
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2005-11-28
A
l Viro
[PAT
C
H]
beginning of #
i
nclude pro
t
ec
t
ion rewr
i
te: c
l
ea
n
up
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[PATC
H
] f
i
x places
that didn't free preprocessor line
.
.
.
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2005-11-28
Al
V
iro
[
P
ATCH] taking free_preproc
e
ssor_l
i
ne() to caller o
f
.
.
.
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2005-11-28
A
l Viro
[PATCH]
r
emove bog
u
s doubl
e
w
a
rn
i
ng o
n
#define/#und
e
f
.
.
.
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[PATCH] saner handling of
#
if[n]def syntax error
s
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2005-11-28
Al Vi
r
o
[PATCH] rem
o
ve true_nesting, tur
n
if_nesting
i
n
to
a
.
.
.
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2005-11-23
Al Vi
r
o
[PATCH] noderef is a qual
i
fi
e
r
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2005-11-23
Al Viro
[PAT
C
H] shut up
the bo
g
us wa
r
nings about the
#
if'
e
d
.
.
.
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2005-11-23
Al Viro
[PATCH] no nee
d
to special-case comma afte
r
##
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2005-11-22
A
l Viro
[PAT
C
H]
f
ix
o
f
c
o
mpo
u
nd literals o
n
in
l
ining
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2005-11-22
Al Viro
[PATC
H
] fix treatm
e
nt of EXPR
_
COMMA by
s
ho
w
_ex
p
ression
(
)
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2005-11-22
Al Viro
[PATCH]
n
ew flag
- Wone-bit-signed-bitfield
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2005-11-22
A
l
Viro
[PATCH] new
f
l
ag -
-W
d
ecl
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2005-11-22
Al Vi
r
o
[P
A
T
C
H
] missing b
u
iltin - me
m
cmp()
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2005-09-09
viro@ZenIV
.
linux
.
.
.
[
P
ATCH]
More address space checki
n
g
Signed-off-by: Al Viro <
viro@zeniv.linux.org.uk
>
commit
|
commitdiff
|
tree
2005-09-09
viro@ZenIV
.
linux
.
.
.
[
P
A
TCH]
Fi
x
address space ordering p
r
o
blem
commit
|
commitdiff
|
tree