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] fix the sanity check in evaluate_ptr_sub()
2007-07-14
Al Viro
[PATCH] fix
t
h
e sa
n
ity c
h
eck in evaluate_ptr_sub(
)
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
A
l
Vi
r
o
[PATC
H
]
g
et compa
t
ible
_
assign
m
ent_types() deal with
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
A
l Viro
[PATCH] start cleaning
type_diff
e
rence()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
A
l Viro
[PATCH] integer
_
prom
o
tions()
c
an
'
t get SYM_NODE or
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[PATCH] cle
a
n
up evaluate_si
g
n()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[
PATC
H
]
saner sh
o
w
_type()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-10
A
l Vi
r
o
f
ix hand
l
i
ng
o
f poin
t
ers in ?:
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-10
Al Viro
fix han
d
ling of address
_
space in cast
s
and
a
s
s
ignments
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-09
A
l V
i
r
o
make
size_t better
a
pproximate th
e
realit
y
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-09
Al Vi
r
o
first pass at n
u
ll poi
n
ter const
a
nts
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-09
Al
Viro
fix the comma handling in integer constant expression
s
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-26
Al V
i
ro
[PA
T
CH
]
f
ix handling of integer
consta
n
t expressions
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-26
Al
Viro
[PATCH] implement __builti
n
_offsetof()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
A
l
Viro
[PATCH]
deal with enum members without ex
c
essiv
e
PITA
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PATCH] warn on return <void exp
r
essi
o
n>;
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al
Viro
[
P
ATCH] in case of compound litera
l
we want t
o
delay
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
A
l Viro
[PATCH] mo
v
e
de
g
ene
r
ate() down i
n
to co
m
patibl
e
_assignment_ty
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PATCH] fix default argument pr
o
motio
n
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[P
A
TCH
]
fix index conversions in e
v
al
u
ate_
p
tr_add
(
)
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
A
l
V
iro
[PATC
H
] clean up
u
sual_conversio
n
s(), kill evaluate_shif
t
(
)
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Vir
o
[PATCH] clean up the ty
p
echecking
i
n arithm
e
tics
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
A
l
Viro
[
PATCH] clea
n
up of ev
a
luate_
a
ss
i
gn_o
p
()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Vir
o
[PATCH] r
e
m
o
v
e
usel
e
ss
argument in eval
u
ate_ptr_sub()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al
V
i
r
o
[PA
T
CH] remove long-dead variable in evaluate
_
ptr_add()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Vir
o
[PATCH] n
u
ll
pointer
constan
t
s
have no specia
l
meaning
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al V
i
ro
[P
A
T
C
H] mechanically sp
l
it
c
o
mpatib
l
e_as
s
ign
m
ent_ty
p
es()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[P
A
TCH
]
take cast_to() out of usual_conve
r
sion
s
(),
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[P
A
TC
H
] missing N
U
LL
checks in initi
a
l
izer
ha
n
dling
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-18
Al Viro
[
P
ATCH] fix handli
n
g of
typeof on structs
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-18
Al Vi
r
o
[PATCH] rew
r
i
t
e of initializer h
a
nd
l
ing
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-18
Al Viro
[P
A
TCH] tie the fie
l
ds
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 cop
y
ing of EXPR_INDEX non-
l
azy
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
Al
V
iro
better re
c
o
ve
r
y
f
r
om
bad operations on bitwise
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
A
l V
i
ro
fix int
e
r
a
ction
o
f typeof with bitwise types
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
A
l
Vi
r
o
f
i
x
ali
g
nment for _Bool
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
Al
V
i
ro
check for whitespace be
f
ore object-like ma
c
ro body
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
Al Viro
saner reporting of ove
r
laps in init
i
alize
r
s
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
Al Vir
o
h
a
ndle
__align
o
f as equivalent o
f
__
a
lignof__
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-10-24
Al Viro
swit
c
h to
h
a
s
h-bas
e
d get_on
e
_
s
pe
c
ial()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-10-24
Al V
i
ro
a
d
ded a bunch of gcc builtins
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-10-01
Al Viro
[PATCH]
h
an
d
l
e fouled-b
i
t
wi
s
e
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-10-01
Al V
i
r
o
[
P
ATC
H
]
s
aner re
c
ov
e
ry from e
n
dianness errors, part 1
.
commit
|
commitdiff
|
tree
2006-10-01
Al Viro
[
PATC
H
] merged compati
b
le_
.
.
.
_binop() into
singl
e
f
un
c
tion
commit
|
commitdiff
|
tree
2006-10-01
Al
V
i
r
o
[PATCH] beginning of SYM_RE
S
TRICT rewrite: re
s
tr
i
cted_binop_
.
.
.
commit
|
commitdiff
|
tree
2006-10-01
A
l
Vi
r
o
[PATCH] eval
u
ate_compa
r
e() can just
use ev
a
l
u
ate_arith
.
.
.
commit
|
commitdiff
|
tree
2006-10-01
Al
V
i
ro
[PAT
C
H]
intr
o
duc
e
classi
f
y_type(), us
e
it in
o
bvio
u
s
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-10-01
Al Viro
[PATCH] casting
null pointer co
n
sta
n
t to non-
z
ero addre
s
s
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-09-30
Al Viro
[
PATCH] add support fo
r
__builtin_choose_exp
r
(
)
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-09-30
Al
V
iro
[PATC
H
] fi
x
d
u
plica
t
e
initializer detection
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-09-30
Al Viro
[
P
ATCH] fix for swi
t
ch(b
a
d_type) {
.
.
.
}
segfault
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-05-09
Al Viro
[PAT
C
H
] count_arr
a
y_initializer() need
s
to k
n
ow
the
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
A
l
Viro
[PATCH] elimi
n
ate elif_ignore, fix handling of
u
nterminated #i
f
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[PATCH] lookup_macro(
)
s
h
ould
be s
t
atic
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[PATCH]
check for !tok
e
n i
n
handle_p
r
e
p
roce
s
sor_li
n
e
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al
V
i
ro
[PATC
H
] Do
h
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Vi
r
o
[PAT
C
H] fixed stream->pr
o
t
e
ct handling
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[
P
ATCH
]
fixed h
a
ndling of out
-
of-place #elif
/
#else
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[PATCH]
b
eginning
o
f #in
c
lude
pr
o
tec
t
ion rewrite: cleanup
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[PA
T
CH] fix place
s
that
d
idn't free preprocessor line
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
A
l Viro
[PAT
C
H
]
ta
k
ing free
_
preprocessor_line() t
o
caller o
f
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[PATCH] rem
o
ve bogus
double
warning on #define/#un
d
ef
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[PA
T
CH] saner handli
n
g
of #if[n]def synta
x
errors
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[PATCH] remove
t
r
u
e_nesting, tur
n
if_nesting into a
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-26
Al Viro
[PATCH
]
Made
_
_GNUC__ et
.
al
.
w
ea
k
define
s
, so that
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-23
Al Viro
[PAT
C
H]
n
ode
r
ef is a
qualifier
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-23
A
l
V
ir
o
[
P
ATCH] shut up the bogus w
a
r
nings about the #if'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 co
m
m
a
aft
e
r
#
#
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-22
A
l Vi
r
o
[PATCH] f
i
x
o
f com
p
ound literals on
i
nlining
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-22
A
l
Vir
o
[
PATCH
]
fix tr
e
at
m
ent of EXP
R
_COMMA
by show_expr
e
ssi
o
n()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-22
Al Viro
[PATC
H
] new
flag -
Wone-
b
it-
s
igned-bitfield
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-22
Al Viro
[PATCH
]
ne
w
flag - -Wdecl
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-22
Al Viro
[PATCH]
miss
i
ng builtin - memcmp()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree