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
*new* logical_instead_of_bitwise: places that use && instead of &
2010-06-14
D
an C
a
rp
e
n
t
er
eliminate some ne
w
"statement has
no
e
ffec
t
"
fal
s
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-14
D
a
n Carpen
t
er
g
et
r
id of g
e
t_next_stmt()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-14
Dan
C
ar
p
enter
c
ore
:
handle "foo
=
({fro
b
(); frob(
)
; frob()
;
1;})
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-14
Dan
C
arpenter
lockin
g
: add spin_
t
ry
l
ock_irqsave()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-14
Dan Carpe
n
t
er
fix crashing bug caused by the little endian check
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-11
D
an Carp
e
nter
extra: ignore WAR
N
_ON
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-11
Dan Carpenter
e
rr_ptr: rem
o
ve
j
e
dec_probe()
from
e
rr_pt
r
l
i
s
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-11
Dan Carpen
t
er
snprintf:
t
urn of
f
be default
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-11
D
a
n
C
arpenter
val
i
d
a
tion: upd
a
te
o
ve
r
f
l
ow
t
e
st to add
q
u
o
tes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-11
D
a
n Carpenter
con
d
itions: fix handling of __builtin_c
o
nstant
_
p()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-10
Dan Car
p
e
n
ter
ov
e
rflow: add quotes around
va
r
ia
b
le n
a
me
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-10
Dan C
a
rpente
r
overflow
:
ignore array
s
with only one element
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-10
Dan
C
a
rpenter
overflow
:
add ca
l
l
oc() su
p
port
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-10
D
a
n Carp
e
nter
overflow: chec
k
for copy_to_user() overf
l
ows
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-09
Dan
C
a
r
p
en
t
er
memory: fix l
e
a
k
fals
e
positives
caused
by "foo = bar
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-08
Dan
Carpenter
le16
:
fi
x
false positives and t
u
rn on by
d
ef
a
ult
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-08
D
an
C
arpenter
macro: the fir
s
t
m
a
c
ro
a
dded is the on
e
t
o
keep
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-08
Dan Carpent
e
r
memory: add quotes
i
n
o
u
tput
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-07
Dan Carpenter
flow: fix
"if();" false pos
i
tives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-07
D
an Ca
r
penter
extra:
t
w
eak assignment o
f
u
n
s
ign
e
d
v
alues
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-05
Dan C
a
rpen
t
er
smatc
h
_extra:
clea
n
up match_assign
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-04
Dan
C
arpen
t
er
return_efault: find more
b
ugs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-03
Dan
Carpenter
*n
e
w*
r
etu
r
n_efault: looks for
places that sh
o
u
l
d return
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-03
D
an C
a
rpente
r
sma
t
ch_t
y
pe
:
fix __bi
t
wise__ handlin
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-02
Dan Carp
e
nter
Updat
e
s
ma
t
ch_data/ for 2
.
6
.
35-rc1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-02
Dan Ca
r
penter
*new* propagate: c
h
e
ck t
h
at
error codes g
e
t propagated
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-29
Dan Carpenter
err_
p
t
r
_deref: don't complain if the variable is null
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-26
Dan Carpe
n
ter
*new* check_macros: find macro precedence bugs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-25
Dan Carpenter
hooks:
add
LOGIC_H
O
OK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-25
D
a
n
C
arpenter
macr
o
_table: ta
k
e the file into
account
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-22
Da
n
Carpenter
macro
_
table: do not i
n
clu
d
e smat
c
h
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-22
Dan
Ca
r
p
e
n
t
er
flow
:
handle logic
t
hings l
i
ke: foo(
a
&& a
-
>bar
)
;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-22
Dan Carpenter
signed: c
o
mparing to
literals together creates a false
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-22
Dan
C
arpe
n
ter
deref_check:
re
m
ov
e
the --sp
a
mmy option
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-22
Dan Carpenter
delete check_lea
k
s
.
c: T
h
is
c
heck was alwa
y
s
wor
t
hless
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-20
Dan Ca
r
penter
wine: fixup the
n
o
r
eturn functions a bit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-20
Dan Carp
e
nter
macro_table
.
c: replacement fo
r
in_macro()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-18
Dan Carpenter
small cle
a
nup and a comment chan
g
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-18
Dan
C
arpenter
*
n
ew* che
c
k
_
snprintf: using
the ret
u
rn val
u
e of snp
r
intf
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-15
Dan
C
arpenter
unu
s
ed_ret
u
rn: p
r
int functi
o
n name that
w
a
s
ignore
d
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-13
D
an Carpenter
math: do
n
't pass negative numbe
r
s as absolute
max f
o
r
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-13
Dan
C
arpenter
imp
l
ied: allow the known par
t
to be
a
r
ange list
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-13
Da
n
Carpenter
mat
h
: fi
x
get_absol
u
te_mi
n
/max() for sizeo
f
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-13
D
an Car
p
enter
extra: m
a
ke do_comparison() handle two va
r
iables
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-13
D
an
Carpent
e
r
ranges: introduce
free
_
range_list()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-13
Dan C
a
r
p
ent
e
r
ranges: intr
o
duce
p
ossi
b
l
y_true/false
_
range_li
s
ts()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-10
D
a
n Carpe
n
ter
preced
e
nce
:
don'
t
c
o
mplain
about
if foo i
s
0-1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-10
Dan
Carpenter
e
x
tra: cle
a
n
u
p:
r
e
name do_comparison
_
rang
e
() => do_comparison
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-10
Dan Carpe
n
t
e
r
known
_
conditio
n
_true/false(): handle expression sta
t
ements
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-07
Dan Carpenter
*n
e
w*
c
heck_k
u
nm
a
p(): c
o
nfusio
n
between km
a
p() and
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-02
D
an Carpenter
*new
*
smatch
_
scripts/unlock
e
d_paths
.
p
l
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-01
Da
n
Ca
r
penter
flow: cleanup: make sp
l
it_fu
n
ct
i
on()
i
t
'
s o
w
n
f
unct
i
on
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-29
Dan Car
p
enter
dere
f
_c
h
eck: use in_macro() to silen
c
e mos
t
of the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-29
Dan Carpe
n
ter
ma
t
h: introduce get_absolute_min
/
m
a
x()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-28
D
a
n Carpenter
math: clea
n
up
:
r
ename get_i
m
plied_single_fuz
z
y
_
m
ax()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-28
Da
n
Carpenter
math: clea
n
up: shuffle
s
o
me f
u
n
c
t
i
ons arou
n
d
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-28
Dan
C
arpenter
math
:
c
leanup:
g
et rid of the
*
dis
c
ard thing
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-28
Da
n
Carpenter
math: cleanup
:
get
r
i
d of I
M
PLI
E
D_SINGLE
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-28
Da
n
Carpenter
delete che
c
k_null_deref
.
c
and clean
u
p v
a
lidation/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-28
D
an
C
a
r
pe
n
ter
flow: the next statement should never be the curr
e
n
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-27
D
a
n Carp
e
nter
*n
e
w* ch
e
c
k_check_deref
.
c
: checki
n
g for null i
n
consistently
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-27
Da
n
Carpent
e
r
*new
*
c
h
e
c
k_no_effect:
print w
a
rnings state
m
ent
s
that
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-27
Dan Ca
r
pen
t
e
r
setup default modification ho
o
ks in s
e
t_tr
u
e_fals
e
_sta
t
e
s
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-27
Dan Carpenter
in
t
roduce in_
m
a
cro()
w
hi
c
h returns true if we'
r
e in
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-25
Dan Carpen
t
er
introduce: in_expression_s
t
atement() a
n
d rename get_block_th
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-24
Dan
Carpen
t
er
churn: rename __split_stat
e
ment
s
() => __s
p
lit_stmt()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-23
D
a
n
Carpe
n
ter
extra: ha
n
dle i++ a
n
d
i +=
2
bet
t
er
o
u
tside loo
p
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-23
D
an Carpenter
f
i
lter_ker
n
el_deref_
c
heck
.
sh: print the
f
unction
n
ames
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-23
Dan Carpenter
Add ST
R
ING_HO
O
K for exam
i
ning strings
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-23
Dan
Carpenter
*
new* check_kernel
.
c: handle tomoyo_
m
e
mor
y
_ok() and
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-23
D
an C
a
rpenter
core: fix h
a
ndling of sw
i
tch statements wi
t
h un
r
e
a
chable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-07
Da
n
Carpenter
bail out
e
arlier if f
u
nction
s
g
e
t
too
d
iffic
u
lt
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-07
Dan Carpenter
include stati
c
fu
n
cti
o
ns in list
o
f
f
unctions
w
h
ich
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-07
Da
n
Car
p
enter
*n
e
w* freeing_null: callin
g
free for a vari
a
ble t
h
at
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-05
D
an
Carpenter
e
q
ui
v
: ca
l
l remove_from_equiv(
)
o
n
assignment
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-05
Dan Carpenter
math
:
preven
t
divide by
z
ero
b
ugs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-05
Dan
C
arpe
n
ter
c
h
eck
_
lo
c
k: add more lo
c
k
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-02
Dan Carpenter
new: c
h
eck_proc_cre
a
te() check for world writable pro
c
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Da
n
Carpenter
m
a
th: teach sm
a
tch t
o
unde
r
s
t
and const
v
alues
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan
Carp
e
nter
c
h
e
ck_overf
l
o
w
: fi
x
theoretical
m
emor
y
leak
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan Ca
r
penter
core: f
i
x
p
r
oblem
i
n
h
a
n
d
ling select
s
t
ate
m
ent / ORing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan
Ca
r
p
e
nt
e
r
c
l
eanup: rena
m
e sm_stat
e
s to "s
m
"
in
s
t
ead of "stat
e
"
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Da
n
Carpent
e
r
get
_
variable_from_expr(): if i
t
involves a number it
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
D
a
n
Carpe
n
ter
debug: print more useful in
f
ormat
i
o
n about
conditions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpente
r
l
o
c
k
ing: h
a
ndle spin_trylock_irq()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan C
a
rpent
e
r
l
o
cking: h
a
ndl
e
spin_lo
c
k
_
i
rq
s
ave_nested(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpenter
l
ock
i
ng:
h
a
ndle raw_spin
_
unl
o
ck_
i
rqres
t
o
re()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan
C
a
rpen
t
er
lock
i
ng: make "sometimes locked" messages depend on
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpenter
Mer
g
e br
a
nch
'
d
evel' into de
v
e
l_equiv
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpen
t
er
e
q
uiv: if a
v
ariable is only equiva
l
ent to it
s
elf set
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
Dan Car
p
enter
extra: use the
f
ak
e
assig
n
ments instead
o
f the
i
nitializer
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
D
an Carpenter
e
q
u
iv: never set SMATCH_EXTRA values
d
i
r
ectly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
Da
n
Carpen
t
e
r
equiv: eliminate
bogus call to set_sta
t
e(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carpenter
intr
o
duce __s
m
atch_debug_on()
a
nd __smatch_debug_off()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-29
Dan Carpenter
locki
n
g
:
m
a
ke s
p
inlock_irqsave() work
f
or my config
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-29
Dan
Carpen
t
e
r
locking: white
space
f
ixes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-29
Dan Carpenter
locki
n
g:
a
dd more standard locks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-28
D
a
n Ca
r
penter
check_locking: cl
e
an up list of kernel locks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-27
Da
n
Carpenter
handle selec
t
as
s
ign
s
: foo = a ? b : c
;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-27
D
a
n Carpenter
core: fake
c
ur_sl
i
st
mor
e
completely
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next