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
FAQ: Point to URL on vger for subscription instructions and archives
2007-07-29
A
l Vir
o
[PATCH] braino in co
n
dition
a
l_expression()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-29
Al Vir
o
[PATCH] saner -Wtypesign
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-29
Al Vi
r
o
[PATCH] sanitize evaluat
e
_postop()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-29
A
l
Vi
r
o
[
P
A
TCH] fix e
v
aluate_
c
o
mpa
r
e()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-29
A
l Viro
[PA
T
CH]
s
anitize e
v
aluate_ptr_add(
)
, s
t
art checking
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-29
Al Vir
o
[P
A
TCH]
.
.
.
,
a
r
r
a
y should degener
a
te
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-29
Al Viro
[PAT
C
H
]
fi
l
e and glo
b
al s
c
opes
are
t
he
same for
p
urposes
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-28
Al Viro
[PAT
C
H
]
ha
n
dl
i
ng
of ty
p
eof in evalua
t
e_member_
d
erefer
e
n
ce()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-28
A
l
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
a
s array of fu
n
ctions
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-28
Al Vir
o
[
P
A
TCH] add _
_
bu
i
lti
n
_strlen
(
)
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
Al Vir
o
[PATCH] dea
l
correctly with q
u
alifiers
on arrays
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[PATCH] rewri
t
e typ
e
_d
i
f
f
e
r
e
n
ce()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[PATCH] fix th
e
sanity check in
e
v
al
u
ate_pt
r
_sub()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
Al Vi
r
o
[PAT
C
H] get compatible_as
s
ignment
_
types() deal with
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
Al
Viro
[PATCH]
s
tart cl
e
aning
t
ype_d
i
fference()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[PATC
H
]
integer_promotions()
c
a
n
't get SYM
_
NOD
E
o
r
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[P
A
TCH]
c
l
e
an up evaluate_sign()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
A
l
Viro
[PATC
H
]
saner show_type()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-10
Al Viro
fix ha
n
dling of pointers in ?:
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-10
Al Viro
fi
x
h
a
ndling of address_space in
c
asts a
n
d
a
ss
i
gnm
e
nts
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-09
Al
Viro
make siz
e
_t be
t
ter appr
o
x
i
m
ate the reality
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-09
Al
Viro
first pass a
t
n
u
l
l
po
i
n
ter cons
t
ants
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-09
Al
Viro
fix the co
m
m
a
handling
i
n integer constant expressions
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-26
Al Viro
[PATCH] fix handling of
inte
g
e
r
constant ex
p
re
s
s
i
ons
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-26
A
l Viro
[PATCH] i
m
plemen
t
__builtin_o
f
fsetof()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
A
l
Viro
[PATCH] d
e
al
with enum me
m
bers withou
t
excessive PITA
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PATCH] warn on retu
r
n <void expression>
;
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PA
T
CH] in c
a
s
e
of compound
l
i
tera
l
we w
a
nt to delay
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PATCH
]
move de
g
ener
a
te() down into compatib
l
e
_
assignmen
t
_
t
y
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PATCH]
fix default argum
e
nt promo
t
ion
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PATCH] fix index co
n
ver
s
ions in e
v
aluate
_
pt
r
_add()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al V
i
ro
[PA
T
CH] clea
n
up usua
l
_conversio
n
s
(
)
,
kill evalu
a
te_s
h
ift()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PATCH] clean
u
p the typecheck
i
ng in arithmetic
s
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PATCH] clean
u
p
o
f ev
a
luate_assign_op(
)
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al V
i
ro
[P
A
TCH] rem
o
ve us
e
les
s
a
rgument in eva
l
u
ate_ptr_sub()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[
P
A
TCH] rem
o
v
e
lo
n
g-
d
ead va
r
ia
b
le
in evalu
a
te_ptr_add()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PATCH
]
null p
o
inter con
s
tants
have n
o
special
m
e
aning
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al
V
iro
[PATCH] mec
h
ani
c
ally split
c
o
mpatib
l
e_
a
ssignm
e
nt_types()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
A
l
Viro
[PAT
C
H]
t
ake c
a
st_to()
ou
t
of usual_conversions(),
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Vir
o
[P
A
TCH
]
m
i
s
sing NULL ch
e
c
ks in initializ
e
r
ha
n
dli
n
g
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-18
A
l
Viro
[PATCH] fix handling of typeof on st
r
ucts
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-18
Al Viro
[PATCH] r
e
w
r
ite of in
i
tia
l
izer handli
n
g
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-18
A
l Viro
[
P
ATCH] 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
A
l
V
iro
[PAT
C
H] make copy
i
ng of EXPR_IN
D
EX non-lazy
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
Al Viro
bette
r
recovery fro
m
b
ad operatio
n
s on bitwise
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
Al Viro
fix interaction
o
f
typeof with bitwi
s
e types
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
Al Viro
fix alig
n
ment for
_
B
ool
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
Al Viro
c
h
eck for whit
e
sp
a
c
e
before
o
b
je
c
t-like macro body
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
A
l Viro
saner r
e
port
i
n
g of overlaps in initializers
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
Al Viro
h
a
ndle __alignof a
s
e
quivalent of __alignof__
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-10-24
Al Viro
switch to h
a
sh-based get_one_sp
e
c
ial()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-10-24
A
l
Viro
added
a bu
n
ch of gcc builtins
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-10-01
Al Viro
[PATCH] h
a
n
dle fo
u
led-bitwise
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-10-01
Al V
i
ro
[PAT
C
H]
s
an
e
r recovery from endiannes
s
erro
r
s, part 1
.
commit
|
commitdiff
|
tree
2006-10-01
A
l
V
i
ro
[PATCH
]
me
r
ged
compa
t
i
b
le_
.
.
.
_bin
o
p
(
)
into single function
commit
|
commitdiff
|
tree
2006-10-01
A
l Vir
o
[
P
A
TCH] be
g
i
nning
o
f SYM_RESTRICT rewr
i
t
e
:
restri
c
ted_bi
n
op_
.
.
.
commit
|
commitdiff
|
tree
2006-10-01
Al Viro
[PATCH] evaluate_compare() can
j
ust
use evaluate_arith
.
.
.
commit
|
commitdiff
|
tree
2006-10-01
Al Viro
[PATCH
]
i
n
troduce classify_type(), use it in obvious
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-10-01
Al Viro
[
PATCH
]
c
a
st
i
ng
nu
l
l
pointer constant to no
n
-zero address
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-09-30
Al Vi
r
o
[PATCH] add
s
upport
f
or __builtin_choose_expr()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-09-30
Al Vir
o
[P
A
TCH] fix
d
upli
c
ate
i
n
itializer detection
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-09-30
Al Viro
[PATCH] f
i
x for s
w
itch(bad_type) {
.
.
.
} segfault
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-05-09
A
l
Viro
[PAT
C
H] count_array_ini
t
iali
z
e
r
() needs to know the
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al
V
iro
[PATCH] eliminate
e
lif_ignor
e
, fix handl
i
n
g
of
u
ntermina
t
ed #if
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
A
l
Vir
o
[
PAT
C
H] lookup_macro() s
h
ould 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 h
a
n
dle_preprocessor_line
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
A
l V
i
ro
[PATCH] Doh
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al
Vi
r
o
[PATCH] fi
x
e
d
stream->
p
rotect handlin
g
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
A
l
Vi
r
o
[PATCH] fixed handl
i
ng of out-of-pl
a
ce #
e
lif/
#
else
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[
PATCH] beginning of
#in
c
lude protection r
e
write
:
cl
e
a
nup
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Vir
o
[PATC
H
] fi
x
places 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 Vi
r
o
[P
A
TCH] ta
k
ing
free_p
r
eprocessor_line()
t
o ca
l
ler
of
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[
P
ATCH] remove bo
g
us
d
ouble warning on #def
i
ne/#un
d
ef
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[PATCH
]
s
aner handling of #if[n]def syntax err
o
r
s
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al
Viro
[
P
ATCH] rem
o
ve tr
u
e_nest
i
ng,
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
_
_GN
U
C_
_
e
t
.
a
l
.
weak d
e
fines, so th
a
t
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-23
Al Viro
[
PAT
C
H] n
o
d
e
ref
i
s a qualifier
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-23
Al
V
i
ro
[PATCH] shut u
p
the bo
g
us
w
arnings
abou
t
the
#
if'ed
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-23
A
l Viro
[PAT
C
H] no need
t
o s
p
ecial-case com
m
a after
##
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-22
Al Viro
[P
A
TCH] fix of com
p
ou
n
d literals on inlini
n
g
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-22
Al V
i
ro
[
P
ATCH] f
i
x
t
re
a
t
m
ent of EXPR_
C
OMMA by show_expression()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-22
A
l
Viro
[PATCH] new f
l
ag - Won
e
-
bit-signed
-
bitfield
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-22
A
l
V
iro
[PATCH] new fla
g
- -Wdecl
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-22
Al
Vir
o
[PATCH] missing b
u
iltin - memcmp()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree