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] no such thing as array of functions
2007-07-28
Al Viro
[
P
ATCH] n
o
such t
h
in
g
a
s
array of functions
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-28
Al
V
iro
[PA
T
CH]
add __builtin_strlen()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
Al
V
i
ro
[PAT
C
H] deal correctly w
i
th qualifiers on
a
rrays
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[PATCH] rewrit
e
type_differe
n
ce()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[
P
ATCH] fi
x
the sani
t
y che
c
k
in evaluate_p
t
r_sub
(
)
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[PA
T
C
H] get c
o
mpatible_a
s
signm
e
nt_
t
yp
e
s
(
) deal with
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
A
l
Viro
[
P
ATCH] start cleaning ty
p
e_difference()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
Al
Viro
[PATCH] integer_promo
t
io
n
s
() can'
t
get SYM_NODE
o
r
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[
P
A
TC
H
] cle
a
n up
eva
l
uate_sign()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
A
l
Viro
[
PATCH] san
e
r show_type()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-10
Al V
i
ro
fix h
a
n
d
l
ing of poin
t
ers in ?:
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-10
Al Vir
o
fix handling of
ad
d
ress_space in
c
asts
and assignmen
t
s
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-09
Al
V
i
ro
make size
_
t be
t
ter
approximate the re
a
lit
y
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-09
Al Viro
first pass at null pointer co
n
stants
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-09
Al Viro
fix the comma h
a
ndling in
integer
constant expressions
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-26
Al
V
i
ro
[PA
T
C
H] fix h
a
ndling o
f
integer const
a
nt ex
p
ress
i
ons
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-26
Al Viro
[PATCH] implement __bu
i
l
t
i
n_offseto
f
()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PATC
H
]
d
e
a
l with
enum mem
b
ers with
o
ut exc
e
ssiv
e
PITA
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PATCH] w
a
rn on return <
v
o
id expression
>
;
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al V
i
ro
[PATCH
]
in case of compound li
t
eral
w
e want to
d
elay
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[P
A
TCH] move degener
a
t
e
(
) dow
n
into compat
i
ble_a
s
signment_
t
y
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PATCH] fix def
a
u
l
t
argument
promotion
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PATCH] fix
i
ndex conversions
i
n evaluate_ptr_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 up usu
a
l_con
v
e
r
sions()
,
kill
e
valuate_shi
f
t()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al
Viro
[P
A
TCH] clean
up the typec
h
eck
i
ng in arith
m
etics
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PA
T
CH] cle
a
n
up
of e
v
aluate_assign_op()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al
V
iro
[P
A
TCH] remove u
s
eles
s
argument
i
n evaluate_ptr
_
sub()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[
P
ATC
H
] remove long-dead
var
i
able
in evalua
t
e_ptr
_
add()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PA
T
CH] null pointer constants
hav
e
no special meaning
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
A
l
Vi
r
o
[PATCH] mechanically
split compatible_as
s
ignment_
t
ypes()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al
V
iro
[P
A
TCH] take cast_t
o
() out of usual_conversions(),
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Vi
r
o
[P
A
TCH] missin
g
NULL c
h
ecks in
i
nitializer handl
i
n
g
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-18
A
l Viro
[P
A
TCH] f
i
x
h
a
ndlin
g
o
f typeof on st
r
ucts
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-18
Al Viro
[
P
ATCH] rewrite of in
i
tializer
handling
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-18
Al Vir
o
[PATCH] ti
e
the
fields
o
f stru
c
t in simple li
s
t
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-18
A
l
Viro
[PATCH] m
a
ke c
o
p
y
ing of
E
X
P
R_IN
D
EX no
n
-lazy
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
A
l
V
iro
better recovery f
r
om bad ope
r
ations
on bitwise
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
Al Viro
f
i
x
inter
a
c
t
io
n
of typeof wi
t
h bit
w
ise types
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
Al V
i
ro
fix a
l
ig
n
me
n
t for _Bool
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
Al
V
iro
check for whitespace before object
-
like
m
acro body
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
A
l
Vir
o
saner re
p
orting
of over
l
aps in
i
n
itializers
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
Al Viro
handle __align
o
f as equivale
n
t of __
a
l
ignof__
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-10-24
Al Viro
switch to hash-based get_o
n
e_special()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-10-24
Al V
i
ro
added a bunch of
g
cc b
u
iltins
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-10-01
Al V
i
ro
[PATCH] hand
l
e
fou
l
ed-b
i
twise
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-10-01
Al Viro
[PATCH]
s
aner recovery fro
m
endianness erro
r
s, part 1
.
commit
|
commitdiff
|
tree
2006-10-01
Al Viro
[
PA
T
C
H
]
mer
g
ed compatible_
.
.
.
_binop() into single f
u
nction
commit
|
commitdiff
|
tree
2006-10-01
Al Viro
[
P
A
TCH] beginning of SYM
_
RESTRICT rewrite:
r
es
t
ricted_b
i
nop_
.
.
.
commit
|
commitdiff
|
tree
2006-10-01
Al Viro
[P
A
T
C
H]
e
valuate_compare() can just use evaluate_arith
.
.
.
commit
|
commitdiff
|
tree
2006-10-01
Al Viro
[PATCH
]
introd
u
c
e
c
lass
i
fy_type
(
), use i
t
in obvious
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-10-01
Al Vir
o
[PATCH
]
cast
i
ng null poi
n
te
r
co
n
stant to
non-zero addr
e
s
s
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-09-30
Al Viro
[PATCH] add
s
upport
for __builtin_choose_expr()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-09-30
Al Viro
[PAT
C
H] f
i
x duplicate
initializer detection
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-09-30
Al Vi
r
o
[PATCH] fix
for s
w
itch(bad_typ
e
) {
.
.
.
} segfault
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-05-09
A
l Viro
[
P
ATCH] co
u
nt_
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
V
i
ro
[PATCH] elim
i
nate elif_ignore, fix handling of
u
ntermina
t
ed #i
f
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al V
i
ro
[PATCH] lookup_macro() s
h
ould
be static
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[
P
A
T
C
H
] check
for
!
token i
n
ha
n
dl
e
_preprocessor_line
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al
Vi
r
o
[PATCH] Doh
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Vi
r
o
[PATCH] fix
e
d s
t
ream->protec
t
handling
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al
Viro
[
PATCH] fixe
d
handling of ou
t
-of-place #elif/#els
e
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[PATCH]
b
e
g
inning of #i
n
clude protecti
o
n rewrite: cleanup
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Vi
r
o
[PATCH] fix places
t
h
a
t
d
id
n
'
t
free prepro
c
e
s
sor line
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al
Vi
r
o
[PAT
C
H] taking
f
ree_preprocessor_
l
ine() to cal
l
er of
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[PATCH] rem
o
ve bogus
d
ouble warning
on
#
define/
#
undef
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al
Viro
[PATC
H
] saner handling of #if[n]def sy
n
t
a
x
errors
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Vir
o
[
PATCH] remove true_nes
t
ing, turn if_nest
i
ng into a
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-26
Al Vi
r
o
[
PA
T
CH
]
Made
_
_GNUC_
_
et
.
al
.
weak defines, so
th
a
t
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-23
Al
Viro
[
PATCH] n
o
d
e
ref is a qua
l
ifie
r
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-23
Al Vir
o
[PATCH] shu
t
up the b
o
gus warnin
g
s ab
o
ut
t
h
e
#
if'ed
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-23
A
l Viro
[PATCH] no
nee
d
to special
-
cas
e
comma
after ##
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-22
Al Viro
[P
A
TCH] fix of
compound literals on inlining
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-22
Al
V
i
ro
[PATCH] fix treatmen
t
of EXPR_COMMA by show_
e
xpressi
o
n()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-22
Al
V
iro
[PATCH] new flag - Wone-bit-s
i
gned
-
bi
t
fi
e
ld
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-22
Al V
i
ro
[PATCH
]
new
flag
- -Wdecl
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-22
Al Viro
[PAT
C
H] missin
g
builtin
-
mem
c
m
p()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree