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
cgcc: Sparse accepts -Wcast-to-as, not -Wcast-to-address-space
2007-07-29
Al
V
iro
[PATCH] b
r
aino in conditio
n
al_e
x
pression()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-29
Al Viro
[PATCH] saner
-
Wty
p
esign
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-29
Al Viro
[PATCH]
s
ani
t
ize eval
u
at
e
_postop()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-29
Al Viro
[
P
A
TCH] fix evaluate_compare
(
)
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-29
A
l Viro
[
PATCH] sani
t
iz
e
evalu
a
te_ptr_add(), start
c
h
e
ckin
g
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-29
Al Viro
[PATCH]
.
.
.
,
a
rray
s
hould degenerate
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-29
Al
Viro
[
PA
T
CH]
f
il
e
a
n
d global scopes ar
e
the same for p
u
rpose
s
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-28
Al Vir
o
[
PATCH] handling of typeof in evaluate_member_derefer
e
nce()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-28
Al Viro
[PATCH]
n
ew h
e
lper
:
unfoul()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-28
Al
V
ir
o
[PAT
C
H] no
s
uch thing as arr
a
y of fu
n
c
tions
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-28
A
l
V
i
ro
[PA
T
CH] add __builtin_strl
e
n()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
Al V
i
ro
[PATCH] deal correctly with qualifier
s
on
a
rr
a
ys
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[PATCH] rewrite type_d
i
fference
(
)
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
Al Vir
o
[PATCH] fix th
e
s
anity c
h
eck in evaluate_ptr_
s
ub()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
A
l
Viro
[PATCH]
get co
m
patib
l
e_
a
ssign
m
ent_types()
deal w
i
t
h
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[PATCH] start
c
leaning type_diff
e
rence()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[PATCH]
i
nteger_promotions() can'
t
get SYM_NODE or
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
A
l
Vi
r
o
[PATCH]
clean
up evaluate_sig
n
(
)
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
Al
Vi
r
o
[
P
ATCH] san
e
r sh
o
w_t
y
pe()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-10
Al
V
i
r
o
fix handl
i
ng of po
i
nters in
?
:
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-10
Al Viro
fix handlin
g
of address_spa
c
e in
casts and assi
g
nme
n
ts
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-09
A
l
Viro
make s
i
ze_t better approximate the reality
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-09
Al Vi
r
o
first
p
a
ss at
null p
o
inter
c
onst
a
nts
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-09
Al Vi
r
o
fix
t
h
e comma handling in
i
n
t
eger cons
t
a
nt expressi
o
n
s
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-26
A
l Viro
[
P
ATCH] fix
han
d
ling o
f
integer con
s
ta
n
t
expres
s
io
n
s
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-26
Al Vi
r
o
[P
A
TCH] impl
e
ment __builtin_offsetof()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
A
l V
i
ro
[PATCH] deal with enum members w
i
thout excess
i
v
e
PITA
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[P
A
TCH
]
warn on re
t
urn <void expre
s
sion
>
;
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al
V
iro
[
P
ATCH] in c
a
se of comp
o
und literal
we want to delay
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PATCH] move degenerate() down i
n
t
o
compatibl
e
_assignm
e
nt_ty
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PATCH]
fix default ar
g
um
e
nt pr
o
motio
n
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
A
l
V
iro
[PA
T
CH] fix in
d
e
x
conver
s
ion
s
in eva
l
ua
t
e_pt
r
_
a
d
d()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[
P
ATCH] cle
a
n
u
p us
u
al_conversions(), k
i
ll evaluate_shift()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PATCH] clea
n
u
p
the type
c
he
c
king in arit
h
m
e
t
i
c
s
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al V
i
ro
[PATCH] cleanup of e
v
aluate_as
s
ign_op()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PATCH] remove
useless a
r
g
u
m
en
t
in
e
valuate_ptr_s
u
b()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PATCH] remove long-d
e
ad variab
l
e in eval
u
ate_ptr_add
(
)
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al V
i
ro
[PA
T
C
H
] null pointer constants h
a
ve no
s
p
ecial
meaning
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
A
l
V
iro
[
P
A
TCH] mecha
n
ically split com
p
atible
_
ass
i
gnment_type
s
()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
A
l
Viro
[PA
T
CH]
t
ake cast
_
to() out of usual_conversions()
,
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PATCH] m
i
ssing NULL checks
in initializer
han
d
ling
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-18
Al Viro
[
P
ATCH]
f
ix
h
a
n
dling of typeof on st
r
uc
t
s
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-18
Al Viro
[PAT
C
H] rew
r
ite of in
i
tializer
ha
n
dling
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-18
Al Vi
r
o
[P
A
TCH] t
i
e th
e
fields of struct in simple li
s
t
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-18
A
l
V
i
r
o
[PATCH] ma
k
e copying of E
X
PR_INDEX non-lazy
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
Al Viro
b
et
t
er recover
y
f
r
om bad operati
o
n
s
on bitw
i
se
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
A
l Vi
r
o
fi
x
inte
r
a
c
tion of typ
e
of with bitwise
types
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
A
l
Viro
fix
ali
g
n
ment fo
r
_Bool
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
Al Viro
c
h
eck for wh
i
tespace be
f
or
e
object-like macro
body
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
Al V
i
ro
saner reporting of ove
r
la
p
s in init
i
alizers
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
Al V
i
ro
h
a
ndle __alignof as
e
quiv
a
lent of __align
o
f__
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-10-24
Al Vi
r
o
switch
to hash-based g
e
t_on
e
_sp
e
cial()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-10-24
Al Viro
added a bu
n
ch of gcc builtins
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-10-01
Al V
i
ro
[PATC
H
] handle fouled-bitwise
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-10-01
Al Viro
[PA
T
C
H
]
saner
recove
r
y from endi
a
nness erro
r
s, part 1
.
commit
|
commitdiff
|
tree
2006-10-01
Al Viro
[P
A
TCH] m
e
r
ged compatible
_
.
.
.
_
binop() int
o
s
ingl
e
f
u
ncti
o
n
commit
|
commitdiff
|
tree
2006-10-01
Al Viro
[PATCH] beginning of SYM_RESTRICT rewrite:
r
estricte
d
_binop_
.
.
.
commit
|
commitdiff
|
tree
2006-10-01
Al V
i
ro
[PATCH] evaluate_compa
r
e() ca
n
jus
t
use evaluate_arith
.
.
.
commit
|
commitdiff
|
tree
2006-10-01
Al
V
iro
[PATCH] intro
d
uce classify_type(), use it in obv
i
ou
s
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-10-01
Al Vi
r
o
[PA
T
CH] ca
s
ting null poi
n
ter constan
t
to non-zero address
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-09-30
A
l
Viro
[
P
ATCH] add support for __b
u
i
lti
n
_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
l
i
cate
initialize
r
detection
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-09-30
Al Viro
[PATCH] fix f
o
r switch(b
a
d_type)
{
.
.
.
} se
g
faul
t
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-05-09
Al Viro
[PATC
H
]
c
o
unt_array_initi
a
lizer
(
) needs to know th
e
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al
V
iro
[PATCH] eliminate elif_ign
o
re, fix
handling of unterminated #if
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[PATCH] lookup_
m
acro() shou
l
d
be
s
t
atic
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[
P
A
T
CH] check
f
o
r
!
t
o
ke
n
in
h
andle_preproces
s
or_line
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al
V
iro
[PATCH] Doh
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[PATCH] fixed stream
-
>
p
r
o
tect handl
i
ng
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[
P
ATCH] fixed
ha
n
d
ling of out-of-place #e
l
if/#els
e
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[PATCH] beginning of #include protection re
w
rite: cleanup
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
A
l
Vi
r
o
[PATCH] fix
p
laces that didn't free preproc
e
ss
o
r line
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al V
i
ro
[PATC
H
] ta
k
ing free
_
preprocessor_line
(
) to caller of
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[PATCH]
remo
v
e
bogus do
u
ble warning
on #define/#undef
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al
V
iro
[PATCH]
sa
n
er 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
[PA
T
CH] remove
true_nesting, tu
r
n
i
f_nesting int
o
a
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-26
A
l
Viro
[PA
T
CH] Made __G
N
U
C__
e
t
.
al
.
weak defines, so that
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-23
Al Vi
r
o
[P
A
TCH] node
r
ef is
a
q
u
alifier
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-23
Al V
i
r
o
[PATCH] s
h
ut up the bo
g
us warnings ab
o
ut
t
h
e
#
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 special-case comm
a
after #
#
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-22
Al Viro
[PATCH] fix of co
m
pound liter
a
ls on i
n
lining
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-22
Al Viro
[P
A
TCH] f
i
x treatmen
t
of EXPR
_
COMMA by show_expres
s
io
n
()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-22
Al Vi
r
o
[PATCH] new flag -
W
one-bit-s
i
gn
e
d-bitfiel
d
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-22
Al Viro
[PATCH]
n
ew flag - -Wde
c
l
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-22
Al V
i
ro
[PATCH]
m
i
s
sin
g
builti
n
-
m
emcmp()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree