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 Viro
[
P
ATCH] deal co
r
r
ectly wi
t
h qualifiers on arra
y
s
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
Al V
i
ro
[PATCH] rewrite type_differe
n
ce()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
Al
V
iro
[
PATCH] fi
x
the sanity check in
e
valuate_ptr_s
u
b()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
Al
V
iro
[PATC
H
] get compatible_
a
ss
i
g
n
m
e
n
t_t
y
pes() dea
l
with
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
A
l V
i
ro
[PATCH] start clea
n
ing
t
y
pe_difference(
)
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[PATCH] integer_pro
m
o
tions() c
a
n'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 evalua
t
e_sign()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[PATCH] saner sho
w
_
t
ype
(
)
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-10
Al Viro
f
i
x h
a
ndl
i
ng of pointer
s
in ?:
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-10
Al Viro
f
ix handli
n
g of addre
s
s_s
p
a
ce in casts an
d
assi
g
nments
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-09
Al
V
i
ro
make size_t better appro
x
imate t
h
e reality
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-09
Al
Viro
firs
t
pa
s
s a
t
null pointe
r
const
a
n
t
s
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-09
Al
V
i
ro
fi
x
t
h
e com
m
a handli
n
g
i
n
integer constant ex
p
ress
i
ons
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-26
Al Viro
[PA
T
CH] fix handl
i
ng of integer
c
o
nstant ex
p
ressions
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-26
A
l
Vi
r
o
[
PATCH]
i
mplement __
b
u
i
ltin
_
of
f
setof()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al
V
iro
[
P
ATCH] d
e
al with enum me
m
be
r
s
w
ithout excessiv
e
PITA
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PATCH] warn on retur
n
<vo
i
d expr
e
ssion>;
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al
Viro
[PAT
C
H] i
n
ca
s
e of compound
l
i
teral we want to
de
l
ay
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PATCH] move degen
e
rate() down
into co
m
patib
l
e_
a
ssign
m
en
t
_ty
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PATCH] fix def
a
ult
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
[P
A
TCH] clean up u
s
ual_conversions
(
)
, kil
l
ev
a
luate_s
h
ift()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PATC
H
]
clean up the typechecking in arithmetic
s
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PATCH
]
cleanup of eva
l
u
ate_assign_op()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PAT
C
H] remove useless argument in evaluate_ptr_sub()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al
V
iro
[P
A
TCH]
remove long-d
e
ad variable in ev
a
luate_ptr_
a
dd()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
A
l Viro
[
P
ATCH]
n
u
l
l
pointer cons
t
ants
h
ave no speci
a
l meaning
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al
Viro
[PA
T
CH]
m
ech
a
nic
a
lly split c
o
m
patible_assignmen
t
_
t
yp
e
s()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PATCH] take c
a
st
_
to() out of usual_conversions(),
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[
PATCH]
miss
i
ng
NUL
L
checks in i
n
itializer handling
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-18
Al Viro
[PATC
H
] 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
ewrit
e
of
i
ni
t
i
a
l
i
z
er
handlin
g
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-18
Al
Viro
[
P
A
TCH] tie the fields o
f
struc
t
in simpl
e
l
i
s
t
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-18
Al V
i
ro
[P
A
T
C
H] make copying of EXPR_I
N
D
E
X non-lazy
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
Al Viro
better
recovery fr
o
m bad operatio
n
s o
n
bitwise
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
Al Viro
fix interaction of typeof wi
t
h bitwise t
y
pes
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
A
l
V
iro
f
i
x alignment for _Bool
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
Al Viro
check
for whitespac
e
before objec
t
-like macro body
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
Al Viro
saner reporting of overlaps i
n
initializers
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
Al
V
iro
ha
n
dle _
_
alig
n
of a
s
equivalent of __alignof__
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-10-24
Al Viro
switc
h
to hash-ba
s
e
d get_one_special()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-10-24
A
l Vi
r
o
added a bunch of gcc
b
uilt
i
ns
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-10-01
Al Viro
[PAT
C
H
]
h
and
l
e
f
ouled-bit
w
is
e
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-10-01
A
l
Viro
[
PATCH] saner recovery from endianness err
o
rs,
p
ar
t
1
.
commit
|
commitdiff
|
tree
2006-10-01
Al Vi
r
o
[PAT
C
H] merged
comp
a
tible_
.
.
.
_bino
p
() i
n
to sin
g
l
e
function
commit
|
commitdiff
|
tree
2006-10-01
Al Viro
[PATCH] beg
i
nnin
g
of SYM_RESTRI
C
T rewrite: restricted_binop_
.
.
.
commit
|
commitdiff
|
tree
2006-10-01
Al Viro
[
P
ATCH] evaluate_compare() can j
u
st use evaluate_arit
h
.
.
.
commit
|
commitdiff
|
tree
2006-10-01
Al Viro
[
PATC
H
] introduce classify_type(), use it in obvious
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-10-01
Al Vir
o
[
PATC
H
] casting null pointer
c
onstant
t
o non-ze
r
o address
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-09-30
Al Viro
[PATCH] add support for __builtin_choose_expr(
)
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-09-30
Al Viro
[PATCH] fix d
u
p
licate ini
t
iali
z
er detecti
o
n
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-09-30
Al
Vi
r
o
[PATCH]
fix for swi
t
ch(bad_type) {
.
.
.
} segfa
u
lt
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-05-09
A
l
Viro
[PATCH] cou
n
t_
a
r
r
ay_initiali
z
er() needs to know t
h
e
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[P
A
TCH] eliminate e
l
if_
i
gnor
e
, fix handling of untermi
n
ated
#if
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[PA
T
CH] lookup_macro(
)
sh
o
uld
b
e static
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[P
A
TC
H
] ch
e
ck
for !token
i
n
h
andle_pre
p
rocessor_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
[
PA
T
C
H
] f
i
x
e
d
s
tream->prot
e
ct han
d
li
n
g
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[PATCH] fixed handling
o
f
out-of-place #elif/#else
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
A
l Vir
o
[
P
ATCH
]
beginning of #include prot
e
ctio
n
rewrite
:
c
leanup
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[PATCH] fix places that didn'
t
free preprocesso
r
l
ine
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
A
l Viro
[PATCH] t
a
king free_pr
e
p
r
ocessor_li
n
e() to
caller of
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[
P
ATCH] remov
e
bogus d
o
uble warning on #define/#undef
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Vi
r
o
[PATCH] saner handling
of #if[n]de
f
synt
a
x errors
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[PAT
C
H]
remove tr
u
e_nesting, turn
if_nest
i
n
g
into a
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-26
Al
Viro
[P
A
T
C
H
] Made __G
N
UC__
e
t
.
a
l
.
weak defines, so
that
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-23
Al Viro
[PATCH] noderef i
s
a q
u
ali
f
ier
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-23
Al Viro
[P
A
T
C
H] shut up t
h
e bogus warnings about
th
e
#
i
f'ed
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-23
A
l
V
iro
[PATCH] no need to special-ca
s
e comma after ##
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-22
A
l
Viro
[PA
T
CH]
fix of c
o
mpound lite
r
a
l
s
on inlining
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-22
A
l Viro
[PATCH] fix treatment
o
f
EXPR_COMMA by show_
e
xpression(
)
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-22
Al Viro
[PAT
C
H] new
f
lag - Wone-bit-si
g
ned
-
bitfield
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-22
Al Viro
[
PATCH] new f
l
ag - -Wdecl
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-22
Al Viro
[PAT
C
H
] mi
s
s
ing builtin - memcmp()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree