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
lock
i
n
g
: handle spin_try
l
ock_irq()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan Ca
r
penter
locking: handle spin_lock_irqsave
_
nest
e
d()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpenter
locking: handle r
a
w_spin_unloc
k
_irqrest
o
re
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpenter
locking: m
a
ke "sometimes locked" mes
s
age
s
depend on
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan Ca
r
p
e
nter
Merge
b
r
a
nch 'd
e
ve
l
' into devel_eq
u
iv
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpenter
equiv: if a variabl
e
is only equivalen
t
to itself s
e
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan
C
a
rpen
t
er
extra:
u
se th
e
fake assignments instead of t
h
e initial
i
zer
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
D
an Carp
e
nter
eq
u
iv: ne
v
er set SMATC
H
_
E
X
TRA values directly
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan Car
p
enter
equiv: elim
i
nate bogus call to set_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan Car
p
enter
introduce __smatch_de
b
ug_on() and _
_
smatch_
d
e
b
ug
_
off()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-29
Dan
C
a
rpenter
lo
c
king: make spinlock_irqsave() work
for my config
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-29
Dan
C
arpenter
locking: white space fixes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-29
Dan Carpenter
l
o
cking
:
add m
o
re
s
ta
n
dard locks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-28
Dan C
a
rpenter
check
_
locking:
c
lean up list
o
f kernel l
o
cks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
Dan C
a
rpenter
ha
n
d
l
e select assigns: foo
= a ? b : c;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
D
an
C
arpen
t
er
co
r
e: fa
k
e cur_slist more comp
l
etely
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
Dan Carpenter
core: rewrite select stat
e
ment
h
and
l
i
ng
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpenter
s
t
ates: ver
i
fy
t
hat the stacks are empty at the end
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan C
a
rpenter
Rename
f
u
nctions: __pop_fo
o
() => __discard_
f
oo
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Da
n
Carpe
n
ter
smatch_states:
re
n
ame som
e
f
unc
t
ions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpenter
r
ele
a
se_resource: Doh
.
It's
l
ooking for the wron
g
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Car
p
e
n
t
e
r
fi
x
sele
c
t statement handl
i
n
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpenter
core: cleanup
.
delete fa
k
e c
o
n
d
ition stack code
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
D
an Carpe
n
t
er
core: make
fake c
u
r_slists sta
c
kable
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
D
an Carpe
n
ter
s
l
is
t
: make set_state_stack() return the new sm_state
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan
C
arpenter
*new* check_r
e
le
a
se_re
s
o
u
rce
.
c:
check that we release
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-24
Dan C
a
rpenter
f
l
ow: split
asm clobbers, input
s
and ou
t
puts
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-23
D
a
n
C
arpente
r
whit
e
_spaceonly: allo
w
he
a
der files
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-22
D
an Carp
e
nter
*new* strip_whit
e
s
p
ace
.
pl: removes all the whitespace
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-22
Dan Carpenter
*
n
ew* c
h
eck_resour
c
e_size(): prod people to use
r
es
o
ur
c
e_size()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-21
Dan Carpente
r
extra: assume
impos
s
ible th
i
ng
s
are i
m
possible
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-20
D
an
C
a
rpenter
err_ptr: fi
x
btrfs
f
alse positive
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-20
D
an Car
p
enter
err_ptr: ha
n
dle
when an err_ptr is rea
s
signe
d
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
*new* check
_
d
b_i
n
fo
.
c prints out stuff tha
t
will be
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
cleanup:
move
s
tuff from smatch
_
ex
t
ra
.
c
to smat
c
h
_
math
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan
C
arpenter
wh
i
t
e
space changes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
equiv: fix cra
s
hing bug
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpen
t
e
r
c
h
e
ck_ove
r
f
l
ow: malloc()
=
> __allo
c
_s
m
at
c
h_stat
e
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Da
n
Ca
r
penter
smatch
.
c: don't leak those 10 bytes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
D
a
n
Carpe
n
ter
assigned_expr: fix memory leak
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-17
D
an Car
p
enter
kernel: free_
a
rea() doesn't call kf
r
ee(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-17
Dan
Carpen
t
e
r
*new*
check_retu
r
n
.
c:
c
omplain
i
f y
o
u
don
'
t check
the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math:
make get
_
implied_value() w
o
rk for poin
t
ers be
t
t
e
r
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math: c
l
eanup: c
r
eate s
e
par
a
te _ge
t
_
i
mp
l
ied_value(
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Da
n
Carpenter
math: handle modulu
s
'%
'
operations
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
D
a
n Carp
e
nter
math: handle EXPR_
P
OS
T
O
P
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
D
a
n Carp
e
nter
m
a
t
h
: cleanup: make hand
l
ing bi
n
ops a switch() statement
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
D
a
n
Carpenter
m
ath: cleanup create separate ha
n
d
l
e_binop() function
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Ca
r
penter
math
:
cleanup
.
use cast_to_ty
p
e(
)
instea
d
of re-implimenting it
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan
Carpenter
math:
cl
e
anup
.
sep
a
rate ha
n
dle_preop(
)
into it's own
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Da
n
Car
p
enter
eq
u
iv: fix cr
a
shin
g
bug introduc
e
d
in 8c358883a
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
Create
se
p
arate
s
match_
m
a
th
.
c file
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
update
smat
c
h
_
data/
for 2
.
6
.
34
-
rc1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpen
t
e
r
implied: clean up make
a se
p
arate handle_zero_co
m
p
arison
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
equiv: h
a
ndle co
m
parisons w
i
t
h
z
ero
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
e
quiv: cleanup separate set_extra_t
r
u
e
_f
a
l
s
e() into
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Da
n
C
arpenter
equiv, implied: fix ha
n
d
li
n
g
borrowed im
p
l
ications
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-14
D
an Ca
r
penter
im
p
lied: don't update the
e
quivel
e
nt
s
ta
t
es
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-14
Dan Carpenter
rm val
i
d
a
tion/smatch_c
l
o
set/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-14
Dan Car
p
enter
e
quiv:
d
on't overwrite the impli
c
ation in
f
ormation
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpe
n
ter
ren
a
me __set_state() => __s
e
t_sm(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
rename clone_s
t
ate()
=
> clone_sm()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
equ
i
v
:
pr
e
serve
->equiv across
m
erges
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
Use
t
he
e
quivale
n
t
variable co
d
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan
Carpenter
remo
v
e tr
a
c
k
ers from ->equiv when they are no lo
n
g
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpe
n
ter
Fix
c
rashing bug cau
s
ed b
y
last commit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan C
a
r
pen
t
er
s
tore
i
nformation in th
e
new dinfo->eq
u
i
v
thing
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Da
n
Carpenter
i
n
t
r
o
d
uce
add_tracker_e
x
pr
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpe
n
t
er
make set_sta
t
e() a
n
d
friends return the new sm_st
a
te
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
D
a
n Carpente
r
introduc
e
clone_tra
c
ker_li
s
t
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan
C
arpenter
a
d
d "e
q
uiv"
f
i
e
l
d
to struct d
a
ta_info
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Da
n
Carpe
n
ter
m
o
ve
the alloc_dinfo() functions t
o
smatch_extra
.
c
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-11
D
a
n
Carpenter
check_sign
e
d: warn about comparing (unsign
e
d
v
ariable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
update va
l
i
d
ation/sm_casts2
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Da
n
Ca
r
penter
*new* smatch_scripts/show
_
errs
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpe
n
ter
*new* smatch_scripts/whit
e
spase_only
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
add
-
n
o-lineno op
t
ion to sparse
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
D
a
n
Ca
r
p
e
nter
valid
a
tion/sm_redundant_check
.
c now it's "info" not
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Da
n
Carpenter
che
c
k_precedence: p
r
int
o
n
e
w
arnin
g
message in
s
tead
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan
C
a
rpente
r
check
_
s
igned: handle unsigned 6
4
bit variables better
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-09
Dan Ca
r
pe
n
ter
get_v
a
lu
e
() ha
n
dle
s
ome more math operations
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-08
Dan Carpe
n
t
e
r
m
ake redundant null c
h
ecks
b
efore kfre
e
(
) an "info
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-08
Dan Carpenter
check_s
i
g
n
ed: Eliminate some
f
alse positives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-08
Da
n
Car
p
enter
pr
e
cedence:
ch
e
ck fo
r
&& vs &
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Car
p
enter
i
mp
l
icat
i
on
s
:
improve
h
a
n
dling of
c
omparisons with
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan C
a
rpenter
use im
p
l
i
cations
from POSTOP
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
D
an Carpe
n
ter
conditions: parse EXPR_
P
OSTO
P
s
after evaluati
n
g the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
check_ov
e
rflow: remove
f
alse posi
t
ives caused by printk
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Da
n
C
arpenter
f
low: improve handling of
while(i
-
-) { loops
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
remov
e
strange loop me
s
sage
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
kp
a
tch
.
sh: a
s
k about
a
l
loc() failu
r
es sp
e
cifically
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpente
r
check_
d
eref:
h
andle __GFP_NOFAIL (
r
emo
v
e fal
s
e po
s
itives
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-06
D
a
n
Car
p
ente
r
check_deref: ha
n
dle pointe
r
s
used as arrays
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
D
a
n C
a
rp
e
nter
smatch_flow
:
c
lean up
.
m
erge com
m
on
co
d
e in handle_pre_
l
oop()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Dan
Ca
r
penter
improve
i
m
plied
_
condition_true(
)
fo
r
pre and p
o
st ops
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Dan C
a
r
penter
whil
e
countdown loops: han
d
le
loops where the start
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
D
a
n Carpen
t
er
handle for loops where we don't
k
now the
u
p
per
l
i
m
it
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Da
n
Carpenter
smatch_flow: hand
l
ing
pre loop
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-02
Dan Carpenter
extra: comparing something
t
o
zero doesn
'
t
m
ean it
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-02
Dan Carpenter
chec
k
_
o
v
erflow: relax rules on if (ptr < &array
[
max
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next