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
[PATCH] saner -Wtypesign
2007-07-29
Al Viro
[PATCH]
sane
r
-Wtyp
e
si
g
n
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-29
Al Viro
[PATCH] s
a
nitize evaluate_
p
ostop()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-29
Al Viro
[PATCH
]
fix e
v
alu
a
te_
c
omp
a
re()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-29
Al Viro
[PATCH] sanitize e
v
aluate
_
ptr_ad
d
(), start checkin
g
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-29
Al Viro
[
P
ATCH]
.
.
.
,arra
y
should degenerate
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-29
Al V
i
r
o
[P
A
T
C
H] file and global scop
e
s are the sa
m
e for purp
o
s
es
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-28
A
l
Viro
[PATC
H
] hand
l
ing o
f
typeof in evaluate_memb
e
r_dereference
(
)
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-28
Al V
i
r
o
[PA
T
CH
]
new h
e
lper: unfoul()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-28
Al Vir
o
[PATC
H
] no such
thin
g
a
s
a
rray
o
f fu
n
ctions
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-28
Al
V
i
ro
[PATCH] add __builti
n
_strlen()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
A
l
Viro
[
P
A
TC
H
] deal corr
e
ctly with qualifiers on arrays
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[P
A
TCH]
rewrite type_differe
n
c
e
()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[
PAT
C
H] f
i
x
the sanity chec
k
in evaluate_
p
tr_sub()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[PATCH] get compat
i
bl
e
_
assignment_
t
ypes() deal with
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[P
A
TCH] start c
l
eanin
g
type_
d
ifference()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
A
l
V
i
ro
[PATC
H
] integ
e
r_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
Viro
[
P
ATCH] clean up eval
u
at
e
_sign()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[PATCH] saner show_type()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-10
Al Viro
fix ha
n
dl
i
n
g of pointers i
n
?:
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-10
Al
Viro
f
ix handling of address_space in casts a
n
d assi
g
nments
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-09
Al Vi
r
o
make
s
i
z
e_t b
e
tter ap
p
roximate
th
e
r
e
a
l
ity
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-09
Al Vi
r
o
first pass at null pointer constants
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-09
Al V
i
ro
fix the
comma hand
l
ing in integ
e
r cons
t
ant
e
xpressions
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-26
Al
V
iro
[PAT
C
H
]
fix
handling
o
f
int
e
g
e
r c
o
nstant exp
r
ess
i
ons
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-26
Al Viro
[P
A
TCH] implement __builtin_offsetof()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Vir
o
[
P
A
TCH] deal with enum members w
i
tho
u
t e
x
c
e
ssive 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 expression>;
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
A
l
Vir
o
[PATCH] in case of compound 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 deg
e
nerate() dow
n
into
com
p
atible_ass
i
gnment_
t
y
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
A
l Viro
[
P
AT
C
H
]
fix default argument p
r
omotion
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PATCH] fix index conversions in
e
valuate_ptr_a
d
d()
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
ev
a
lu
a
te_shift
(
)
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al
V
iro
[PATCH] clean up the typechecking in arithmetics
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al
V
i
r
o
[PATCH] cleanu
p
o
f eva
l
u
a
t
e_assi
g
n_
o
p()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Vi
r
o
[PATCH] remove useless
a
rgu
m
e
nt in e
v
a
l
uate
_
ptr_su
b
()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[
P
A
TCH] remov
e
l
on
g
-dead varia
b
le
i
n ev
a
luate_ptr_
a
d
d()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PAT
C
H] n
u
ll poin
t
er const
a
n
t
s have
no
spe
c
ial meaning
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[
PATC
H
]
mechanically spl
i
t
c
ompat
i
ble_as
s
ignment_
t
ypes()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PATC
H
] tak
e
cast_to() out of usual_conve
r
sions(),
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PATCH] mis
s
ing NULL ch
e
cks in initial
i
zer handling
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-18
Al
V
iro
[PATCH] f
i
x
handling
o
f
typeof on str
u
ct
s
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-18
Al Viro
[
P
ATCH]
r
e
write of initi
a
lizer
hand
l
ing
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-18
Al V
i
ro
[
P
ATCH]
t
ie t
h
e
f
ields
of
s
tr
u
ct in s
i
mple list
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-18
A
l
Viro
[PAT
C
H
]
mak
e
copyin
g
of EX
P
R_IN
D
EX
n
o
n
-lazy
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
Al Viro
b
e
t
ter recovery f
r
om bad opera
t
i
o
ns
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 with bit
w
i
s
e t
y
pe
s
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
Al Vi
r
o
fix alignment for _Bool
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
Al
Viro
c
h
eck for whitespace before obj
e
ct-like macro body
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
Al V
i
r
o
saner reporting of
o
v
erlaps
in i
n
itializers
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
Al Vir
o
handle __al
i
g
n
of as equivalent of __alignof__
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-10-24
Al Viro
swit
c
h
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
dded a bunch of
gcc builtins
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-10-01
Al Viro
[
P
ATCH] handle fouled-bi
t
wise
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-10-01
Al Vir
o
[PATCH] sane
r
reco
v
er
y
from endiann
e
ss er
r
ors
,
pa
r
t 1
.
commit
|
commitdiff
|
tree
2006-10-01
Al Viro
[PATCH] merged
c
ompatible_
.
.
.
_binop() into single func
t
i
o
n
commit
|
commitdiff
|
tree
2006-10-01
A
l
Viro
[PAT
C
H] beginning
of SYM_RE
S
TRICT rewrite: res
t
ricted_binop_
.
.
.
commit
|
commitdiff
|
tree
2006-10-01
Al Viro
[PATCH] evaluate_compare
(
) can just us
e
eval
u
ate_arit
h
.
.
.
commit
|
commitdiff
|
tree
2006-10-01
Al
Vir
o
[PATCH]
introduce class
i
fy_typ
e
(), use it in o
b
vious
.
.
.
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
c
ons
t
a
n
t
t
o
non-zero
a
dd
r
ess
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-09-30
Al Viro
[PA
T
CH]
a
d
d support for
__b
u
iltin_
c
hoose_expr()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-09-30
Al Viro
[PATC
H
] fix du
p
licate
init
i
alizer detection
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-09-30
Al
Viro
[PA
T
CH] fix for switc
h
(bad_
t
y
p
e
) {
.
.
.
} segfault
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-05-09
A
l
Viro
[PAT
C
H] count_array_init
i
alizer(
)
needs to know
the
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al
V
iro
[PATCH] eliminate eli
f
_igno
r
e,
fix h
a
ndling of unt
e
r
m
inate
d
#i
f
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
A
l
V
i
r
o
[
PATCH] lookup_macro() should be static
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al V
i
ro
[PATCH]
c
h
ec
k
for !token in handle_prep
r
o
c
essor_
l
i
n
e
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al
V
i
ro
[PATCH] Doh
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
A
l Viro
[
P
ATCH] f
i
xed stream->protect handli
n
g
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[PATCH
]
f
i
x
ed h
a
ndling of
o
u
t-of-place
#elif/#else
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[
PATCH] beginn
i
ng
o
f
#i
n
clude
pr
o
t
e
ct
i
o
n rewrit
e
: cle
a
n
up
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[
P
ATCH
]
fix
p
laces
t
h
at d
i
dn't free preprocessor
l
ine
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al
Viro
[PA
T
CH]
t
a
king free_pr
e
p
r
ocessor_line() to call
e
r of
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
A
l
V
i
ro
[P
A
TCH
]
remove bogu
s
d
ouble
warning on #d
e
fine/#
u
ndef
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[PATCH]
s
a
ner handling of #if[n]
d
ef sy
n
ta
x
errors
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al V
i
ro
[
P
ATC
H
] re
m
ove true_nesting,
tur
n
i
f_nesting
into a
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-26
Al Viro
[
P
AT
C
H] Made __GNUC
_
_ et
.
al
.
we
a
k defines, so
t
hat
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-23
A
l Viro
[PATCH] noderef is a quali
f
ier
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-23
A
l
V
iro
[P
A
TCH] sh
u
t
u
p the bog
u
s warning
s
a
b
out the
#
i
f'ed
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-23
Al Viro
[PA
T
CH] no need to s
p
ecial-
c
ase comma after ##
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-22
Al Viro
[P
A
TCH]
f
ix of compound litera
l
s
o
n inlining
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-22
Al
V
iro
[PATC
H
]
fix tr
e
atm
e
nt o
f
E
X
PR_
C
O
MMA by
s
ho
w
_e
x
pression()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-22
Al Viro
[PA
T
CH] new flag - Wone-bit-signed-bitfield
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-22
Al Viro
[PAT
C
H
]
new flag - -Wdecl
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-22
Al Vi
r
o
[PATCH] missin
g
builtin - memcmp()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree