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
locking: handle spin_trylock_irq()
2010-03-31
Dan Carpenter
lo
c
king: handle
s
pin_trylock_
i
rq()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan C
a
rpente
r
locking: han
d
le spin_lock_irqsave_nested()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpenter
locking: handle raw_sp
i
n_unlock_irqrestore()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Da
n
C
a
rpenter
locking: mak
e
"
s
omet
i
mes locked" messages depend on
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
D
a
n
Carpenter
Merge branch 'devel' into devel_equiv
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpenter
equiv: if
a
varia
b
le is only equiv
a
lent to itsel
f
set
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
Dan
Carpent
e
r
extra: use the
f
ake
assignments
i
nstead
of
th
e
i
n
i
tializer
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carpenter
equiv: ne
v
er set SMATCH
_
EXTRA values directly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carpent
e
r
e
q
uiv: eliminate
bogus call t
o
set_sta
t
e(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carpenter
intro
d
u
c
e __smatch_de
b
u
g_on() and
_
_smatch_de
b
ug_off()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-29
Dan Carp
e
n
te
r
locking: ma
k
e spinlo
c
k_irqsave() work f
o
r
my config
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-29
D
an Carpenter
lo
c
king: white space fixes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-29
Dan
C
arpenter
locki
n
g: add
m
ore
standard locks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-28
Dan Carpenter
check_lockin
g
: clean up list of kernel locks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-27
D
an Car
p
enter
handle
sel
e
c
t
assi
g
ns:
f
o
o
= a
? b : c;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-27
D
an Car
p
e
n
t
er
core: fake cur_sl
i
st more complet
e
ly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-27
Dan C
a
rpenter
core:
rewrite
s
ele
c
t sta
t
ement handling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
D
an Carpenter
s
t
ates: ver
i
fy tha
t
the stacks
a
r
e
em
p
t
y a
t
the
e
nd
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpente
r
R
ename functio
n
s
:
__pop_
f
oo() =>
_
_disc
a
rd_foo()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan
C
arp
e
n
t
er
s
match_states: rename some funct
i
ons
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpente
r
r
e
lease_reso
u
rce: Do
h
.
It's looking fo
r
the w
r
ong
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpenter
fix
s
elect
s
t
atement handli
n
g
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpen
t
er
core: cl
e
anu
p
.
delete fake c
o
ndition st
a
ck code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpent
e
r
c
o
re:
ma
k
e fake cur
_
slists stackable
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
Dan C
a
rpenter
slist: make se
t
_state_stack() ret
u
rn the n
e
w sm_
s
tate
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
Dan
Carpenter
*new* check
_
re
l
ease_r
e
source
.
c: c
h
e
c
k
that
w
e
re
l
ease
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-24
Dan Carpen
t
er
flow: split
a
sm cl
o
b
bers, input
s
an
d
outputs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-23
Dan Carp
e
nter
white_spaceo
n
ly: all
o
w header files
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-22
D
an Carpenter
*new
*
strip
_
whitespace
.
p
l
:
remov
e
s a
l
l the
w
h
i
tespace
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-22
Dan
C
a
r
pente
r
*new* check_resource_size()
:
prod pe
o
p
l
e to use resource_
s
ize(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-21
Dan Carpenter
e
x
t
r
a: assume im
p
ossible
things
a
re impossib
l
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-20
Dan C
a
r
penter
err_ptr: fix btrfs
f
alse positive
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-20
Dan Ca
r
penter
err_pt
r
: handle
w
hen
a
n
err_ptr is reassigne
d
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan C
a
rp
e
nt
e
r
*
new* check_db_inf
o
.
c prints out
stu
f
f that will b
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan
C
arpenter
cleanup: mo
v
e stu
f
f fro
m
smatch_e
x
tra
.
c to
s
matc
h
_math
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpente
r
wh
i
tespace cha
n
ges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
D
a
n Carpent
e
r
equi
v
: fix cras
h
i
ng bug
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
check
_
over
f
low:
m
allo
c
() => __alloc_smatch_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
D
a
n
C
arpenter
smatch
.
c: don't leak
those 10
b
yt
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
D
a
n Carpenter
a
ssigned_e
x
p
r
: fix
memory leak
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-17
Dan Carpenter
kernel: free_area() do
e
s
n't call
k
free()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-17
Dan
C
arpent
e
r
*new*
check_retur
n
.
c: co
m
plain if
yo
u
do
n
't check the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math: make get_
i
m
plied_value()
work for p
o
inte
r
s better
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Da
n
Carpenter
math:
cle
a
nup: creat
e
separate _get_implied_value(
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
mat
h
: ha
n
dle
modulus
'%' operations
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
D
a
n Carpenter
m
a
th: handle
E
X
P
R
_POSTOP
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math
:
cleanup:
mak
e
h
a
n
dli
n
g
bin
o
ps a
switch
(
) statem
e
nt
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpe
n
ter
math
:
cleanup
c
r
ea
t
e separate ha
n
dle_bino
p
() func
t
ion
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Da
n
Carp
e
nter
math: cl
e
anup
.
use cast_to_type() instead of re-i
m
plim
e
nting it
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Ca
r
pen
t
er
mat
h
: cl
e
anu
p
.
s
e
p
ar
a
te handle_preop() in
t
o it's o
w
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan
Carp
e
nter
equiv: fix cr
a
shi
n
g bug i
n
troduced i
n
8c35
8
8
83a
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Ca
r
pente
r
Create s
e
parate smatch_mat
h
.
c f
i
le
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
D
a
n Carpenter
update smatch_data/ for 2
.
6
.
34-rc1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
implied: clean up ma
k
e
a
separ
a
te handle
_
zero_com
p
arison
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan
Carpen
t
er
e
q
ui
v
: handle comp
a
r
i
sons with zero
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Da
n
Carpent
e
r
equi
v
:
cleanup separat
e
s
e
t_extra_true_
f
a
l
se() into
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
equiv, implied: fix handling borro
w
ed implication
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-14
Da
n
Carpenter
impli
e
d:
d
on't update th
e
eq
u
ivel
e
nt states
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-14
Dan Carpente
r
r
m validation
/
smatc
h
_closet/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-14
Dan Carpente
r
e
q
uiv: don't
o
ve
r
write the i
m
plication information
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpe
n
ter
rena
m
e __set_
s
tate() => __s
e
t_sm()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
rena
m
e
c
lone_state()
=
> clone_
s
m
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
D
an Carpenter
e
q
uiv
:
p
r
eserv
e
->equiv acro
s
s merges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpe
n
ter
U
se the equivalen
t
variable
code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
D
an
Carpenter
remove
track
e
rs from
->e
q
uiv
when
t
hey are n
o
long
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Da
n
Carpenter
Fix crashing bug ca
u
sed by las
t
c
o
m
mit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan
C
arpe
n
t
e
r
st
o
r
e
i
n
formation in the new dinfo->
e
quiv thin
g
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan
Carpenter
in
t
roduce ad
d
_tracker_e
x
pr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpenter
make s
e
t_st
a
te
(
) and fr
i
ends r
e
turn the new sm_sta
t
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan Ca
r
p
enter
introd
u
ce c
l
on
e
_tra
c
ke
r
_list(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan C
a
rpenter
a
dd "equiv" field t
o
struc
t
dat
a
_i
n
fo
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan
Carpenter
move the alloc_dinfo(
)
functions to s
m
atch_extra
.
c
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-11
Dan Carpen
t
er
check
_
sig
n
ed:
w
arn about com
p
aring (un
s
igned variable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpent
e
r
update validat
i
on/
s
m_casts2
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpe
n
ter
*new* sma
t
ch_scri
p
ts/sh
o
w_errs
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan
Ca
r
pente
r
*
new* smatch_scrip
t
s/whitespa
s
e_only
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
add -no-
l
i
n
eno option t
o
spars
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Da
n
Carpenter
va
l
idation/sm_red
u
ndant_
c
heck
.
c now it'
s
"info" not
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Car
p
enter
c
heck_precedence: pr
i
nt one
wa
r
ning
m
essage instead
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan
C
a
rpenter
ch
e
ck_signed: handle unsign
e
d
6
4
bit var
i
abl
e
s be
t
ter
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-09
Dan Car
p
ente
r
get_va
l
ue(
)
handle some
m
or
e
m
ath
o
perations
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-08
Dan Carpenter
make re
d
undant
null checks before kfree() an "info
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-08
Dan Carpenter
check_sig
n
ed: El
i
min
a
te some false positives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-08
Dan
C
arpenter
p
reced
e
nce:
check for && vs &
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
i
m
p
lications:
i
mp
r
o
ve handling of comparisons wit
h
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
D
a
n Carpent
e
r
use implicati
o
ns from P
O
STOPs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
conditi
o
n
s
:
parse EXPR_POSTOPs afte
r
eva
l
uating the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Ca
r
penter
ch
e
c
k
_ov
e
rf
l
ow:
r
em
o
ve fa
l
se positives
c
aused b
y
printk
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
D
a
n C
a
rpenter
fl
o
w: i
m
prove handling of while(i--) { loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
D
an
C
arpenter
remove
s
tr
a
nge
loop message
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpe
n
ter
kpatch
.
sh: ask ab
o
ut alloc() fa
i
lures specif
i
cally
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Ca
r
p
en
t
e
r
che
c
k
_deref: ha
n
dle __GFP_NOFAIL (remove false
p
os
i
tives)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-06
Dan
Carpenter
c
heck_deref: h
a
ndle pointers used as arrays
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
D
an
Carpenter
smatch_flow: clean
up
.
merge comm
o
n
c
o
de in handl
e
_pre_loop
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carpenter
improve implied_c
o
ndition_true() fo
r
pre and p
o
st op
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carpe
n
ter
while countdo
w
n l
o
ops: h
a
ndle loops whe
r
e the star
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Da
n
Carpenter
handle for loops
w
here we d
o
n't know the upper limit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Da
n
Carpe
n
te
r
smatch_fl
o
w: handli
n
g pre loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-02
Dan
Carpent
e
r
extra
:
comparing something to ze
r
o doesn
'
t
m
ean it
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-02
Dan Carpenter
check
_
overflow: relax rules
o
n if (ptr < &array[
m
a
x
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next