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: add more standard locks
2010-03-29
Dan Carpenter
l
ocking: add more
standard locks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-28
Da
n
Car
p
enter
chec
k
_locking: clea
n
u
p list of
k
e
rnel
l
o
c
ks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-27
Da
n
Carpenter
handle select assigns: foo = a ? b : c;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-27
Dan Carpe
n
ter
cor
e
:
fake cur_
s
l
i
st
m
ore comp
l
et
e
ly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-27
Dan Carpent
e
r
co
r
e:
r
ewrite select state
m
e
n
t
h
andling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Da
n
Carp
e
nter
states: verify
t
hat th
e
st
a
cks are empty
at the end
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
D
an Car
p
enter
Rena
m
e funct
i
ons: __p
o
p_foo
(
) => _
_
d
i
sca
r
d_foo(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpenter
smatch_sta
t
es: rename some fun
c
tio
n
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpenter
re
l
ease_
r
e
s
ource: Doh
.
It's
looking
f
or the
wrong
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Da
n
Carp
e
nter
fix select s
t
a
temen
t
han
d
li
n
g
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
Dan
C
a
r
pen
t
er
core: cl
e
anup
.
delete fake condition stack
code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpente
r
cor
e
: make f
a
ke
cur_slists stack
a
ble
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
Dan Ca
r
pen
t
er
slis
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 Carpenter
*
n
ew* check_release_resource
.
c: check
that we release
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-24
Dan Car
p
enter
flow: split asm cl
o
bbers,
inp
u
ts and out
p
u
t
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-23
D
a
n C
a
r
pe
n
t
er
white_spaceonly: all
o
w header files
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-22
Dan Carpen
t
er
*new* s
t
ri
p
_wh
i
tespace
.
pl: removes all th
e
whit
e
space
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-22
Dan C
a
rpe
n
t
e
r
*ne
w
*
check_r
e
source_s
i
ze
(
): prod people to use res
o
urce_size
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-21
Dan Carpenter
extra: ass
u
me
impo
s
si
b
le thi
n
gs are im
p
ossible
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-20
Dan Carpenter
err_ptr
:
fix btrfs fals
e
positive
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-20
Dan Ca
r
pen
t
e
r
err_ptr: hand
l
e when a
n
err_ptr is reassigned
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
*ne
w
* c
h
eck_db_in
f
o
.
c p
r
ints out s
t
uff t
h
at will be
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Car
p
enter
cleanup: move stuff from smatch_
e
xt
r
a
.
c to s
m
atc
h
_math
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
D
an Carpenter
whitespace changes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
D
a
n Carpenter
eq
u
i
v
: fix
crashing bug
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
check_ov
e
rflo
w
: mall
o
c()
=> __alloc
_
smatch_s
t
ate()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpe
n
ter
smatch
.
c: don't leak those 10 bytes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Ca
r
p
e
n
t
er
assigned_expr: fix memor
y
leak
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-17
Dan Carpente
r
ke
r
nel: free_area()
doesn't
c
all
k
free()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-17
Dan
C
arpent
e
r
*new* check_
r
e
t
urn
.
c: complain if you don't chec
k
the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Ca
r
penter
ma
t
h:
m
a
ke g
e
t_im
p
lied
_
value()
w
o
rk for pointers better
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan
Carpenter
m
ath: cle
a
n
u
p: create se
p
a
ra
t
e _get_implied
_
value(
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carp
e
nter
math:
han
d
le m
o
dulus '%' operations
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math: han
d
le
E
XPR
_
PO
S
TOP
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math: cl
e
anup:
m
a
ke hand
l
ing
binops a swit
c
h() statement
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan C
a
rpenter
math: cleanup create
s
eparate handle_binop() function
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math: cleanup
.
use ca
s
t_to_
t
ype() ins
t
ead of re-implimen
t
ing it
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
D
an
C
arpenter
math: cleanup
.
s
e
par
a
te
h
a
ndle_preop() into it's own
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
D
a
n
Ca
r
penter
equiv: fix
c
rashi
n
g bu
g
introduced in 8c358883a
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
Create separate s
m
atch_mat
h
.
c
f
ile
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Da
n
Carpenter
update smatch_dat
a
/ for 2
.
6
.
34-rc
1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Ca
r
penter
i
m
pli
e
d: clean up make
a
s
eparat
e
handle_zero_com
p
a
r
ison
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
equiv: handle co
m
paris
o
ns with zero
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carp
e
nter
e
quiv
:
c
lea
n
up
s
eparate set_extra_true_false() i
n
to
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carp
e
nte
r
e
q
u
iv,
impl
i
ed:
f
ix handl
i
n
g
borrowe
d
impl
i
cat
i
ons
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-14
Dan Carp
e
nter
i
m
p
l
i
e
d
: don't upd
a
te the
equivelent states
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-14
Da
n
Carpenter
rm validation/
s
match_closet/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-14
Dan Ca
r
pe
n
t
er
equiv: don't o
v
er
w
rite the
implication informati
o
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Ca
r
pe
n
t
er
r
e
n
a
me __
s
et_state
(
) =>
__
s
e
t_sm()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
D
a
n
Carpenter
rename
clon
e
_state() =
>
clone_sm()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpent
e
r
equiv: preserve ->equiv acr
o
s
s
mer
g
es
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Da
n
Carpenter
Use the equiva
l
e
n
t variable code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Ca
r
penter
r
emove trackers
f
rom ->equiv when
they are no
long
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
Fix crashing bug caused by last com
m
it
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
D
a
n
Carpe
n
t
e
r
store in
f
o
rma
t
ion in th
e
new dinfo->equiv thing
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
D
a
n
Carpenter
i
ntrodu
c
e
a
dd_tracker_
e
xpr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan
C
arpen
t
er
make set_state() and friends retur
n
t
h
e
n
e
w sm_s
t
ate
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpente
r
introduce c
l
one_tracke
r
_list()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpenter
add "equiv"
f
ield t
o
s
t
ruct data_info
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpenter
move the a
l
lo
c
_dinfo
(
) functions to smatch_extra
.
c
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-11
Dan
C
a
rpent
e
r
check_signed: warn a
b
out c
o
mparing (
u
nsigned varia
b
l
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
D
an Carpenter
u
pdate
v
a
lidation/sm_casts2
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan
C
arpe
n
ter
*
n
ew* sma
t
ch_
s
crip
t
s/
s
h
o
w
_errs
.
s
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
*
n
ew*
s
m
a
tch
_
scrip
t
s/whitespase_only
.
s
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
D
a
n Carpenter
add -no-lineno option to sparse
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
o
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
D
a
n
C
arpenter
check_precedence: print
o
ne warning message in
s
tead
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
D
a
n Carpenter
check_si
g
ned:
h
andle unsigned 64 bit
variables be
t
t
er
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-09
D
a
n
Carpenter
get_v
a
lue(
)
han
d
le
s
ome more m
a
th oper
a
tions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-08
Da
n
Carpenter
make redundant null check
s
before kfr
e
e() an "info
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-08
Dan Carpe
n
ter
check_signed: E
l
iminate som
e
f
alse positives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-08
Dan Carpenter
p
rec
e
d
e
nce: check fo
r
&& vs &
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan
C
arpenter
implica
t
ions: improve handling
o
f comparisons wi
t
h
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan
C
a
rpente
r
use implicatio
n
s
from P
O
STOPs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpente
r
c
o
n
d
itions: parse EXPR_POSTOPs
after ev
a
luating the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Da
n
C
arpenter
chec
k
_o
v
erflow: r
e
move f
a
lse pos
i
t
ives c
a
u
s
ed by prin
t
k
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
f
l
ow: improve handling of
w
hile(i--) { l
o
op
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
r
e
m
o
ve str
a
nge loop
m
e
s
sag
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpe
n
ter
k
p
atch
.
sh
:
ask about alloc() fail
u
re
s
specifically
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan
Carpenter
check_deref: han
d
l
e
__GFP_NOFAIL (remove false positives)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-06
Dan Carpenter
c
h
eck_dere
f
: han
d
le pointers
u
sed as
a
rr
a
ys
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carpenter
smatch_flow: clea
n
up
.
mer
g
e
comm
o
n
code i
n
handle_pr
e
_
lo
o
p()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carpe
n
ter
improve implied_cond
i
ti
o
n_true() for
p
r
e an
d
po
s
t ops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carpenter
while countdown
l
o
ops:
handle loops wher
e
th
e
start
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carpenter
handle for
l
oops where we don't know the upper limit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carpe
n
ter
sma
t
ch_flow: h
a
n
d
l
i
ng pre loop
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-02
Dan Carpenter
extra: co
m
parin
g
something to ze
r
o
doesn't mean it
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-02
Dan Carpenter
c
h
ec
k
_
o
v
erflow: r
e
lax r
u
les on if (
p
tr
<
&
a
r
ray[max
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-02
Dan C
a
rpenter
extra
:
handle loop
s
lik
e
while(i--) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-27
D
an Carpenter
clean up: merg
e
a couple
f
u
nc
t
ion for
h
a
n
d
ling for
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-27
Dan Car
p
e
nter
fi
x
handl
i
n
g
of (2
<
=
x) comparisons where the v
a
riable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-25
Dan
C
arpe
n
te
r
chec
k
_signed: disable most
o
f the new warnings
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-25
Dan Carpent
e
r
g
e
t_ty
p
e() fix crash on
g
ettin
g
p
ointer types
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
D
a
n Ca
r
penter
get_va
l
ue() more int to long
long mop up
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan
C
ar
p
ente
r
get_ty
p
e() fix po
i
nter handling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
D
a
n
Ca
r
penter
F
ix get_value() fo
r
((un
s
igned
i
n
t) -1
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpenter
ty
p
e_m
a
x(
)
: handle unsigned long long
.
(
sort
o
f)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Da
n
Carp
e
nter
get
r
id of --rare o
p
ti
o
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpente
r
re
n
ame get_single_valu
e
_from_rang
e
() =>
g
et_sing
l
e_value_fro
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan Ca
r
penter
for loops:
add a special case
f
or "for(i = 0; i <
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next