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
Makefile: VERSION=0.4
2007-07-29
Al
V
i
r
o
[PATCH] bra
i
no in
c
ondi
t
ional_expressi
o
n
()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-29
A
l
V
iro
[P
A
TCH] saner -Wtypesign
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-29
Al Viro
[PATCH] sa
n
itize evaluate_postop()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-29
Al Viro
[PATCH] fix evaluate_compa
r
e()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-29
Al Viro
[P
A
TCH] sanitize
e
valuate_ptr_add(), start ch
e
cking
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-29
Al Viro
[PA
T
CH
]
.
.
.
,
a
rray should deg
e
ne
r
ate
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-29
Al
V
i
ro
[
P
A
T
C
H]
f
i
l
e and glob
a
l scopes
a
re
t
he same f
o
r
p
urposes
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-28
Al Viro
[PATCH]
h
andling of type
o
f in evaluate_member_dereference()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-28
Al Vi
r
o
[PATCH] new helper: unfo
u
l()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-28
Al Viro
[
P
ATCH]
n
o suc
h
thing as arr
a
y of funct
i
o
n
s
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-28
Al V
i
ro
[PATCH]
add __builtin_strlen(
)
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
A
l
V
iro
[
P
ATCH] deal
correc
t
ly
w
ith qua
l
i
f
iers on
arrays
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[PA
T
CH] re
w
rite type_
d
iffere
n
c
e
()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
Al
Viro
[PATCH] fix the sanity check in
e
v
a
luate_pt
r
_sub()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[P
A
TCH] g
e
t
com
p
ati
b
l
e
_assignment_t
y
pes() deal w
i
th
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[PATCH] start
c
leaning
type_differ
e
n
c
e()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[
PATCH] integer_promotio
n
s() c
a
n'
t
get SY
M
_NODE or
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
A
l
V
iro
[PATC
H
] clean
up
evaluate_sig
n
()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[P
A
TCH] saner show_type
(
)
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-10
Al Vir
o
fix handling of poi
n
ters in ?
:
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-10
Al V
i
ro
fix handling of address_sp
a
c
e
in casts and as
s
ig
n
m
ents
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-09
Al Viro
make size_t b
e
tter approximat
e
the re
a
lity
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-09
Al Viro
f
ir
s
t pass at
n
ull pointer
cons
t
ants
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-09
A
l V
i
r
o
fix the c
o
mm
a
handling in int
e
ger constant expressions
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-26
Al Viro
[PATCH
]
fix handling of
i
n
teger cons
t
ant
expressions
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-26
Al Viro
[P
A
TCH]
imple
m
ent __builti
n
_offsetof()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[
P
ATCH]
d
eal
wi
t
h enum
m
embers without e
x
c
es
s
ive PITA
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PATCH] warn on
r
eturn <void expressi
o
n>;
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PATCH]
in cas
e
of compound liter
a
l we want
t
o delay
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Vi
r
o
[PATCH] move dege
n
erate() down in
t
o c
o
mp
a
tible_assignment_ty
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Vir
o
[
PAT
C
H]
f
ix default argument p
r
o
moti
o
n
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PATC
H
] fix index
con
v
ersions in evaluate_ptr_add()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al V
i
r
o
[PATCH
]
clean up us
u
al_conversions(), kill ev
a
luate
_
shift()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[
P
AT
C
H] cle
a
n up the
typecheck
i
ng in ar
i
thmetics
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Vi
r
o
[PATCH] cleanup of evaluate_ass
i
gn_op()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al
Viro
[PATCH] remove
u
se
l
ess argum
e
nt in evaluate_ptr_sub()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Vi
r
o
[PATCH] remove long-dea
d
variable in ev
a
luate_ptr_add()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Vi
r
o
[PA
T
CH] null pointer
constants h
a
ve no special meaning
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Vi
r
o
[
PATCH]
mechanically split compatib
l
e_as
s
ignment_types()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Vir
o
[
P
ATCH] take cast_to() out of usual_conversions(),
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PAT
C
H] missing NULL checks in initializer handling
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-18
A
l
Viro
[PAT
C
H] fi
x
handling of type
o
f
o
n structs
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-18
Al Viro
[PATCH] re
w
rite of initializer h
a
ndling
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-18
A
l
Viro
[PATCH] tie
the fields o
f
struct in
sim
p
le
l
ist
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-18
Al Viro
[
P
ATCH
]
ma
k
e
c
opy
i
ng of EXPR_IN
D
EX no
n
-l
a
z
y
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
Al Viro
better recovery from
b
ad operations on bitwise
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
Al
V
iro
f
i
x in
t
eraction of t
y
peof with b
i
twise
types
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
Al Viro
fix
al
i
gnment for _Bool
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
Al Viro
check
for whitespace befor
e
object-like mac
r
o body
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
Al Viro
saner rep
o
rting
of overlaps in initialize
r
s
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
Al
V
i
ro
handle __alignof as equivalent of
__a
l
ignof__
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-10-24
Al
V
iro
switch to hash-based get_one_special()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-10-24
Al Viro
ad
d
ed a bunch
o
f
gcc builti
n
s
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-10-01
A
l
Viro
[PA
T
CH] handle fouled-bitw
i
se
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-10-01
Al Viro
[
P
ATCH
]
saner
recovery f
r
om endianness errors,
p
a
rt 1
.
commit
|
commitdiff
|
tree
2006-10-01
Al
Vi
r
o
[
PA
T
CH] m
e
rged compatible_
.
.
.
_binop() into
single function
commit
|
commitdiff
|
tree
2006-10-01
A
l
Viro
[PAT
C
H] begin
n
i
ng of
S
YM_
R
ESTRIC
T
rewrite: re
s
tr
i
c
t
e
d_binop_
.
.
.
commit
|
commitdiff
|
tree
2006-10-01
Al Viro
[P
A
TCH] evaluate_compare
(
)
c
a
n j
u
st
u
se eva
l
uate
_
arith
.
.
.
commit
|
commitdiff
|
tree
2006-10-01
Al Viro
[PATCH]
i
ntroduce class
i
fy_type(), use it
in obvio
u
s
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-10-01
Al Viro
[PATC
H
] casting null point
e
r constant
t
o
no
n
-zero addre
s
s
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-09-30
Al
V
iro
[PATCH] a
d
d support for __builtin_ch
o
ose_expr
(
)
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-09-30
Al Viro
[P
A
TC
H
] fix
d
uplic
a
t
e ini
t
ialize
r
detecti
o
n
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-09-30
Al Viro
[PAT
C
H] fix for
switch(
b
ad_type) {
.
.
.
} s
e
g
f
a
u
lt
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-05-09
Al
V
iro
[PATCH] count_array_ini
t
ia
l
izer() ne
e
ds to kno
w
t
h
e
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Vir
o
[
PA
T
CH] e
l
iminate
e
lif_ign
o
re, f
i
x ha
n
dling of unt
e
r
minated
#i
f
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
A
l V
i
ro
[
PATCH] lookup_macro() should be static
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al
V
iro
[PATCH] check for !token in
h
andle_
p
r
e
process
o
r_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 st
r
eam->protect handling
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al
V
iro
[PATCH
]
f
ixed handling of out
-
of
-
p
lace #elif/#else
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
A
l
V
i
ro
[
PATCH]
b
eginning of
#
incl
u
de protection
r
ewrite: cleanup
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
A
l
Viro
[
P
ATCH] fix places that didn't free prepr
o
c
e
ssor
li
n
e
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al
V
iro
[PATCH] taking free_pr
e
p
r
o
ce
s
sor_line() to calle
r
o
f
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[PATCH] remove bogus dou
b
le
w
arning on
#defi
n
e/#undef
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al V
i
ro
[PATCH] s
a
ner han
d
ling of #if[n]def
s
y
ntax errors
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[PATCH] remove true
_
nesting,
tur
n
if_nesting in
t
o a
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-26
Al Vi
r
o
[PATCH
]
Ma
d
e __GNUC__ et
.
al
.
w
e
ak
d
ef
i
nes, so that
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-23
Al
V
iro
[
PATCH] node
r
ef i
s
a qualifier
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-23
Al Viro
[PA
T
CH] shut
up t
h
e bogus w
a
rn
i
ngs about the
#if'ed
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-23
Al Vir
o
[P
A
TCH]
no ne
e
d
t
o
special-
c
ase
c
omma after #
#
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-22
Al Viro
[
PATCH] 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
Viro
[PATCH] fix treatment of E
X
PR_COMMA b
y
sh
o
w
_e
x
pression()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-22
A
l
Viro
[PATCH] new flag
-
Wone
-
bit-sig
n
ed-bitfield
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-22
A
l Vir
o
[PA
T
CH] new f
l
ag - -Wd
e
cl
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-22
Al Viro
[PA
T
CH]
m
i
ssing bui
l
tin - memcmp()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree