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 c2xml program
2007-07-10
Al
V
iro
fix handling of point
e
rs in
?:
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-10
Al V
i
ro
fix handlin
g
of add
r
ess_sp
a
ce in casts and assignments
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-09
Al
Viro
make size_t better appr
o
x
imate the re
a
l
it
y
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-09
Al Viro
first
pass at null
p
ointer constant
s
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-09
Al Vi
r
o
fix the
c
o
mma handling in in
t
e
ger constant expre
s
sio
n
s
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-26
Al Viro
[
PATCH] fi
x
handlin
g
of integer con
s
tant
e
xpre
s
s
ions
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-26
Al Viro
[PAT
C
H] imple
m
ent
_
_b
u
iltin_offsetof()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al
V
iro
[PATCH] deal wit
h
enum memb
e
rs without
excessive
P
ITA
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al V
i
r
o
[PATCH] warn on return <
v
oid
e
xpression>;
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Vi
r
o
[PATCH] in case
o
f c
o
mpou
n
d liter
a
l
w
e want
t
o dela
y
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
A
l Viro
[P
A
TCH]
m
o
ve de
g
enerate() do
w
n into c
o
mpatible_ass
i
gnment_ty
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[P
A
TCH] fix default argument promotion
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PATCH]
f
ix ind
e
x conversions in e
v
aluate_ptr_add()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[
PATCH] clean up
usual_conversions
(
),
k
ill 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
ypeche
c
king in arith
m
e
tics
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Vir
o
[PA
T
CH
]
cleanup of evaluat
e
_a
s
s
i
g
n
_op(
)
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
A
l
Vi
r
o
[PAT
C
H] remove usele
s
s argument
i
n
e
v
a
l
u
ate
_
ptr_sub()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[
PATC
H
]
remov
e
long-dead var
i
ab
l
e
i
n evaluate_ptr_add()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[
PAT
C
H] null poi
n
ter co
n
stants have
no spec
i
al meaning
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[
P
ATCH] mechanica
l
ly
split compa
t
ib
l
e
_
assignment_types()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[
P
A
TCH] take c
a
st_to() out of usual
_
conversio
n
s(),
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PATCH] mis
s
in
g
NULL checks in ini
t
ial
i
ze
r
hand
l
in
g
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-18
Al Viro
[
PATC
H
]
fix handling of typ
e
of on structs
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-18
A
l
Viro
[PATCH] rewrite of
i
nitializ
e
r handling
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-18
A
l Viro
[PATCH
]
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
Al Viro
[PATCH] make
copying
o
f
E
XPR_I
N
DEX non-lazy
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
Al Viro
bette
r
recover
y
from bad operations on bitwise
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
Al V
i
ro
fix inter
a
ction of typeof wit
h
bitw
i
se types
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
A
l
Viro
fix
a
lignment
f
or _Bool
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
Al Viro
check fo
r
whitespa
c
e b
e
f
ore object-like ma
c
ro
b
ody
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
Al V
i
ro
s
a
n
e
r reporting of
o
verlaps in
i
n
i
tializer
s
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
Al Viro
h
andl
e
__a
l
ignof as equiva
l
ent of __alignof__
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-10-24
Al Viro
sw
i
tch 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
ro
a
d
ded a
bu
n
ch
of
gc
c
built
i
ns
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-10-01
A
l
Vir
o
[
P
ATCH] han
d
le fouled-bitwise
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-10-01
A
l
V
i
ro
[
P
ATCH] saner recovery from endianness erro
r
s, part 1
.
commit
|
commitdiff
|
tree
2006-10-01
Al
V
iro
[PATCH] merged compat
i
b
le_
.
.
.
_binop() into sin
g
le fu
n
ction
commit
|
commitdiff
|
tree
2006-10-01
Al Viro
[PATCH]
b
egi
n
ning of S
Y
M_RESTRICT rewr
i
te:
r
estricted_b
i
n
o
p_
.
.
.
commit
|
commitdiff
|
tree
2006-10-01
Al Vi
r
o
[PATCH] evaluate_compa
r
e
(
) can j
u
st
u
s
e e
v
a
l
u
a
te_arith
.
.
.
commit
|
commitdiff
|
tree
2006-10-01
A
l
Viro
[PATCH] introduce classify_ty
p
e(
)
, use i
t
i
n
obvi
o
us
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-10-01
Al
Viro
[PA
T
CH] casting null pointe
r
constant to non-zero address
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-09-30
Al Viro
[PATCH] add support for _
_
builtin
_
c
hoose_expr()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-09-30
Al
V
i
ro
[
PATCH] fix dupl
i
cate ini
t
ializer detection
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-09-30
Al Viro
[P
A
TCH] fix f
o
r swi
t
ch(bad_type)
{
.
.
.
}
s
egfault
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-05-09
A
l Viro
[PATCH] count_array_initialize
r
(
)
n
eed
s
to know the
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[PA
T
CH
]
eliminate elif_ignore, f
i
x han
d
ling
o
f unt
e
rminate
d
#if
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al
Viro
[P
A
T
C
H
]
lookup_mac
r
o() should b
e
st
a
tic
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[PATCH] check
for !t
o
k
e
n in ha
n
dle_prepr
o
c
essor
_
l
ine
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al
V
ir
o
[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->prot
e
c
t
h
a
ndling
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
A
l
V
ir
o
[
P
ATCH] fixed handling of o
u
t-of-pla
c
e #elif/#else
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al
V
iro
[
P
AT
C
H] beginning of #include pro
t
ectio
n
rewrite
:
cle
a
nup
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[PATCH
]
fix plac
e
s that didn't
free pre
p
rocessor
line
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[PATCH] taking
free_preprocesso
r
_line() to call
e
r of
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Vir
o
[PATCH
]
re
m
ove bogus
do
u
b
le w
a
r
ning on #define/#unde
f
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[PATCH] sa
n
er
h
andling of #if[n]def syntax errors
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
A
l Vi
r
o
[PA
T
C
H
]
r
emove tru
e
_nesting, turn if_nesting into a
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-26
A
l
Viro
[PA
T
C
H] Made __GN
U
C
__ et
.
al
.
weak defines, s
o
t
hat
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-23
Al Viro
[PATCH
]
nod
e
ref is a
q
ua
l
ifier
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-23
A
l Viro
[
P
AT
C
H] s
h
u
t
up the
b
ogus warnings about the #
i
f
'
e
d
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-23
Al V
i
r
o
[PATCH] no
need t
o
special-case
c
omma aft
e
r ##
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-22
A
l Viro
[PATCH
]
fi
x
of com
p
oun
d
l
i
terals on inlining
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-22
Al Viro
[PATCH] fix trea
t
ment of EX
P
R_COMMA by show_expression()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-22
Al Viro
[PA
T
CH] ne
w
f
lag
-
Wone-bit
-
si
g
ned-
b
itfield
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-22
Al V
i
ro
[
P
ATCH
]
n
e
w flag - -Wdecl
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-22
Al Viro
[PAT
C
H] missing builtin - memcmp()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree