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
Remove explicit restatements of defaults in metadata for comma test
2007-07-29
Al Viro
[PATCH]
.
.
.
,
a
rray sh
o
uld degenera
t
e
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-29
A
l Viro
[PATCH]
f
ile and globa
l
scopes
a
re t
h
e
s
ame for purp
o
ses
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-28
Al Viro
[
P
ATCH] handlin
g
of ty
p
eof in evaluate_member_dereference()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-28
Al
V
iro
[PATCH] new helper
:
unfoul()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-28
Al Vi
r
o
[PAT
C
H] no
s
u
c
h
thin
g
as array of functi
o
ns
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-28
A
l Viro
[
PATC
H
] add _
_
b
u
i
l
tin_strlen()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
Al
Vir
o
[PA
T
CH]
d
eal correctly with qualifiers on arr
a
ys
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[PATCH] rewrite type_di
f
ference()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[P
A
TCH] fi
x
the sanity ch
e
ck in eval
u
ate
_
ptr_s
u
b()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[PATCH
]
get
c
om
p
atible_
a
ssignment
_
t
y
pe
s
()
d
eal
with
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[PAT
C
H]
s
tart cleaning type_differ
e
n
c
e()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[PATC
H
] integer_promoti
o
ns() can't ge
t
SYM_NODE or
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[
P
ATCH] clean up evaluate_s
i
g
n
()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[PATCH]
s
a
n
er show_type()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-10
Al V
i
ro
fix handli
n
g of p
o
inters in ?:
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-10
Al Viro
fix handling
o
f
a
ddres
s
_
s
pace in casts and
assignments
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-09
Al Viro
make
size
_
t
better appro
x
imat
e
t
h
e reality
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-09
Al Viro
firs
t
pass at
n
ull
p
o
i
n
ter constants
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-09
Al Viro
fix the
c
omm
a
han
d
l
ing
i
n integer constant expres
s
ions
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-26
Al Viro
[
P
AT
C
H]
fix ha
n
dling
of integ
e
r co
n
s
tant expres
s
i
ons
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-26
Al V
i
r
o
[PATCH
]
imp
l
emen
t
_
_builtin_
o
ffsetof()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Vir
o
[PAT
C
H] deal with en
u
m mem
b
er
s
wi
t
hout excessiv
e
P
I
TA
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Vi
r
o
[P
A
TCH]
w
a
r
n on ret
u
rn <void expression>
;
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PAT
C
H] i
n
case of c
o
mpound literal we want to dela
y
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al
Viro
[PATCH] move degenera
t
e
()
d
o
wn in
t
o compatibl
e
_a
s
s
ignment
_
ty
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[
P
ATCH] fi
x
de
f
ault argument promotion
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
A
l Viro
[PATCH] fix index conversions in
e
va
l
uate_
p
t
r_
a
dd()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al
V
i
ro
[PATCH] clean up usu
a
l_conv
e
rsio
n
s(), kill evaluate_
s
hift()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Vi
r
o
[PAT
C
H
] cl
e
an up the typecheckin
g
i
n
arithme
t
ics
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PATCH] c
l
eanup of evaluate_assign_op()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al
Viro
[PA
T
CH] remov
e
u
sel
e
ss argument in evalu
a
te_ptr_sub()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Vi
r
o
[PATCH] re
m
ove long-de
a
d
variable in evaluate_ptr_add()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al
Viro
[PATC
H
]
null pointer constants have no special meaning
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Vir
o
[PA
T
C
H] mechanically split compa
t
i
ble_assignment_types()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PATCH] take c
a
st_to() out
o
f usual_conversion
s
(),
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PATCH] mis
s
i
n
g NU
L
L ch
e
cks in initializer handling
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-18
Al Viro
[
P
ATC
H
] fix
handl
i
ng of typeof on
s
tr
u
cts
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-18
Al
V
i
ro
[P
A
TC
H
]
rewrite of in
i
tializer han
d
li
n
g
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-18
Al
V
ir
o
[PA
T
C
H] tie the fi
e
lds
o
f s
t
ruct in sim
p
le list
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-18
Al
V
iro
[PATCH] make copying of EXPR_INDEX non-lazy
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
Al
Viro
better rec
o
ve
r
y from bad ope
r
ations on bitwise
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
Al Viro
fix
in
t
er
a
ction of typeof with b
i
t
wise types
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
Al Viro
fix alignm
e
nt for _Bool
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
Al Viro
chec
k
for
w
h
itespace before
o
bject-like
macro
body
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
Al Viro
saner
r
e
p
orting of overl
a
ps i
n
in
i
tializers
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
Al Viro
h
andle __align
o
f
as equival
e
nt
o
f __
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
g
et_one_
s
pecial()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-10-24
A
l V
i
ro
add
e
d a bunch of gcc built
i
ns
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-10-01
Al Viro
[
P
A
T
CH]
hand
l
e fouled-bitw
i
se
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-10-01
Al
V
ir
o
[PATCH
]
saner rec
o
very from endiannes
s
errors, par
t
1
.
commit
|
commitdiff
|
tree
2006-10-01
Al Viro
[PAT
C
H] merged compatib
l
e_
.
.
.
_bin
o
p(
)
in
t
o single functi
o
n
commit
|
commitdiff
|
tree
2006-10-01
Al Viro
[
P
ATCH]
b
eginning of SYM_RESTRIC
T
rew
r
i
t
e: restricted_binop_
.
.
.
commit
|
commitdiff
|
tree
2006-10-01
A
l Viro
[PATC
H
] evaluate_compare(
)
can j
u
st use evaluate
_
arith
.
.
.
commit
|
commitdiff
|
tree
2006-10-01
Al
V
iro
[
P
A
T
C
H] introduc
e
cla
s
s
i
fy_
t
ype(), use it in obvio
u
s
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-10-01
A
l
V
i
ro
[
PATCH] ca
s
ting n
u
ll
pointe
r
constant to no
n
-zero address
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-09-30
Al Viro
[PATCH]
add su
p
port for
__builtin_choose_
e
xpr()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-09-30
Al Vir
o
[PATCH
]
f
i
x duplicat
e
initializer de
t
ection
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-09-30
Al Vir
o
[PATCH]
fix
for switch(bad
_
t
y
pe) {
.
.
.
}
s
egfault
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-05-09
Al Viro
[PATC
H
]
cou
n
t_arr
a
y_initiali
z
er() needs to kn
o
w
the
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[PATC
H
] elimin
a
te elif_ignore, fix handling
o
f unterminated #if
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al
V
iro
[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
ATCH
]
check for !token
in
h
andle_preproc
e
s
s
or_line
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
A
l
Viro
[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
otect
handling
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[PATCH
]
fixed handling of out-of-place
#el
i
f/#else
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al
V
iro
[PAT
C
H]
b
egi
n
ning of #inclu
d
e protec
t
ion rewrite: cleanup
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Vi
r
o
[PAT
C
H] f
i
x pla
c
es t
h
at did
n
't free
preproce
s
sor
line
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[PATCH
]
t
a
king fre
e
_preprocessor_line() to caller of
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
A
l Vi
r
o
[PATCH] remove bogus
double
w
arning
on #de
f
ine/#
u
ndef
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[
PATCH] saner handling o
f
#if[n]
d
ef
syntax errors
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al V
i
ro
[PATCH]
r
emove true_nesti
n
g,
turn
if_n
e
sting int
o
a
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-26
A
l
Viro
[PATCH] Mad
e
__GN
U
C
_
_ et
.
al
.
weak defines, so
t
hat
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-23
A
l Viro
[PATCH]
no
d
e
ref is a
q
ualifi
e
r
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-23
A
l Vi
r
o
[PATCH] shut up
t
he bo
g
us warnings ab
o
ut the #
i
f'ed
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-23
Al Viro
[PATCH] no need
t
o
s
peci
a
l-
c
ase comma after ##
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-22
Al Viro
[PATCH]
f
ix
o
f c
o
mpound literals o
n
inl
i
n
ing
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-22
Al Viro
[
P
ATC
H
] fix treatment of EXPR_
C
OMM
A
by
s
how_expressi
o
n()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-22
Al Vi
r
o
[PATCH] ne
w
flag - Wo
n
e-b
i
t-signed
-
bi
t
field
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-22
A
l
V
iro
[PATCH] ne
w
fla
g
- -Wdecl
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-22
Al Viro
[PATC
H
] mis
s
in
g
builti
n
- memcmp()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree