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 sparse_keep_tokens api to lib.h
2007-07-10
A
l
Viro
fix handling of poin
t
ers
in ?:
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-10
A
l
V
i
ro
fix handling of address_space
i
n cas
t
s
and a
s
sign
m
ents
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-09
Al Viro
make si
z
e_t be
t
t
e
r a
p
p
ro
x
imate the 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
poi
n
ter constan
t
s
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-09
Al Viro
fi
x
the
co
m
ma hand
l
ing in inte
g
er constant expressions
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-26
Al Viro
[PA
T
CH] fix handlin
g
of
integer constan
t
e
xpress
i
ons
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-26
Al V
i
ro
[PATCH] implement __builtin_offsetof()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al V
i
ro
[PAT
C
H] deal
w
ith enum memb
e
r
s
wit
h
o
u
t excessiv
e
PITA
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PA
T
CH] warn on return <void e
x
p
ression>;
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Vi
r
o
[PATCH
]
i
n
case of com
p
ound literal w
e
want to delay
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[
PA
T
C
H
]
m
ove d
e
ge
n
erate() down into compatible_assignme
n
t_t
y
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PATCH] fix defaul
t
argu
m
e
n
t promotion
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PATCH] fix index conversi
o
ns i
n
evaluate_ptr_add()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al V
i
ro
[PATCH] clean
u
p usual_c
o
nversion
s
(), kill
e
valuate
_
shi
f
t()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Vir
o
[P
A
TCH] clean up
the t
y
pecheck
i
ng in arithmetics
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PATCH
]
c
leanup
of ev
a
luat
e
_a
s
sign_op()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PA
T
C
H
] rem
o
ve useless
a
rgument in evaluate_ptr_
s
ub()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PAT
C
H
]
remove long-dead varia
b
le in eval
u
ate
_
ptr_ad
d
()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PATCH] null pointer const
a
nts have no special meaning
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[P
A
TCH] m
e
chanical
l
y
split compatible_a
s
signment_type
s
()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[
P
ATCH] take
c
ast
_
to(
)
o
u
t
o
f
usual_conversio
n
s
(),
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[P
A
TCH] missing NULL check
s
i
n initia
l
izer
h
andling
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-18
Al Viro
[PATCH] fix handling o
f
t
y
peof on str
u
cts
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-18
Al Viro
[PA
T
CH] rewrite of
initi
a
lizer handl
i
ng
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-18
Al
Viro
[PA
T
CH] ti
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] ma
k
e
copying of EXPR_IN
D
EX non-lazy
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
Al Vir
o
bett
e
r recovery
f
rom bad operations
on bitwise
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
Al Vi
r
o
f
i
x int
e
r
a
c
t
i
on
of
t
y
peof with bitwise types
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
Al Vir
o
fi
x
align
m
ent for _Bool
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
A
l
Viro
ch
e
ck fo
r
whites
p
ace before obj
e
ct-li
k
e macro body
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
Al Viro
sa
n
er reporting of over
l
a
p
s in ini
t
i
a
lizers
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
Al Viro
handle __alignof as
e
q
uivalent of
__alignof__
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-10-24
Al Viro
switch to hash-based get_one_special()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-10-24
Al Viro
a
d
d
ed
a
bunch of gcc builtins
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-10-01
Al Viro
[
P
A
TC
H
] handle fouled-b
i
twise
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-10-01
Al Viro
[PA
T
CH] saner re
c
overy from
endianness errors, part 1
.
commit
|
commitdiff
|
tree
2006-10-01
Al Viro
[PAT
C
H] m
e
rged compatible_
.
.
.
_binop() into single function
commit
|
commitdiff
|
tree
2006-10-01
A
l Vir
o
[
PATCH]
b
eginn
i
ng o
f
SYM_RESTRICT
rewrit
e
: restri
c
t
ed_binop_
.
.
.
commit
|
commitdiff
|
tree
2006-10-01
Al
V
iro
[
PATCH] evaluate_co
m
pare() can j
u
st use ev
a
luate_arit
h
.
.
.
commit
|
commitdiff
|
tree
2006-10-01
Al V
i
r
o
[PATCH] introduce c
l
assif
y
_type()
,
use it in obvious
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-10-01
A
l Viro
[
P
A
TCH] casting nu
l
l pointer
c
onst
a
nt to non-zero add
r
ess
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-09-30
A
l
V
iro
[PATCH] add supp
o
rt for __buil
t
in_choose_expr()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-09-30
Al
V
i
r
o
[
P
ATCH] fix duplicate ini
t
ializer
d
etectio
n
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-09-30
Al Viro
[PAT
C
H
] fix for switc
h
(bad_type) {
.
.
.
}
segfault
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-05-09
Al Vir
o
[PATCH] cou
n
t
_
a
rray_initializer() nee
d
s to know the
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[PATCH] eliminate elif_ignore,
f
ix h
a
ndlin
g
of unterminated #
i
f
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[
P
ATC
H
] lookup_macr
o
()
s
ho
u
ld be static
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[PATCH
]
c
heck for !token in handl
e
_
preproces
s
or_line
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
A
l
Viro
[PAT
C
H] Doh
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al
V
iro
[P
A
TCH] f
i
xed stream->pr
o
te
c
t hand
l
ing
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Vir
o
[PATCH] fixed handli
n
g
o
f out-of-place
#
e
lif/#e
l
se
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[PATCH] beginning o
f
#
i
nclude
p
rotection
rewrite: cl
e
anup
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al
V
iro
[PATCH
]
fix places
th
a
t didn't free preproc
e
s
s
or
line
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[PATCH] taki
n
g
free_pre
p
roces
s
or_line() to
c
all
e
r of
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[PATCH] remove bo
g
u
s
d
o
ub
l
e
wa
r
ning on #defi
n
e/#undef
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[PATCH] s
a
n
e
r
h
andli
n
g of #
i
f[n
]
def
syntax error
s
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[PATCH] r
e
move
t
rue_nestin
g
, tur
n
if_ne
s
ting in
t
o a
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-26
A
l
V
i
ro
[PATCH] Ma
d
e
_
_GNUC__ et
.
al
.
weak defines, so
that
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-23
Al
V
iro
[PATCH] noderef is
a
q
u
alifie
r
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-23
Al Viro
[PATCH] shut up the bog
u
s w
a
rn
i
n
g
s about the #
i
f'ed
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-23
Al Viro
[PATCH] no need to spe
c
ial-case comma a
f
ter ##
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-22
Al Vi
r
o
[
P
ATC
H
] f
i
x of compound
l
iterals on inlining
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-22
A
l Viro
[P
A
TC
H
] fix
treatment of EXPR_COMMA by show
_
ex
p
ression()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-22
Al V
i
ro
[PATCH] new
f
lag
-
Wo
n
e-bit-sig
n
ed-
b
itf
i
eld
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-22
Al Viro
[PATCH] new flag - -Wdecl
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-22
Al Vir
o
[PATCH] missing bui
l
tin - me
m
c
m
p()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree