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
Add test-suite annotations to function-pointer-modifier-inheritance.c
2007-07-29
Al Viro
[PATCH] br
a
ino
in cond
i
tional_expr
e
ssio
n
()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-29
A
l
V
i
r
o
[PATCH] sane
r
-Wtypes
i
gn
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-29
A
l
Viro
[PATCH
]
s
a
nitize evaluate
_
postop()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-29
Al Vir
o
[PA
T
CH] fix evalua
t
e_
c
ompare
(
)
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-29
A
l Viro
[PAT
C
H]
san
i
tize evaluate_ptr
_
add(), start checking
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-29
Al Viro
[PATCH]
.
.
.
,ar
r
ay
s
hould
degenerate
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-29
Al Viro
[PATCH] fi
l
e and
g
lobal sc
o
pe
s
ar
e
the
s
ame for
pu
r
pos
e
s
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-28
Al Viro
[
P
ATCH]
h
a
n
dling of typeof in eval
u
ate_member_dere
f
erence()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-28
Al
V
i
ro
[PATCH] new he
l
p
e
r
:
unfou
l
()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-28
Al Viro
[PATCH] n
o
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 __builtin_strlen()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
A
l
Viro
[PATCH] d
e
al correctly
w
ith qualifier
s
on arrays
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[PAT
C
H
]
rewrite type_difference()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
Al
V
iro
[PATCH] fix the sanity check
in
e
valuate_ptr_sub()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[PATCH] get co
m
patible_ass
i
g
n
m
ent_types() de
a
l
w
it
h
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
Al V
i
ro
[PATCH] star
t
c
leaning typ
e
_difference
(
)
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[PATCH] i
n
t
e
ger_pro
m
otions
(
) can't get
SYM_
N
OD
E
o
r
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[PAT
C
H]
clea
n
up
ev
a
luate_s
i
gn(
)
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
A
l
Viro
[PA
T
CH] san
e
r
show_type()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-10
A
l
Vir
o
fix handlin
g
o
f
poi
n
ters in ?:
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-10
Al Viro
fix handling of ad
d
re
s
s_space in cast
s
and assignment
s
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-09
Al Viro
m
ake size_t better appro
x
imat
e
the r
e
al
i
ty
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-09
A
l
Viro
first pass
at null
pointer constants
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-09
Al Viro
fix the c
o
mma h
a
n
dling in i
n
teger constant expressions
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-26
Al
V
iro
[PATCH] fix handling of integer c
o
nstant expres
s
ions
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-26
Al Viro
[PATCH] implement __bu
i
ltin_offsetof()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al V
i
r
o
[PAT
C
H
] deal with e
n
u
m members without excessive
P
ITA
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PAT
C
H] warn on re
t
u
r
n <voi
d
expression>;
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Vi
r
o
[
P
ATCH]
in case
o
f compound
l
iteral we want to delay
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PATCH] move dege
n
erate() down into compatible_assignment_ty
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[P
A
TCH] fix d
e
fault argument
p
ro
m
otion
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PATCH] fix index
c
onversions i
n
evaluate_ptr_add()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PATCH
]
clean up usual_conv
e
rsions(), kill eval
u
a
t
e_
s
hif
t
(
)
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[P
A
TCH] clean up the typecheck
i
ng in ar
i
thmetics
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PATCH] cle
a
nup of evalua
t
e_a
s
s
ign_op(
)
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PATCH] remove useless argument in ev
a
luate_ptr_sub()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
A
l
Viro
[
P
ATCH] remove long-dea
d
variable in evalu
a
te_ptr_ad
d
()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PATCH] null po
i
nter constants have no special meaning
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
A
l Viro
[PATCH] me
c
hanicall
y
split compatible_
a
ssignment_
t
ypes()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PATC
H
] take
c
as
t
_to() out o
f
usual_
c
onversions(),
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[P
A
TCH] missing NUL
L
c
h
ecks
i
n initializ
e
r ha
n
dl
i
ng
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-18
Al
Vi
r
o
[PATCH] fix
h
andlin
g
of typeof on structs
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-18
Al Viro
[PATCH] rewrit
e
o
f in
i
tia
l
ize
r
h
an
d
ling
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-18
Al Vir
o
[
P
A
T
CH] tie 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
[PA
T
CH] ma
k
e
c
o
pyin
g
of E
X
P
R
_INDE
X
non-lazy
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
Al V
i
ro
b
e
tt
e
r recovery from ba
d
operations on bitwise
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
Al Viro
fix interaction of typ
e
of
w
i
th
bitwise t
y
pes
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
Al
V
i
r
o
fix
alignment
for _Bool
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
Al
Vi
r
o
check for
w
h
i
t
espace be
f
ore obje
c
t-lik
e
m
acro
b
ody
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
Al Viro
saner reportin
g
of overlaps in initi
a
l
izers
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
Al Viro
handle _
_
a
lign
o
f as e
q
uivalent of __ali
g
nof__
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-10-24
Al Vi
r
o
switc
h
to hash-based get_one_special
(
)
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-10-24
Al V
i
r
o
ad
d
e
d
a b
u
nch
of gcc buil
t
ins
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-10-01
A
l
Viro
[PATCH] han
d
le fouled-bitwise
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-10-01
Al
Vir
o
[PA
T
CH] saner r
e
covery from endiannes
s
error
s
, part
1
.
commit
|
commitdiff
|
tree
2006-10-01
Al Viro
[PATC
H
]
m
erged compatible_
.
.
.
_
b
inop() in
t
o sin
g
le f
u
nc
t
io
n
commit
|
commitdiff
|
tree
2006-10-01
Al Vi
r
o
[P
A
T
C
H
] beginni
n
g of SYM_RESTR
I
CT rewr
i
te: restricted_binop_
.
.
.
commit
|
commitdiff
|
tree
2006-10-01
A
l Viro
[
P
ATCH] eva
l
uat
e
_compare() can
j
ust us
e
evaluate_ari
t
h
.
.
.
commit
|
commitdiff
|
tree
2006-10-01
Al Viro
[PATCH]
i
ntroduce classify_type(), use it
in
obvio
u
s
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-10-01
Al Viro
[PAT
C
H
]
cas
t
ing
n
ull pointer
constant t
o
non-ze
r
o
a
ddress
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-09-30
Al Viro
[PATCH] a
d
d
support f
o
r __b
u
iltin_
c
hoose_expr()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-09-30
Al Viro
[PATCH] f
i
x duplicate initializer detection
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-09-30
Al V
i
ro
[
P
ATCH] fi
x
for
s
wit
c
h(bad_type) {
.
.
.
} s
e
gfault
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-05-09
A
l
V
iro
[PATCH] count_ar
r
ay_ini
t
ializer() needs
t
o kno
w
t
he
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[PAT
C
H
]
e
l
iminate
elif_ignore
,
f
ix han
d
ling of
unt
e
rminat
e
d #if
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[P
A
TCH
]
lookup
_
macro() should be sta
t
ic
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[
P
ATC
H
] check for !token
in h
a
ndle_preprocessor_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
[P
A
T
CH] fixed stream->protect
h
andling
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[
P
ATCH
]
fixed han
d
li
n
g o
f
out-of-place
#el
i
f
/
#else
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al V
i
r
o
[P
A
T
CH] begin
n
ing of #
i
nclude
p
rote
c
t
i
on rewri
t
e:
c
lean
u
p
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[PATCH] fix pl
a
ces
that
didn't free preprocessor l
i
n
e
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[PATCH] ta
k
ing
f
r
e
e_preprocessor_line() to calle
r
o
f
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
A
l
Vi
r
o
[PAT
C
H] re
m
ove bogus doubl
e
w
arning o
n
#defi
n
e/#undef
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al
V
iro
[PATCH]
sane
r
handling of #if[n]def syntax errors
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[PATCH] remove
t
rue_nes
t
i
ng,
turn if_ne
s
t
ing into a
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-26
Al Viro
[PATCH]
Made __
G
NUC__ e
t
.
al
.
w
e
ak
d
efines,
s
o
tha
t
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-23
Al Viro
[
P
A
TCH] no
d
eref is a qual
i
fier
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-23
A
l V
i
r
o
[PATCH] sh
u
t up the b
o
gus warnings abou
t
the #if'ed
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-23
Al Viro
[
P
ATCH] no need to
specia
l
-
ca
s
e comma after ##
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-22
Al Viro
[PATCH] fix
o
f compound literals on inlining
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-22
Al Viro
[PATCH] fix
treatme
n
t
of EXPR_COMMA by show_
e
xpressio
n
()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-22
A
l
Viro
[PATCH] new flag - Won
e
-bit-signed-bitfi
e
ld
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-22
Al V
i
r
o
[PA
T
CH]
n
ew flag - -
W
decl
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-22
Al Viro
[PATCH] missing bu
i
ltin -
m
e
m
c
mp()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree