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 metadata to initializer-entry-defined-twice.c
2007-07-14
Al Vi
r
o
[PATC
H
] deal correctly w
i
th qualifiers on arra
y
s
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
Al
V
iro
[PATCH] rewr
i
te
t
ype
_
d
ifference()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[PATCH] fix
the san
i
ty c
h
eck in e
v
aluate_ptr_sub()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
A
l
Viro
[PATCH] get
c
ompatible_assignme
n
t_types(
)
d
e
a
l with
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[PATCH] start cle
a
ning type_
d
ifference()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
Al
Viro
[PATCH] integer
_
pro
m
otions() can't get SYM_NODE
or
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[PATCH] clean
up ev
a
luate_sign()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
Al V
i
ro
[PATCH] saner show_type()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-10
Al
V
iro
fix
handling of pointers in ?
:
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-10
Al Viro
fix
h
a
n
d
lin
g
o
f
address_space i
n
casts
a
n
d
a
s
signm
e
nts
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-09
Al Vi
r
o
m
a
k
e size_t better approxima
t
e
th
e
reality
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-09
Al
V
iro
first pa
s
s at null
pointer constant
s
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-09
Al Vi
r
o
fix th
e
comma
han
d
ling in in
t
e
g
er constant express
i
ons
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-26
A
l V
i
ro
[PATCH] fi
x
han
d
l
i
ng of integer cons
t
ant e
x
pressions
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-26
Al Viro
[PAT
C
H] implement _
_
bu
i
ltin_off
s
etof()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al
Viro
[
P
AT
C
H] deal
w
ith
e
num members without excessive PITA
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PATCH] warn on return <void expression>;
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al
V
iro
[P
A
T
C
H] in
c
ase of compound
l
iteral we want to delay
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
A
l Viro
[PA
T
C
H] move degenerate() down into compatible_a
s
signment_ty
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al V
i
ro
[PATCH] fi
x
default
a
rgument pro
m
ot
i
on
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PATCH] fix index conversions
i
n evaluate_ptr_
a
dd()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PATCH]
c
l
ean u
p
us
u
al_conversion
s
()
,
k
i
ll
e
valuate_shift()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
A
l V
i
ro
[PATCH] clean up
the type
c
hecking in arithmetic
s
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[P
A
TCH] clean
u
p of evaluate_assig
n
_
op()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PATCH] remove useless arg
u
m
ent in eva
l
uate_ptr
_
sub()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[
P
ATCH] rem
o
ve lon
g
-de
a
d va
r
iabl
e
in eval
u
ate_ptr_add()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al
Viro
[PA
T
CH] null
pointer constants have no special
m
e
a
ning
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al
V
ir
o
[PATCH] mec
h
a
n
ically split
c
ompatib
l
e
_
assignment_ty
p
es()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[P
A
TCH
]
take
cast_
t
o() out of usual_conversio
n
s
(),
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PAT
C
H] m
i
ssing NULL chec
k
s in ini
t
ia
l
i
z
er handling
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-18
Al Viro
[PATCH] fix handlin
g
of typeof on s
t
ructs
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-18
Al Viro
[
P
A
T
CH] rewrite of
i
ni
t
ializer handling
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-18
Al Viro
[
PATCH] ti
e
the
field
s
of stru
c
t
i
n simple list
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-18
Al Vir
o
[
P
A
TCH] make cop
y
ing of EXPR_INDEX non-lazy
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
Al Viro
better recovery
from bad operatio
n
s
o
n bitwise
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
A
l
Vi
r
o
f
ix
i
nte
r
action of type
o
f wit
h
bitw
i
s
e types
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
Al Viro
fix
a
lign
m
e
n
t for _B
o
ol
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
A
l Vi
r
o
check
f
o
r whitesp
a
ce before ob
j
ec
t
-
l
ike
m
acro body
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
Al
V
iro
s
aner r
e
porti
n
g of o
v
erlaps in initializ
e
rs
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
Al Viro
handle __alignof as equi
v
alent of __align
o
f__
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-10-24
Al Vir
o
switch to hash-based get_one_
s
pecia
l
()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-10-24
Al Viro
ad
d
ed a bunch of g
c
c builtins
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-10-01
Al V
i
ro
[P
A
TCH] han
d
le
f
ouled-bitwi
s
e
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-10-01
Al Viro
[PATC
H
] saner recovery
from
e
ndianne
s
s
e
r
rors, part 1
.
commit
|
commitdiff
|
tree
2006-10-01
Al
V
i
ro
[PA
T
CH] merged compatible_
.
.
.
_
binop() into single fun
c
ti
o
n
commit
|
commitdiff
|
tree
2006-10-01
Al V
i
ro
[PA
T
CH] beginning of SYM_RESTRIC
T
re
w
rite: r
e
stri
c
te
d
_bi
n
op_
.
.
.
commit
|
commitdiff
|
tree
2006-10-01
Al Viro
[PATC
H
]
e
valuate_co
m
par
e
(
)
c
a
n just u
s
e
evalu
a
te_arith
.
.
.
commit
|
commitdiff
|
tree
2006-10-01
A
l
Viro
[PA
T
CH] in
t
roduce classify_ty
p
e(), use it in obvious
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-10-01
Al
Viro
[PATCH] casting null pointer constant to non-zero
a
ddress
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-09-30
Al Viro
[PATCH] add support fo
r
_
_
bu
i
ltin_choose_expr()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-09-30
Al Viro
[PA
T
CH] fix d
u
p
licate in
i
tiali
z
er detection
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-09-30
Al Vir
o
[PATCH]
fix f
o
r switch(bad_type)
{
.
.
.
} segfault
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-05-09
Al Viro
[PATCH]
c
ount_array_ini
t
i
a
liz
e
r(
)
n
e
eds to know
the
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Vi
r
o
[PATCH
]
elimi
n
ate eli
f
_ignore, fix han
d
lin
g
of unte
r
minated
#
if
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[PATC
H
] lookup_macro() should be
static
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Vir
o
[PA
T
CH] che
c
k
for !token i
n
h
and
l
e_preprocessor_line
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[
P
ATCH]
Doh
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[PATCH] fixed str
e
am-
>
protec
t
h
andling
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[PAT
C
H
] fi
x
ed han
d
ling of
o
ut-o
f
-pl
a
ce #elif/
#
e
l
se
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al V
i
r
o
[PATCH] beginning of #i
n
c
lude p
r
otect
i
on rewrite:
c
leanup
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al
V
i
ro
[PATCH] fix places that didn
'
t free pr
e
processor
l
i
ne
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al
Viro
[
P
ATCH] taking free_preprocessor_lin
e
() t
o
call
e
r of
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Vir
o
[PATCH] remove bogus double
w
a
rning on #define/#undef
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
A
l
Viro
[PATC
H
]
s
ane
r
h
andling of #if[n]def
syntax errors
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Vir
o
[P
A
TCH] remove true_
n
esting, turn if_nesting i
n
to a
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-26
Al Viro
[PATCH]
Made __GNUC__ et
.
al
.
w
e
a
k
d
ef
i
nes, so that
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-23
A
l Viro
[PATCH]
n
oderef is a qualifier
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-23
A
l
Viro
[PATC
H
] shut up th
e
bo
g
us warnings about
t
he #if'ed
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-23
Al Viro
[P
A
TCH] no need
to special-c
a
se comm
a
after ##
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-22
Al Viro
[PATCH] fi
x
of compound lit
e
ral
s
on
inlin
i
ng
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-22
Al Vi
r
o
[P
A
TCH]
f
ix trea
t
m
e
nt of
E
XPR_COMMA by show_exp
r
ession()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-22
A
l
Viro
[PATCH] new fl
a
g - Wone-bi
t
-signed-bitfie
l
d
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-22
Al Vir
o
[PATCH]
n
e
w fla
g
- -Wdecl
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-22
Al Vir
o
[PATCH]
m
issing built
i
n -
m
emcmp()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree