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
D
a
n
C
a
r
p
enter
locking:
handle spin_trylo
c
k_irq(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carp
e
nter
loc
k
ing: handle spin_lock_irqsave_nested()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan C
a
rpenter
l
ocking: handle ra
w
_spin_unlock_irqrestore()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan
Car
p
enter
locking: make
"
somet
i
m
e
s locke
d
" me
s
s
a
ge
s
depend on
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpenter
M
erge branch 'devel' into devel_equiv
commit
|
commitdiff
|
tree
2010-03-31
Dan
C
arpenter
eq
u
iv
:
if a variable
is
o
nly equivalent to itsel
f
set
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
D
an Carpenter
extra: use th
e
fake
a
s
s
ign
m
ents instead of t
h
e initializer
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carpenter
equiv: never s
e
t SMA
T
CH_EXTRA values directly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
Dan C
a
rpenter
equiv: eliminate bogus call t
o
set
_
s
t
ate()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
Dan
Carpenter
introduce
_
_sma
t
ch_debug_on() and __smatch_d
e
bug_off()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-29
Dan
C
arp
e
n
t
er
l
o
c
k
i
n
g
: make s
p
inlock_irqs
a
ve() w
o
rk for my c
o
nfig
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-29
Da
n
C
a
rpenter
locking: white space
fixes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-29
Dan Carp
e
nte
r
locking: add more
standard locks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-28
Da
n
Carpenter
chec
k
_lockin
g
: clean up list of
kernel lo
c
ks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-27
Dan Carpent
e
r
han
d
le select as
s
i
gns: f
o
o = a ?
b
: c;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-27
Dan Carp
e
nt
e
r
core:
f
a
ke
c
u
r_slist more completely
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-27
Da
n
Car
p
e
nt
e
r
core
:
rew
r
ite
select state
m
ent handling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpenter
states: v
e
rify th
a
t the stacks
a
re emp
t
y at the end
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpente
r
Ren
a
m
e func
t
ions: __pop_foo()
=
>
__disca
r
d_foo()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpenter
smatch_s
t
ates: rena
m
e some functio
n
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpenter
release_res
o
urce: Doh
.
It's lookin
g
for the wrong
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
D
an
Carpe
n
ter
fix sele
c
t st
a
te
m
ent handling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpenter
core: c
l
ea
n
u
p
.
delete f
a
ke
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
e
r
c
ore: make fak
e
cur_slists
stackable
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
Dan C
a
rpen
t
er
slist
:
make se
t
_
s
t
ate_stack() return
th
e
new sm_state
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
D
an C
a
rpenter
*new*
c
heck_re
l
e
a
se_r
e
s
ource
.
c: check t
h
at we
release
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-24
Dan Carp
e
nter
f
low:
s
p
lit asm
c
l
o
bbe
r
s, inputs an
d
o
utputs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-23
Dan
C
arpenter
white_spaceonly: al
l
ow
h
eader files
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-22
Dan Carpenter
*n
e
w
*
stri
p
_whit
e
space
.
pl: removes a
l
l
t
he whitespace
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-22
Dan Carpenter
*new* c
h
eck_resource_size():
prod pe
o
p
le to u
s
e resource_size(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-21
Dan Carpenter
e
xtra: assume impo
s
s
ible thin
g
s are im
p
o
ssible
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-20
Dan
C
arpenter
err_
p
tr: fix b
t
rfs fa
l
se p
o
si
t
i
v
es
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-20
Dan Carp
e
nter
e
rr_ptr: handle when
a
n er
r
_ptr is reass
i
g
ned
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan C
a
rpent
e
r
*
new* ch
e
ck_db_in
f
o
.
c print
s
out stuff that will
be
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Da
n
C
a
r
p
enter
cle
a
nup: m
o
ve
s
tuff from smatch_extra
.
c to sma
t
c
h
_math
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpent
e
r
w
h
itespace chan
g
es
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
D
a
n
Carpenter
equ
i
v: fix crashin
g
b
u
g
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
D
an Carp
e
nter
c
h
ec
k
_overflow
:
m
a
lloc()
=
> _
_
a
lloc_smatch_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan
C
arpenter
smatch
.
c: don't leak those 10 byt
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan
Carpente
r
assigned_expr: fix mem
o
ry leak
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-17
Dan Ca
r
pe
n
ter
k
e
rne
l
: free_a
r
ea()
d
o
e
s
n't c
a
ll
k
free()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-17
D
a
n Ca
r
pent
e
r
*
n
ew*
c
h
eck_return
.
c: complain
if you don
'
t
c
heck the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
D
a
n
C
arpe
n
ter
math: make get_implied_value() work for pointers
b
etter
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Car
p
enter
math: clea
n
up: cr
e
a
te se
p
arate _
g
et_implied_value(
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carp
e
nte
r
math: hand
l
e mod
u
lu
s
'%' operations
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan C
a
rpent
e
r
math
:
handle EXPR_POSTOP
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan
Carpenter
math: cleanup: ma
k
e
h
andl
i
ng b
i
n
o
p
s
a swit
c
h()
s
tatement
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math: cleanup
create
se
p
arate handle_b
i
nop()
function
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math: cleanup
.
use
c
a
st
_
to_t
y
p
e() inste
a
d of r
e
-implimenting it
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpen
t
er
math: cleanup
.
separate
h
andle_preop
(
)
i
nto it's
o
wn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Ca
r
penter
e
q
u
i
v: fix crashing b
u
g introduc
e
d in 8c358883a
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpen
t
er
Create
s
epar
a
te
s
matc
h
_math
.
c
file
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
upda
t
e smatch_data/ for 2
.
6
.
34-rc1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
impl
i
ed: clean
up make a separa
t
e
h
andle_zero_compa
r
i
s
on
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
equiv: handle compar
i
sons wi
t
h zer
o
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Ca
r
penter
equ
i
v: cleanup
s
e
parate set_extra_true_fal
s
e(
)
into
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan C
a
rpent
e
r
equiv, imp
l
ied: f
i
x handling b
o
rrowe
d
i
m
plications
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-14
Dan
C
arpenter
implied: don't update the equ
i
velent st
a
tes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-14
Dan Carpente
r
rm valid
a
tion/sm
a
t
c
h_closet/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-14
Dan Carp
e
nter
equiv:
d
on't overwrite the i
m
plica
t
ion
i
n
f
or
m
ation
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
D
an
C
arpenter
rename __s
e
t_st
a
te()
=> __
s
et_sm()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan
C
arpenter
rename clone
_
sta
t
e() => clone_s
m
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Ca
r
penter
equi
v
: preserve ->equiv across merg
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
Use t
h
e
equivalent variable code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Ca
r
penter
r
e
move tracke
r
s
from ->equiv when they are n
o
long
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
Fix cra
s
hing
bug caused by last
c
ommit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpen
t
er
store information in th
e
new dinfo-
>
equiv thing
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
D
an C
a
rp
e
nter
introd
u
ce
add_tracker_expr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Da
n
Ca
r
pente
r
make set_state() and
fr
i
ends retu
r
n th
e
new sm_s
t
ate
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpe
n
ter
i
nt
r
o
d
u
c
e
clone_tracker_lis
t
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpent
e
r
add "equiv" field to struct data
_
info
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpenter
move t
h
e all
o
c_d
i
nfo()
functions to s
m
a
tch_extra
.
c
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-11
Dan Carpenter
check_si
g
ned: warn about co
m
pari
n
g (un
s
igned v
a
riable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
update val
i
dation/sm_casts2
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Da
n
Car
p
e
n
t
er
*
n
e
w* smatch_scripts/show
_
errs
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
D
an Carpenter
*new* smatc
h
_scripts/w
h
itespa
s
e_o
n
ly
.
s
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan
C
arpent
e
r
a
d
d -no-lineno option
to sparse
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
validation/
s
m_
r
e
d
undant_check
.
c now
it's "info" no
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
check_prec
e
dence: print one warning message instead
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
c
heck_signed: h
a
ndle unsigned 64 bit va
r
iables better
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-09
Dan Carp
e
n
t
e
r
get_v
a
l
ue() handle some more
math
operati
o
ns
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-08
D
an Carpenter
make redund
a
nt null checks befo
r
e k
f
ree() an "info
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-08
Dan C
a
rpenter
check_signed:
Eliminate s
o
me false
posit
i
ves
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-08
Dan Carpenter
prece
d
enc
e
: check for && vs &
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Ca
r
penter
impl
i
cat
i
ons: im
p
rove handling of comp
a
risons with
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpe
n
ter
use imp
l
ications from
P
O
STOPs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan C
a
rpenter
conditions: parse EXPR_POSTOPs after evaluating the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
check_overflow: remo
v
e
f
alse posi
t
i
v
e
s
cau
s
ed by
printk
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Da
n
Carpenter
flow: improve handl
i
ng of while(
i
--)
{
loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
remove
strange loop
m
essage
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
k
patch
.
s
h:
ask a
b
o
u
t alloc() failures spe
c
ifically
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
che
c
k_deref: hand
l
e __GFP
_
N
O
FAIL (remov
e
fa
l
se positives)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-06
Dan Carpe
n
ter
check_deref: handle pointers used as arrays
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
D
a
n Carpenter
smatc
h
_
f
low: c
l
ean up
.
merge common co
d
e in handle_pre_loop()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carp
e
nter
i
m
prov
e
implied_con
d
ition_true() for pre a
n
d post ops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carp
e
nter
w
hile
c
ountdown loops:
h
a
n
dle lo
o
ps where the sta
r
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carpente
r
han
d
le
f
or
loops where we do
n
'
t
k
n
ow the upper limit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Dan Ca
r
penter
smatch_flo
w
: ha
n
dlin
g
pre loo
p
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-02
Dan Carpent
e
r
extra:
comparing so
m
eth
i
n
g
t
o zero
d
oesn't mean it
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-02
Dan Carpenter
c
h
eck_ov
e
rflow: rel
a
x rules on if (ptr
< &array[max
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next