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_lock_irqsave_nested()
2010-03-31
Dan
C
ar
p
enter
lo
c
king: handle spin_l
o
ck_
i
rqsave_nested
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan
Carpente
r
locking:
handle raw
_
spin_unl
o
ck_irqrestore()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan
C
a
rpenter
l
o
cking: m
a
ke "sometimes l
o
cked" messages d
e
pend
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan Car
p
enter
Merge branch
'devel'
int
o
devel
_
equiv
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpen
t
er
equ
i
v: if a var
i
able is only eq
u
ivale
n
t to its
e
lf s
e
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
D
a
n
C
arp
e
nter
extr
a
: use the fa
k
e as
s
i
g
nmen
t
s
i
ns
t
ead of the initializer
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
Dan
C
a
r
pent
e
r
e
q
u
i
v: never set SMA
T
CH_EX
T
RA value
s
directly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
Da
n
C
arpenter
equiv: eliminate bogus call
to set_sta
t
e
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carp
e
n
te
r
intr
o
du
c
e
__sma
t
ch_deb
u
g_o
n
()
an
d
__s
m
atch_debu
g
_off()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-29
D
an Carpente
r
lo
c
king: make s
p
inlock_
i
rqsave() work for my config
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-29
Dan Carp
e
nte
r
locking:
w
hite s
p
ace
fix
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-29
Dan
C
a
r
pente
r
l
oc
k
in
g
:
add more
standard locks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-28
Dan Carpen
t
er
check_locking: clean
u
p l
i
s
t o
f
kernel
locks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-27
Dan Car
p
enter
ha
n
dle select ass
i
gns: foo = a ? b : c;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-27
Dan Carpenter
core:
f
ake c
u
r_sl
i
st more
c
ompletely
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-27
Da
n
Carpente
r
core
:
rewrite select
statem
e
nt h
a
n
dling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpen
t
er
st
a
tes: veri
f
y that the s
t
acks are empty at the end
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpent
e
r
Rename functions
:
__p
o
p_foo() => __discar
d
_f
o
o()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpenter
smatch_states: rename s
o
me fun
c
t
i
ons
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpenter
relea
s
e_re
s
o
u
rce: Doh
.
It's l
o
oking for th
e
wrong
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpen
t
er
fix se
l
ect statem
e
nt handling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
D
a
n Carpenter
c
o
re: cleanu
p
.
delete fake condition
stac
k
c
o
de
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpenter
core: m
a
ke fa
k
e cur_sli
s
ts stackable
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
Dan Ca
r
penter
s
list
:
make set_
s
tate_sta
c
k
() return th
e
new sm_state
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpenter
*new* check_rele
a
se_resource
.
c:
c
he
c
k that we release
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-24
Dan Car
p
enter
flow:
s
p
lit asm clo
b
b
e
rs,
i
nputs and outputs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-23
Da
n
Carpenter
whi
t
e_spac
e
only: allow
h
eade
r
fi
l
es
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-22
D
an Carpenter
*new* stri
p
_whitespace
.
pl: rem
o
ves all the whi
t
es
p
ace
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-22
Dan C
a
rpenter
*new* check_res
o
ur
c
e_siz
e
(): prod people
t
o u
s
e resource_
s
ize()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-21
Dan
C
arpe
n
ter
extra: as
s
ume
i
mpossibl
e
th
i
ngs
a
re impossible
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-20
Dan Carpenter
err_ptr: fix btrfs false p
o
sit
i
v
es
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-20
D
an C
a
rpenter
err_ptr: ha
n
d
l
e when an err_ptr is reassign
e
d
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
*new* check_db_
i
n
fo
.
c pr
i
nt
s
out
s
tuff th
a
t
will be
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
c
l
eanup: move stuff from smatch_ext
r
a
.
c to smatch_math
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan C
a
rpen
t
er
w
h
itespace
chang
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
D
a
n Carpenter
equiv: fix
c
rash
i
n
g
bug
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan C
a
rpente
r
c
h
eck_overflow: malloc() =>
__alloc_smatc
h
_
s
t
a
t
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Da
n
Carpen
t
er
sma
t
ch
.
c: don't leak those 10 bytes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
D
a
n
Carpenter
ass
i
gn
e
d
_expr
:
fi
x
memory leak
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-17
D
a
n C
a
rpenter
kernel: fre
e
_area() doesn't c
a
ll kfree()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-17
Dan C
a
rpente
r
*new*
c
heck_return
.
c:
c
omplain if y
o
u don't check th
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
D
a
n Carpenter
math: make get_i
m
p
l
i
e
d_val
u
e()
w
ork for pointer
s
b
etter
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Ca
r
penter
m
ath: cleanup: create
separate _
g
et
_
i
mplied_value(
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Ca
r
penter
math: handle
m
od
u
lus '%' operations
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math: handle EXPR_POS
T
O
P
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpent
e
r
math: cleanup:
m
ake handling binops a switch() stateme
n
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Ca
r
p
enter
math: cleanup
cre
a
te separate handle_binop() function
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math: cle
a
n
up
.
use ca
s
t_to_type(
)
i
nstead of re-implime
n
ting i
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Car
p
enter
math: c
l
e
a
nup
.
separate handle_preop(
)
int
o
i
t
's own
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
D
a
n Car
p
e
n
t
er
equiv:
fix crashing b
u
g introduced in
8c358883a
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan
C
arpenter
Create sep
a
ra
t
e
smatch_math
.
c file
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan
C
arpente
r
up
d
ate
sm
a
t
c
h_da
t
a/ for 2
.
6
.
34-rc1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
i
m
pli
e
d
:
clean up m
a
ke a
separa
t
e
h
a
ndle_zero_compa
r
iso
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpe
n
ter
equiv: handle comparisons
wit
h
zero
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
D
an C
a
r
p
enter
equ
i
v
: cle
a
nup separate set_extra_true_false()
i
n
t
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
equiv, implied: fix handling
b
or
r
owed impli
c
atio
n
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-14
D
an Carpe
n
ter
implied: don't update the
e
q
uive
l
ent stat
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-14
Da
n
Car
p
enter
rm valid
a
tion/sma
t
ch_closet/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-14
D
an Carpenter
equiv:
don't
o
v
e
r
write
the impli
c
ation information
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
D
a
n
Carpenter
rename __set_state() => __se
t
_sm()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan
Carpenter
rename clone_state() => clon
e
_sm()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Da
n
C
a
r
penter
equiv
:
preserve ->equiv across merges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Da
n
Car
p
enter
Use th
e
equiv
a
lent va
r
iable code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan C
a
rpen
t
er
remove t
r
ackers from ->eq
u
iv w
h
en
t
hey are n
o
l
ong
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan
C
a
rpenter
F
i
x c
r
as
h
ing b
u
g
c
aus
e
d by last commit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan
Carpen
t
er
store infor
m
ation
in
the new dinfo-
>
equiv
t
hing
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpenter
introduce a
d
d_tracker_expr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carp
e
nter
make se
t
_st
a
t
e() an
d
friend
s
return the new sm_state
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
D
a
n
Carpenter
introduce clone_t
r
acke
r
_list()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
D
a
n Carpenter
a
d
d
"equiv" fi
e
ld to struct data_in
f
o
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan C
a
rpenter
move the allo
c
_din
f
o
(
) functions to smatch_extra
.
c
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-11
Dan Carpe
n
te
r
check_signed:
warn about com
p
a
ri
n
g (
u
n
signed
v
ariable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpe
n
ter
update val
i
d
ati
o
n/sm_c
a
sts2
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
*
new* smatch_s
c
ripts/show_errs
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Da
n
Carpenter
*n
e
w* sma
t
ch_
s
crip
t
s/whitespase_
o
nly
.
s
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
D
a
n
C
a
rpenter
add -n
o
-
l
ineno option t
o
s
parse
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
validation/sm_redundant_check
.
c now it
'
s "info"
n
ot
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Ca
r
p
e
n
ter
check_precedence: print
one warning
m
essa
g
e instead
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
check_si
g
ned: handle unsigned 64
b
it va
r
iables better
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-09
Dan Car
p
e
n
ter
g
et_value()
ha
n
d
l
e
som
e
more math operations
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-08
Dan Car
p
enter
make redundant null chec
k
s before kfr
e
e() an "info
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-08
Dan Carpenter
check_si
g
ned: E
l
iminate some false pos
i
t
ive
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-08
Dan Carpenter
precedence: check fo
r
&& v
s
&
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
implic
a
t
i
o
ns: improve h
a
ndli
n
g of comparisons
w
ith
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
u
s
e implications from POSTOPs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan C
a
rpenter
con
d
itions: par
s
e EXPR_POSTOP
s
after evaluating t
h
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Da
n
C
a
rpenter
che
c
k_overfl
o
w:
r
emove fal
s
e posit
i
ves caused by printk
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
D
a
n Carpenter
flow: impr
o
ve handling of w
h
ile(i--) { loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan
C
a
rpenter
remove str
a
nge l
o
o
p message
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
D
a
n
Carpenter
kpatch
.
sh: ask about a
l
lo
c
()
failures specifical
l
y
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpe
n
ter
che
c
k_d
e
ref:
h
andle
_
_G
F
P_NOFAIL
(
re
m
ove false
positives
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-06
Dan Carpe
n
ter
ch
e
ck_dere
f
: handle pointers u
s
ed as arrays
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Dan
C
arpenter
smatch_flow:
c
lea
n
up
.
merge c
o
mmon c
o
de in handle_
p
re_loop
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carpe
n
ter
improv
e
implied_condition
_
tru
e
() for p
r
e
a
nd post ops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Dan Car
p
enter
while countdown
l
oops: handle loops where the start
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carpenter
handl
e
f
o
r loops wher
e
we don't know the upper li
m
it
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carpe
n
ter
smatch_
f
low: handling pre lo
o
ps
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-02
Dan Carpenter
e
xtra:
com
p
aring something to zero do
e
sn'
t
mean it
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-02
D
a
n Carpenter
check_overflow:
r
elax ru
l
es on if (ptr < &array[max
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-02
Dan
C
arpe
n
ter
extra: h
a
ndle loops
l
ike
while
(
i--) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next