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
Sort warning options in lib.c and lib.h
2007-07-29
Al Vi
r
o
[PATCH] braino in
c
onditional_expres
s
ion()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-29
Al Viro
[PATCH]
saner -Wtyp
e
sign
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-29
Al Viro
[
PAT
C
H
] sanitize ev
a
luate_posto
p
()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-29
Al Viro
[PAT
C
H] fix evaluate_
c
o
m
pare()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-29
Al Viro
[PATC
H
] sani
t
ize eva
l
uate_
p
t
r
_
add(), start checkin
g
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-29
Al Viro
[PATCH]
.
.
.
,arr
a
y sh
o
uld degenerate
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-29
A
l
V
iro
[PATCH] fi
l
e a
n
d global sc
o
pes are th
e
same
for purposes
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-28
A
l Viro
[PATCH] ha
n
dling
o
f t
y
p
e
o
f i
n
evalua
t
e_member_der
e
ference(
)
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-28
Al Vi
r
o
[PAT
C
H] ne
w
helpe
r
: unfou
l
()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-28
A
l Vi
r
o
[
P
A
TCH] no su
c
h thing as array of functio
n
s
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-28
A
l
Vi
r
o
[
PATCH] ad
d
__b
u
iltin_strl
e
n()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
Al Vir
o
[
P
ATCH] de
a
l
correctly with q
u
alifie
r
s on arrays
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[PATC
H
] rewrite
ty
p
e_di
f
f
e
rence()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
Al
V
iro
[PATCH] fi
x
the sanity che
c
k in evaluate_ptr_sub()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[
P
A
TCH] get c
o
mpatible_assignment
_
types() deal
w
ith
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
Al Vi
r
o
[PATC
H
] start cl
e
ani
n
g
t
y
pe_di
f
fere
n
ce()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
Al Vi
r
o
[PATCH] integer_promotions() can'
t
get SYM_NODE or
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[PA
T
CH
]
clean
u
p evaluate_sign()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[PATCH] saner sh
o
w_type
(
)
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-10
A
l
V
ir
o
f
i
x handling
o
f pointers i
n
?:
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-10
A
l
Vi
r
o
fix handling of addr
e
ss_space in cas
t
s and as
s
ignments
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-09
Al
V
iro
make size_t
be
t
ter
a
pproximate the re
a
lity
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-09
Al
V
ir
o
f
i
r
s
t
pass at n
u
ll
pointer c
o
nstants
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-09
Al Viro
f
i
x th
e
c
omma handling in integer constant expres
s
ion
s
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-26
Al Viro
[
P
ATCH] f
i
x
handling of in
t
eg
e
r
constant expressions
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-26
Al Viro
[
PATCH] implement __builtin_
o
ff
s
et
o
f()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[P
A
T
CH] deal with enu
m
membe
r
s wi
t
hout
e
xc
e
s
s
ive PITA
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[
PATCH]
warn on return <voi
d
expr
e
ss
i
on>;
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Vi
r
o
[PATCH] in
c
a
se of compound lite
r
a
l
we want to delay
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
A
l
Viro
[
P
AT
C
H]
move degenerate() do
w
n in
t
o co
m
patible
_
assignment_t
y
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al
Viro
[P
A
TCH]
f
ix defau
l
t
a
rg
u
m
ent promotion
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PATC
H
] fix index c
o
nversions
i
n 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
[PATC
H
] clean up usual_conve
r
sion
s
(
), kill evaluat
e
_shift()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PATCH] clean up the t
y
pechecking in arithmetics
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
A
l
Vir
o
[PATCH] clea
n
up of eval
u
ate_assign_op()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
A
l
V
iro
[PATCH] rem
o
ve useless
a
r
g
u
m
ent in
evaluat
e
_pt
r
_s
u
b()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Vi
r
o
[PATCH] remove long-
d
ead variab
l
e
i
n
e
valuate_
p
tr_add()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
A
l
Viro
[PATCH] null
p
oin
t
er
con
s
t
a
nt
s
hav
e
n
o
special meaning
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al V
i
ro
[PAT
C
H] me
c
h
anically
s
pli
t
c
o
m
p
a
t
ible_assignment_ty
p
es()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PAT
C
H] take c
a
s
t
_to() o
u
t of usual_conversions(),
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PATCH] missing NULL c
h
ecks in
initializer h
a
nd
l
i
n
g
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-18
A
l
Viro
[PATCH]
fix handlin
g
o
f
t
y
peof on structs
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-18
A
l
Viro
[PATCH] rewrite of initiali
z
er h
a
ndling
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-18
Al Vir
o
[PATCH] t
i
e the fie
l
ds o
f
s
t
ruc
t
in simple list
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-18
Al Viro
[PATCH]
make copying
of E
X
P
R_IND
E
X no
n
-laz
y
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
Al Viro
b
etter recover
y
fro
m
bad operations on bitwi
s
e
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
A
l
Viro
f
i
x interaction
o
f typeof with bitwise types
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
Al Viro
fi
x
alignment for _Bool
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
Al Viro
ch
e
c
k
for
whitespace before object-l
i
ke
macro body
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
A
l
Viro
s
aner repo
r
ting
o
f
o
v
erlaps in
in
i
tializers
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
Al Viro
handle
_
_ali
g
nof as
equivalent o
f
__alignof__
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-10-24
A
l
V
i
ro
s
w
itch to hash-based ge
t
_one_special()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-10-24
A
l
Viro
add
e
d a bunch of gcc builtins
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-10-01
Al Viro
[PATCH] handle fouled-b
i
twise
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-10-01
Al
V
ir
o
[
PATCH] saner reco
v
ery from endianness errors, part 1
.
commit
|
commitdiff
|
tree
2006-10-01
Al Viro
[PATCH]
m
erge
d
compatible
_
.
.
.
_binop() i
n
to single fu
n
c
tion
commit
|
commitdiff
|
tree
2006-10-01
Al Viro
[PA
T
CH
]
begi
n
ning of SYM_
R
ESTRIC
T
rewrite:
re
s
tricted_binop_
.
.
.
commit
|
commitdiff
|
tree
2006-10-01
A
l
V
i
r
o
[PATCH]
e
v
a
l
uate_compare()
can just
use evaluate_
a
r
i
th
.
.
.
commit
|
commitdiff
|
tree
2006-10-01
Al Viro
[PATCH] introduce classif
y
_type
(
), use it in obvious
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-10-01
Al
Viro
[
P
ATCH] casting n
u
ll poi
n
t
er constant to non-zero addre
s
s
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-09-30
Al V
i
ro
[PATCH] add support fo
r
__builtin_ch
o
o
se_expr()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-09-30
Al Vi
r
o
[PATCH] f
i
x dupli
c
ate initial
i
z
e
r detectio
n
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-09-30
Al
V
i
r
o
[PATCH] fix for switch(bad_type) {
.
.
.
} segfault
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-05-09
Al Viro
[PATC
H
] count_arra
y
_initializer() n
e
eds to know the
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[P
A
TCH] eli
m
inate e
l
if_
i
gnore, fix handling of unter
m
ina
t
ed #if
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
A
l Viro
[P
A
T
C
H] l
o
okup_m
a
cro() sho
u
ld b
e
static
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
A
l
Viro
[PATCH
]
check
f
or !toke
n
in handle_p
r
ep
r
oce
s
s
o
r_l
i
ne
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[PATCH] D
o
h
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
A
l
Viro
[PATCH] f
i
xed
s
tream->pr
o
tect handling
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
A
l
Viro
[
PATCH] fixed handl
i
n
g
of o
u
t-o
f
-
p
l
ace #elif/#else
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al V
i
ro
[
P
A
T
CH] b
e
ginni
n
g
o
f
#in
c
lude protection rewrite: cleanup
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[PA
T
CH] fix places that did
n
't free
p
reprocessor l
i
ne
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al
Viro
[
P
A
T
CH] takin
g
free_preprocessor
_
line() to calle
r
of
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Vi
r
o
[PATCH] r
e
move
b
o
gus
double
warning on
#
define/#unde
f
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[PATCH] saner hand
l
ing of #i
f
[n]d
e
f
s
yntax er
r
ors
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Vir
o
[PA
T
CH] remove true
_
n
e
stin
g
, t
u
rn if_nesting into a
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-26
Al Vir
o
[P
A
TCH] Made __GN
U
C_
_
et
.
al
.
we
a
k defines
,
so that
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-23
Al Viro
[PATCH] noder
e
f
i
s a qualifie
r
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-23
Al Viro
[PATC
H
] shut u
p
t
h
e bogus warnings
a
bou
t
the #if'e
d
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-23
Al Viro
[PATCH] no need to s
p
e
c
ial-cas
e
comma after ##
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-22
Al Viro
[PATCH
]
fix
o
f com
p
o
u
nd
literals
on
inli
n
ing
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-22
A
l Viro
[
P
ATCH]
fix tre
a
tment of EXPR_C
O
MMA by sh
o
w_expression()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-22
A
l Viro
[PATCH] new
f
lag - Wo
n
e-bit-sig
n
ed-bitf
i
eld
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-22
Al Viro
[PATCH] new flag
-
-Wd
e
c
l
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-22
Al
Viro
[P
A
TCH] mi
s
sing builtin
-
memcm
p
()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree