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] deal correctly with qualifiers on arrays
2007-07-14
A
l
Viro
[P
A
TCH] deal
c
orr
e
ctly
with qualifiers o
n
arra
y
s
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[PA
T
C
H] rewrite type_difference()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
A
l Viro
[PAT
C
H
]
fix the
sanity ch
e
c
k in e
v
aluat
e
_ptr_sub()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[PATC
H
]
g
et compatible_ass
i
gnment_types() deal
w
ith
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[PATCH] start
c
leaning type_differenc
e
()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[PATCH
]
integer_p
r
omo
t
ions(
)
c
a
n
't
g
e
t
SYM_NO
D
E
or
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
A
l
Viro
[PATCH] clean up evaluate_sign
(
)
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[PATCH
]
saner
s
h
ow_ty
p
e()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-10
Al V
i
r
o
fix handling of pointers in ?:
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-10
Al Viro
fix han
d
l
ing of ad
d
ress_space in
casts and assignme
n
t
s
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-09
Al Viro
make si
z
e
_t better approximat
e
the real
i
ty
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-09
Al Viro
first pass
at null po
i
nter con
s
tan
t
s
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-09
Al Viro
fix the co
m
m
a ha
n
dling in integer constan
t
expr
e
ssions
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-26
Al Viro
[
PATCH] fix h
a
ndling of i
n
teger c
o
nstant ex
p
ressions
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-26
Al Viro
[PATC
H
] implement __builtin_off
s
e
t
of()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PATCH] deal with enum members w
i
th
o
ut
e
xcessive
P
ITA
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
A
l Viro
[PA
T
CH]
w
arn on return
<
v
oid expression>;
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[
P
A
T
CH] in c
a
s
e o
f
comp
o
un
d
literal w
e
want to delay
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[
P
ATCH] move degenerat
e
() do
w
n into c
o
m
p
atible_a
s
signment
_
t
y
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Vir
o
[PATCH] fix def
a
ult argument p
r
omotion
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al
V
iro
[PATCH] fi
x
index
conversions in evalua
t
e_ptr
_
add(
)
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PATCH] clean up usual_conve
r
sio
n
s(), kill ev
a
l
u
ate_shift
(
)
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al
Viro
[
PATCH] clean u
p
the typechecking in arithmetics
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PAT
C
H
]
cleanup o
f
evaluate_
a
ssign_
o
p()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PATCH] remo
v
e useles
s
a
r
gument in e
v
aluate_ptr
_
sub()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PATC
H
] remove long-dead
variable in evaluate_
p
t
r
_add(
)
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
A
l Viro
[PATCH] null
poi
n
ter constants have no
s
pecial meanin
g
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PATCH] mechanically s
p
lit comp
a
tib
l
e_a
s
signment
_
t
y
pes()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Vi
r
o
[
PATCH] ta
k
e cast_to
(
) out of
usua
l
_conversions
(
),
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
A
l Viro
[PAT
C
H] missi
n
g
N
ULL checks in initializer ha
n
dling
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-18
A
l
Viro
[PATCH] fix handling of typeof on
structs
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-18
A
l
V
i
ro
[PATCH] rew
r
i
t
e of i
n
itializer handli
n
g
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-18
Al Vi
r
o
[PATCH
]
tie the fields
of st
r
uct in simple li
s
t
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-18
Al Viro
[PATCH
]
make copying of EXPR_INDEX
n
on-lazy
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
Al Vir
o
better recovery
f
rom
bad operatio
n
s on bi
t
wise
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
Al Viro
fix i
n
tera
c
tion o
f
ty
p
eof with bitwise
t
ype
s
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
Al Viro
fix ali
g
nme
n
t
for _Boo
l
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
Al Vir
o
check for whitespace
b
efo
r
e obje
c
t
-like m
a
cro body
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
Al
Viro
saner reporting of
ove
r
l
a
ps i
n
initializers
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
Al Viro
h
andle __alignof a
s
equiva
l
ent of __alignof__
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-10-24
Al Viro
s
witch to hash-based ge
t
_one_special()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-10-24
Al Vi
r
o
added a bun
c
h of
g
cc builtins
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-10-01
Al
V
iro
[PATC
H
]
h
andle f
o
ule
d
-
b
itwis
e
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-10-01
Al Viro
[PATCH]
s
a
ner re
c
overy from endianness
e
rrors,
part 1
.
commit
|
commitdiff
|
tree
2006-10-01
Al Viro
[PATCH] merged compat
i
ble_
.
.
.
_binop()
i
nto single functi
o
n
commit
|
commitdiff
|
tree
2006-10-01
A
l
Viro
[
P
ATCH] beginning of
SYM_RESTRI
C
T r
e
write
:
r
e
s
tricted_binop
_
.
.
.
commit
|
commitdiff
|
tree
2006-10-01
Al Viro
[PATCH] ev
a
luate_
c
ompa
r
e() c
a
n
ju
s
t use
e
v
a
luate_arith
.
.
.
commit
|
commitdiff
|
tree
2006-10-01
A
l
Viro
[PATC
H
] introduce c
l
ass
i
fy_type(), use it i
n
obv
i
ous
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-10-01
Al
Vi
r
o
[P
A
TCH] casting nul
l
po
i
nter constant
t
o non-zero
a
d
dre
s
s
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-09-30
Al Viro
[PATC
H
] add s
u
pport for __builtin_
c
hoose_expr()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-09-30
Al Vir
o
[PATCH] f
i
x
duplicate initi
a
li
z
er detection
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-09-30
Al Viro
[P
A
TCH]
f
ix for s
w
it
c
h(bad
_
type) {
.
.
.
} segfault
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-05-09
A
l
Viro
[
P
A
TCH] count
_
array
_
in
i
tial
i
zer() needs to know th
e
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[PATCH] el
i
mina
t
e el
i
f_ignore, fix handling of unte
r
minated
#if
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
A
l
Viro
[PATCH] lookup_mac
r
o
(
) should be st
a
tic
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[PATCH] check for
!toke
n
in ha
n
dle_preprocessor
_
line
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[PATCH
]
Doh
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al
Viro
[PATCH] fixed str
e
am
-
>
protect handling
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[PATC
H
] f
i
xed handli
n
g of
out-of-place
#elif/#else
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[P
A
TCH] b
e
ginning of
#inc
l
ude
p
rotectio
n
r
e
wr
i
te: cleanup
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al
V
ir
o
[PATCH] fix
p
l
a
ces that
d
idn't free preprocessor
l
i
ne
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[
P
ATCH] taking free_
p
reprocessor_line()
to ca
l
ler of
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[PATCH] remo
v
e
bogus double wa
r
nin
g
on #define/#unde
f
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al V
i
ro
[PATCH]
s
aner handli
n
g of #if[n]def syntax er
r
ors
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Vi
r
o
[PATCH] remove tr
u
e_nestin
g
, tu
r
n if_n
e
s
ting
into
a
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-26
Al
V
i
r
o
[PAT
C
H
] Made
__
G
NUC__ et
.
al
.
weak defines, so tha
t
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-23
A
l Viro
[PA
T
CH
]
noderef
is a
qualifie
r
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-23
Al Viro
[PA
T
C
H
]
shut u
p
th
e
bogus warning
s
about the
#
i
f'ed
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-23
Al
V
iro
[
PATCH] no n
e
ed
t
o special-case
c
omma aft
e
r ##
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-22
A
l
Viro
[P
A
TCH] fix of compound
l
iterals on inlinin
g
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-22
Al Vi
r
o
[PATCH] fix treatment of EXPR_COMMA by show_expres
s
ion()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-22
Al Viro
[PATCH
]
n
e
w flag - Wone
-
bi
t
-
s
ig
n
ed-bit
f
i
eld
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-22
Al Viro
[
P
A
TCH] new flag - -Wdecl
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-22
Al Viro
[PATCH] missing builtin - memc
m
p()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree