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 Carp
e
n
t
er
loc
k
ing: handle spin_loc
k
_irqsa
v
e_nested()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpenter
locking: ha
n
dle raw_spin_
u
nlock_irqrestore()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpente
r
locking: make "s
o
metim
e
s locked" messa
g
es depe
n
d on
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan
C
arp
e
n
ter
Merg
e
branch 'dev
e
l' into devel_equiv
commit
|
commitdiff
|
tree
2010-03-31
Dan C
a
rpenter
equi
v
: i
f
a
v
a
riable is only equ
i
valent to it
s
elf
set
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan C
a
rp
e
n
t
er
e
xtra: use the f
a
ke
assignments instea
d
of the initializer
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carpent
e
r
eq
u
i
v
:
never set SMATC
H
_EXTR
A
valu
e
s
direct
l
y
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Da
n
Ca
r
penter
equiv: eliminate
bo
g
us
call to set_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carpenter
introduce __
s
match_debug_on() and __smatch_debu
g
_o
f
f()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-29
Dan
C
arpenter
l
ocking: make spinlock_irqsave() work for my config
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-29
D
a
n Carp
e
nter
locki
n
g:
w
hite space fi
x
es
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-29
Dan Ca
r
p
e
nter
locking: add m
o
r
e
standard l
o
c
k
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-28
Dan Carpenter
check_locking: cle
a
n u
p
lis
t
of kernel l
o
cks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
Dan Carpe
n
ter
handle s
e
lec
t
assigns:
foo
=
a ? b
: c
;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
Dan
C
arpenter
c
ore: fak
e
cur_slist more co
m
p
let
e
ly
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
Dan C
a
rpente
r
cor
e
: rewrite select stateme
n
t handling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Da
n
Ca
r
penter
states: ver
i
f
y
t
hat the s
t
a
c
k
s are emp
t
y at the end
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Car
p
enter
Rename functions: __pop_f
o
o() => _
_
discard
_
foo()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpen
t
er
smatch_states: rename some functi
o
ns
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpenter
release_res
o
u
rce:
D
oh
.
It's looking for the wro
n
g
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan
Carpenter
fix s
e
lect statement handling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan Car
p
enter
c
ore: cleanup
.
delete f
a
ke cond
i
tion
stack co
d
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carp
e
nter
c
o
re:
m
a
ke fake cur_slists stackable
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan
C
arpenter
slist: make set_state_s
t
ack() retur
n
the new sm_state
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
D
a
n Carp
e
nter
*ne
w
* check_
r
elease_resour
c
e
.
c: check that we release
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-24
Dan Car
p
enter
flow:
s
p
l
i
t
a
s
m clobbers, inputs a
n
d
o
u
tpu
t
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-23
Dan
C
a
r
pe
n
ter
white_s
p
aceonly: al
l
o
w header
fil
e
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-22
D
an
C
arpenter
*new* strip_whites
p
a
c
e
.
pl: removes all the whitesp
a
ce
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-22
D
a
n Carpenter
*ne
w
* check_re
s
ource_size(): pro
d
peo
p
l
e
t
o use resour
c
e_si
z
e()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-21
Dan Carpenter
extra: assu
m
e impossible thing
s
a
r
e
impossi
b
le
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-20
Dan
C
arpenter
err
_
p
t
r: fix
btrfs false positives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-20
Dan Carpent
e
r
err_ptr: handle when an err_ptr is reas
s
i
g
n
ed
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Da
n
C
arpent
e
r
*new*
check_db_i
n
fo
.
c
p
rin
t
s out
stu
f
f that
w
i
l
l be
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
D
a
n Carpent
e
r
cleanup: move stuff from
smatch_extra
.
c to smatch
_
math
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
D
an C
a
rp
e
n
t
e
r
whitespace changes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
D
an
C
arp
e
n
t
er
e
q
u
i
v
:
fix crashing bug
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan C
a
r
p
e
n
t
e
r
che
c
k
_overf
l
ow:
malloc() => _
_
alloc_
s
mat
c
h_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
D
an Carpenter
sma
t
ch
.
c: don't
leak those 10 bytes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Car
p
enter
assigned_expr: fi
x
memor
y
leak
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-17
Dan Carpenter
k
e
rn
e
l
: f
r
ee_ar
e
a() doesn't call k
f
ree
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-17
Dan
Carpenter
*new* check_return
.
c
:
complain if
you don't che
c
k the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
m
at
h
: make get_impli
e
d_valu
e
(
)
w
o
rk fo
r
point
e
rs better
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math
:
cleanup: cr
e
ate separate _
g
et
_
implied_
v
alue(
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
D
a
n
C
a
rpenter
math: handle
m
o
d
u
l
us '%' opera
t
ions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan
C
arpenter
m
ath: handle EXPR_
P
OSTO
P
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math: cleanup: make
h
andling binops a
s
w
i
tch() statement
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan C
a
rpe
n
t
e
r
m
ath: cleanup c
r
eate separate handle_binop() fu
n
ction
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan C
a
rpenter
math: cleanup
.
use cast_to_type()
instead of r
e
-implimentin
g
it
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carp
e
nter
ma
t
h: c
l
eanup
.
separ
a
te handle_
p
r
e
op()
i
nto
it's own
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Ca
r
penter
e
quiv:
fi
x
crashing bug introduced in 8c358
8
83a
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Ca
r
penter
Create separate
s
match_mat
h
.
c file
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
update sma
t
c
h_data/ for 2
.
6
.
3
4-r
c
1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
D
a
n Carpenter
i
mplied
:
clean up m
a
ke
a
separ
a
te
h
a
ndle_zero_comparison
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Ca
r
p
enter
equiv: han
d
le comparisons with
zero
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
D
a
n Carp
e
n
t
e
r
equiv: cleanup
separate set
_
extra_true_false() into
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan
C
arpe
n
te
r
equiv, implied
:
fix handling borrowe
d
imp
l
icat
i
ons
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-14
Da
n
Carpenter
implied: don't update t
h
e equivelent s
t
ates
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-14
Dan Carpenter
rm validation/sm
a
tch_clo
s
et/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-14
Da
n
Carpente
r
equiv: don't over
w
rite t
h
e implication information
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
rename __set_state() => __set_sm()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Car
p
enter
rename clone_state() => clone
_
sm
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
D
a
n Carpenter
e
q
u
i
v
: pre
s
e
rve ->equiv across m
e
rges
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
D
a
n
Carpenter
Use the equi
v
alent
v
ariable code
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan C
a
rpenter
remove trackers from ->equi
v
when they are
n
o
l
o
ng
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan
C
arp
e
n
t
e
r
Fix crashing bug c
a
used
b
y last
commit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carp
e
nter
store informa
t
ion
i
n
th
e
new dinfo
-
>
e
quiv th
i
ng
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
D
an Carpen
t
e
r
introduce add_tracker_expr()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan Ca
r
penter
ma
k
e set_
s
t
ate
(
) an
d
f
riends ret
u
rn t
h
e new sm_state
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan
Carp
e
nter
introdu
c
e
c
lone_tr
a
c
ke
r
_list
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carp
e
n
t
er
add "equiv
"
field to stru
c
t d
a
ta_info
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan Car
p
e
n
ter
move the a
l
loc_
d
info(
)
functions t
o
s
m
atch_extra
.
c
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-11
Dan C
a
r
p
enter
c
heck_signed: warn about comparing (unsigned variable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan
Carpenter
upd
a
te
vali
d
ation
/
sm
_
casts
2
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
*new
*
smatc
h
_scripts
/
show_
e
rrs
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Da
n
Carpe
n
ter
*ne
w
* smatch_scripts/
w
hitespase_onl
y
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
D
a
n Carpent
e
r
add -no-li
n
e
no option to sparse
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Da
n
Car
p
ent
e
r
validation/s
m
_
r
edundant_c
h
e
ck
.
c no
w
it's "info" not
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan C
a
rpenter
check_p
r
ecedence
:
pr
i
nt one warning mess
a
ge ins
t
ead
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Da
n
C
arp
e
nter
check_signed
:
handle unsigned 64 bit variables bett
e
r
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-09
Dan Car
p
enter
get_value
(
)
hand
l
e some more
math ope
r
ations
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-08
D
an Carpe
n
ter
make redund
a
nt null
checks
befo
r
e kfree() an "info
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-08
D
a
n Carpenter
check_sig
n
ed: E
l
iminate some false
p
ositives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-08
Dan Carpenter
prec
e
dence: c
h
eck
f
o
r
&& vs &
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan C
a
r
penter
implic
a
tions: impr
o
ve handling of
c
ompari
s
ons
with
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
us
e
implicatio
n
s from POSTOP
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Da
n
C
ar
p
en
t
er
conditi
o
ns: pa
r
se EXPR_POST
O
Ps after evaluating the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
D
an Ca
r
penter
check_o
v
erflow: remove
f
alse po
s
i
t
iv
e
s cau
s
ed by printk
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Ca
r
p
enter
flow: improve handling of
while(i--
)
{ loop
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Da
n
Ca
r
penter
remove st
r
an
g
e lo
o
p message
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Da
n
Carpenter
kpatch
.
sh: ask about alloc()
f
ailures spec
i
fically
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
c
h
e
ck_de
r
e
f
: hand
l
e
__GFP_NOFA
I
L
(
r
e
move
f
alse positiv
e
s)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-06
Dan Carpenter
c
h
e
c
k
_deref:
handle poin
t
ers used as arrays
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Dan Ca
r
penter
smatch_fl
o
w: clean up
.
m
e
rge common code in handle_pre
_
loop()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
D
an Carpenter
impro
v
e implied_condition_tru
e
()
for pre and
p
ost ops
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carpenter
while co
u
ntdown loops:
han
d
le loo
p
s where the start
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Dan
C
arpenter
ha
n
d
le fo
r
loo
p
s where we
d
on't know t
h
e
upper
l
i
m
it
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Dan Ca
r
pent
e
r
s
m
at
c
h_flow: handling pre l
o
ops
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-02
Dan Carpenter
extra: com
p
aring so
m
ething
t
o zero doesn't mean it
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-02
Dan Carp
e
nter
check_
o
verflow: relax rules on if (ptr < &array[max
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-02
Da
n
Carpent
e
r
extra:
h
a
n
d
le
loops li
k
e while(i--) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next