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
Add test-suite annotations to cond_expr.c
2007-07-29
Al Viro
[PATCH] braino
i
n conditional_expression()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-29
A
l
V
iro
[P
A
TCH] saner -W
t
ype
s
ign
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-29
A
l
Viro
[
PATCH]
s
aniti
z
e ev
a
lua
t
e
_
p
ost
o
p()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-29
Al Viro
[PATCH]
f
ix
e
valuate_comp
a
re()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-29
A
l
V
i
r
o
[PATCH] san
i
tize e
v
aluate_pt
r
_add(
)
,
start checkin
g
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-29
Al Vi
r
o
[PATCH]
.
.
.
,array should degenera
t
e
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-29
Al Viro
[PATCH] file
and g
l
o
bal scopes a
r
e the same for purpos
e
s
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-28
Al
Viro
[PA
T
CH] h
a
ndli
n
g of typeof
in eva
l
uate
_
m
ember_d
e
r
e
f
ere
n
ce()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-28
Al Viro
[
PA
T
CH] new helper:
unfoul()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-28
Al Viro
[P
A
TCH]
n
o
s
u
ch thing as array of fun
c
tions
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-28
Al
V
i
ro
[PATC
H
] add __builtin_st
r
l
e
n()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[PATCH] deal correctly
w
i
t
h
q
ualif
i
ers on arrays
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[PATCH] rewrite type
_
differen
c
e()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[PAT
C
H] fix the sanity check in
eval
u
ate_ptr_sub()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[PATCH]
get
compat
i
ble_assignment_types(
)
deal wi
t
h
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[PATCH] start clea
n
ing type_di
f
fe
r
ence()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[P
A
T
C
H] i
n
t
eger_
p
romoti
o
ns() c
a
n't g
e
t SY
M
_NODE o
r
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[PATCH]
clean
u
p evaluate_sign()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-14
A
l Vir
o
[PATCH] san
e
r sho
w
_type()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-10
Al Viro
fix handling of pointers in ?:
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-10
A
l Vir
o
f
ix hand
l
ing of add
r
es
s
_spa
c
e
in casts and as
s
ignments
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-09
A
l
Viro
make size_t better approximate the reality
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-07-09
Al Vi
r
o
first pas
s
at n
u
l
l
pointe
r
constants
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
c
onstant expressions
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-26
Al Vir
o
[PATCH]
fix handling of
i
n
teger
c
onst
a
nt
e
x
pressions
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-26
Al Viro
[P
A
T
CH] implement __b
u
iltin_offs
e
tof()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PATCH] deal with
enum m
e
mber
s
w
i
tho
u
t exc
e
ssive PI
T
A
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
A
l Vi
r
o
[PATCH] warn
o
n
retu
r
n <void e
x
p
r
e
ssion>;
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al V
i
r
o
[PATCH] in ca
s
e of compound literal we wan
t
to
d
elay
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Vir
o
[PATCH]
move degenerat
e
() down into
c
o
m
p
a
tible_
a
ssignment_ty
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PAT
C
H]
f
ix
d
e
f
ault argument promoti
o
n
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Vir
o
[PATCH] fix index con
v
ersions in evaluate
_
pt
r
_add()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Vir
o
[PATCH] cl
e
an up usual_conversions()
,
kill evalu
a
te_shi
f
t()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
A
l
Viro
[PATCH] clean up the typechecking in arithmetics
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PATCH] cleanup of e
v
alu
a
te_a
s
sign_op()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PATC
H
] remove
usele
s
s
ar
g
u
ment in e
v
a
l
uate_p
t
r_su
b
()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[
PATCH] remo
v
e
long-
d
ead va
r
iable in eval
u
ate
_
ptr_ad
d
()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[
PATCH] null point
e
r constants have
n
o
special m
e
a
n
ing
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[
P
AT
C
H] m
e
chanically split compatible
_
a
s
s
ignment_ty
p
es()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
A
l
Viro
[P
A
TCH] take cast_
t
o
() out of u
s
ual_conversions(),
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-25
Al Viro
[PATCH] missing NULL checks
i
n
i
n
itializer handli
n
g
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-18
A
l Viro
[PA
T
CH
]
fix handling of
t
ypeof o
n
structs
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-18
Al
V
i
ro
[
P
ATCH] rew
r
ite of
initializer handling
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-18
Al Viro
[PAT
C
H] tie
t
he
fields of struct i
n
s
i
mp
l
e list
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-06-18
Al
V
ir
o
[
P
ATC
H
] make copying
o
f
E
XPR
_
INDEX non-lazy
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
A
l
Vir
o
be
t
ter recovery from
b
ad operations on
b
itwise
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
A
l
Viro
fix interaction of
t
y
peof with b
i
twi
s
e types
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
Al Viro
fix align
m
ent for _Bool
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
Al Viro
check fo
r
whi
t
espace before obje
c
t-like macro body
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
Al Viro
saner r
e
porting of overla
p
s in initial
i
zers
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2007-05-27
Al Viro
handle __alignof as e
q
u
i
valent o
f
__alignof_
_
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-10-24
A
l
V
i
ro
swi
t
ch t
o
hash-based get_
o
ne_special()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-10-24
Al Viro
add
e
d a bu
n
ch of gcc builtins
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-10-01
Al
Viro
[PA
T
CH] ha
n
d
l
e
f
ou
l
ed-bitwise
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-10-01
Al V
i
ro
[PATCH] saner recovery from en
d
ianness
errors, part 1
.
commit
|
commitdiff
|
tree
2006-10-01
A
l
Viro
[PAT
C
H] merged
compatible_
.
.
.
_
b
inop() into single function
commit
|
commitdiff
|
tree
2006-10-01
A
l Viro
[PATCH] beginni
n
g of SYM_RESTRICT
rewr
i
te: r
e
stricted_binop_
.
.
.
commit
|
commitdiff
|
tree
2006-10-01
Al V
i
ro
[PATCH] evaluate_compare() can just use evalua
t
e
_ari
t
h
.
.
.
commit
|
commitdiff
|
tree
2006-10-01
Al Viro
[PATCH]
i
ntro
d
uc
e
classify_type(), use
it in obvious
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-10-01
Al Viro
[PATCH] casting null pointer
c
o
n
stant to non-zero
add
r
ess
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-09-30
Al Vi
r
o
[PAT
C
H
] ad
d
su
p
p
o
rt
f
or __builtin_c
h
oose_exp
r
(
)
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-09-30
A
l
Viro
[PATC
H
] fix d
u
pli
c
a
te initializer detec
t
ion
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-09-30
Al Viro
[PATCH] fix fo
r
switch(b
a
d_ty
p
e) {
.
.
.
} segf
a
ult
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2006-05-09
A
l
Viro
[PATCH] count_array_initiali
z
e
r()
n
eeds to
know the
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
A
l Viro
[
P
ATCH] eliminate elif_ignore, fix handling of
unterminated #if
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[PATCH]
l
ookup_macro()
s
hou
l
d be
stati
c
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[PATCH] check for
!toke
n
in h
a
ndle_prepr
o
c
esso
r
_lin
e
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
A
l
V
iro
[PATCH] Doh
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
A
l Viro
[PATCH] fixed
s
tream->protect
h
andling
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[PATCH]
fixed h
a
n
d
l
i
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
[PATC
H
]
b
egin
n
ing of #in
c
lude p
r
otect
i
on rewr
i
te: cleanup
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Vi
r
o
[PATC
H
] fix places that didn't fr
e
e prepr
o
cessor line
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[PA
T
C
H] taking free
_
p
reprocessor_line() t
o
c
aller of
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[PATCH] remove bogu
s
double warning on #de
f
i
n
e/#undef
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
Al Viro
[PATCH]
s
an
e
r
handling of #if[n]def s
y
ntax
error
s
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-28
A
l
Viro
[
P
AT
C
H] remove true_nesting, turn if_
n
esti
n
g int
o
a
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-26
Al Viro
[
P
AT
C
H
]
Ma
d
e
__GNUC__ et
.
a
l
.
w
eak de
f
ines, so that
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-23
A
l
Viro
[
P
A
T
C
H] node
r
ef
i
s
a qua
l
i
f
ier
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-23
Al V
i
ro
[PATCH] sh
u
t up the bogus warnings about the #if'ed
.
.
.
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-23
Al Viro
[PATCH] no ne
e
d to special-c
a
se
c
o
mma a
f
ter ##
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-22
Al Viro
[PATCH] fi
x
of compound lite
r
als on
i
nlining
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-22
Al Viro
[PATCH] fix treatme
n
t of EXPR_COM
M
A by show_expressio
n
()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-22
Al Viro
[PATCH] new flag -
Wone-
b
it-signed-bitfield
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-22
Al Viro
[PATCH
]
n
ew flag
- -Wdecl
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree
2005-11-22
A
l
Viro
[
P
ATCH] miss
i
ng bui
l
tin - memcmp()
Signed-off-by:
Al Viro
<viro@zeniv.linux.org.uk>
commit
|
commitdiff
|
tree