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
Improve lock check output. Add more validation samples.
2009-02-24
Dan Carpenter
I
m
p
rove l
o
ck check output
.
Add mo
r
e valida
t
ion sam
p
les
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpen
t
e
r
Add sup
p
ort for down_interruptible() and frien
d
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan
C
a
r
pe
n
ter
Fix the Unclear lo
c
k
i
ng thing
.
Aga
i
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
W
arn on
d
o
uble lo
c
k/un
l
o
c
k
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan
C
a
r
p
e
nter
Print fewer U
n
clear locking
m
essages
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan
Carpenter
if ((1)) {
.
.
.
is a known_condition_t
r
ue
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpen
t
er
A
dd supp
o
r
t
for those funny
g
cc ({
.
.
.
})
b
lock statements
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
D
a
n
Carpenter
Handle declarations inside switch state
m
ent blocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Ca
r
pe
n
te
r
C
l
eanup is_
z
e
r
o()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
D
a
n
Carpenter
Add
k
nown_condition_false()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
D
a
n Carpenter
Fix handlin
g
of contin
u
e inside d
o
whi
l
e st
a
t
emen
t
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan
C
arpenter
Don't set
l
e
t
peopl
e
set state
s
f
or
unre
a
chable code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpe
n
ter
Small c
l
e
a
nup
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Car
p
enter
Handle
t
h
e
i
t
era
t
o
r
s
c
orrectly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpent
e
r
A
d
d support for "if (a
?
b:c) {
.
.
.
" ternary conditi
o
ns
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan
C
a
r
penter
Add some
s
uppo
r
t for
_spin_trylock(
)
a
n
d
f
riends
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
if (a ||
b)
{
a->foo;
shoul
d
print
a
n e
r
ror
.
Also
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpen
t
e
r
Thi
s
prints ou
t
erro
r
messages
all the time tha
t
are
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Da
n
Carpenter
Assignment always
sets
&i
s
fr
e
ed t
o
something el
s
e like
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Car
p
enter
Don't prin
t
cross_func errors if th
e
called fun
c
tion
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpenter
Remove call t
o
all
o
c
_st
a
te()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpenter
Call the merge_hoo
k
(
) i
n
stead of setting t
h
e
stat
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Oops
.
M
e
a
n
t to commit t
h
is earl
i
er
.
:/
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpenter
Ad
d
the merge_hook() back
i
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
C
lear the
r
eturns
l
i
sts at the end of each functio
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpenter
Move the
imp
l
ications
checking to after the s
c
r
i
pts
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Rewrite compl
e
tely with ne
w
g
o
al
.
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Add
s
ome fu
n
ctions to handle tracker l
i
sts
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpe
n
ter
D
o
n't segfault all the time when checking for
e
ver loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rp
e
n
t
er
Test to
s
ee if we
a
re catch
i
ng
cross
f
unction de
r
efs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n
C
arp
e
nter
Use the ->possible stat
e
s an
d
remove the
m
e
rge_hook()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Car
p
enter
"while ((1)) {" is
a
for
e
ver l
o
o
p
.
C
a
ll strip_expr()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpenter
fixes
t
o the -> pos
s
ible set
t
ing
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpenter
Merge br
a
nch 'master' into nu
l
l_d
e
ref
commit
|
commitdiff
|
tree
2009-02-17
Dan
Carpenter
Add validation scri
p
t for
check_n
u
ll_dere
f
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-16
Dan Car
p
ent
e
r
Clean
up
.
new->poss
i
ble is alwa
y
s
n
ull h
e
re
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpe
n
ter
Oops
.
->po
s
sibles wasn't getting s
e
t
c
orre
c
tly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Da
n
Carpenter
Use strip_expr() in split_co
n
di
t
ions() inste
a
d reproduci
n
g
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Add some mo
r
e operations to get_value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Da
n
Carpenter
R
eturn &merged instea
d
of &undefi
n
ed
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
make get_va
l
ue()
r
eturn a valu
e
f
o
r bit
w
ise or ex
p
r
ession
s
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Try again removing
states from poo
l
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Revert
"
Re
m
ove a
state from it's ->p
o
ol
s
w
hen set_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carp
e
nter
Elimi
n
ate
a war
n
ing
.
Prob
a
bly
t
he wrong w
a
y
t
o do
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n
C
arpenter
Clean ups
.
Comments
.
Rename sl
i
st_stack to na
m
e
d
_stac
k
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
ar
p
enter
Ha ha
.
I
still suck at po
i
nters
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rpent
e
r
Cleanups
.
Commen
t
s
.
Remove debugging code from
f
i
lter()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpe
n
ter
Clean
up
.
Also preserve the
-
>pool
s
i
n
o
n
e
path of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpenter
Clean up get_state_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Remov
e
__ov
e
r
w
rite_cur_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carpent
e
r
T
here was d
e
b
u
ggin
g
o
utput th
a
t acci
d
e
ntall
y
got committed
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpen
t
er
Remove a
s
tate from it's ->pools
w
h
e
n set_state() i
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpe
n
ter
Do
n
't delete
the -
>
pools
o
n merging
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpenter
Try un
d
erstand
the impl
i
ca
t
ions from
c
omp
o
u
nd
c
onditions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
penter
Crea
t
e a
stat
e
&merg
e
d
.
W
h
en we merge stuff
it i
s
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
Carpenter
Ok
.
T
h
is time smatch_implie
d
_really_ does something
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpent
e
r
Ignor
e
cs
c
o
pe files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Small cleanu
p
s
.
(
W
h
ite space)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan C
a
r
p
e
n
ter
Whit
e
s
pace
change
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
Carpente
r
Add some more lo
c
king
f
un
c
tions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpente
r
Fix i
m
plied poo
l
s s
o
t
hat at
l
ea
s
t i
t
does s
o
mething
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan C
a
r
p
enter
It seemed like tracker_list w
o
uld be useful in a
lot
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carp
e
nt
e
r
Add
a REA
D
ME desc
r
ibing smatch
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan
Carpen
t
er
Add s
c
rip
t
to find N
U
LL dereferences be
t
w
e
e
n functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Fix usage
m
e
ssage
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpen
t
e
r
Check for mall
o
c() as
w
ell as
k
ma
l
loc()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Fix seg
f
ault when
handlin
g
implicit
l
y
d
e
clar
e
d
functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpenter
W
a
rn wh
e
n we don't
a
cquire
l
ocks when calling certa
i
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
D
a
n Carpenter
T
r
y
(and fail) to fi
n
d
m
emory le
a
k
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpe
n
ter
Almo
s
t print a m
e
ssage whe
n
y
o
u
come
t
o u
n
reachable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Add chec
k
to look for d
o
u
b
l
e f
r
ee
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan
C
a
r
penter
Add che
c
k
ing fo
r
lock_kernel()/u
n
lock
_
kerne
l
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
M
ake check_
l
ocking check both spinlock
s
and
s
emaphores
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpente
r
Add
a new function sli
s
t_has_state
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
If the
r
e
is a
n
i++ then the valu
e
of '
i
' is
u
n
def
i
ned
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpente
r
Ad
d
a ne
w
check_locki
n
g script that checks spinl
o
cks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Save the p
o
ssible
s
tates instead of just merg
i
n
g th
e
m
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Ca
r
pe
n
ter
I
gnore
e
mac
s
gar
b
a
g
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpenter
Merge bran
c
h
'maste
r
'
into pools5
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
A
dd a comme
n
t
s
ho
w
ing where
t
h
e tests are supposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpe
n
ter
T
his
i
s left
over
from October as part of the imp
l
ied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carp
e
nter
A
dd get_poss
i
ble_state
s
()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpent
e
r
Stuff left ove
r
from October
.
Impli
e
d
p
ools work
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Carpen
t
er
W
e
coul
d
s
a
ve some
memory
b
y not allocating new memory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
Dan
C
arpenter
F
i
x me
m
ory l
e
ak
.
Add more comments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpe
n
ter
Add a me
r
ge hook
.
Handle
t
he situation
s
like:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan C
a
r
p
ent
e
r
s
t
rcmp() d
o
esn't accept NU
L
L arguments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Car
p
e
nter
re
n
a
m
e t
w
o fu
n
ctions: ge
t
_variable_fr
o
m_exp
r
_
s
imple
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
arpenter
get_variable_from_
e
x
p
r() u
s
es a st
a
tic
b
uffer and
yo
u
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
Create a check_te
m
plate
.
c example
script tha
t
l
ooks
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan
C
arpenter
Make
g
et
_
all_state
s
()
n
o
t
segfault every time
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
D
an C
a
rpenter
Fix get_valu
e
(
) to return negative value
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Ca
r
penter
We only
e
v
er pa
s
s
one pa
r
ameter
i
nto get_value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
F
i
x get_al
l
_stat
e
s() to match the funct
i
on definition
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
R
e
move add_state
(
)
and state_def
i
ned
(
)
d
e
f
initions
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpe
n
ter
Clean up
.
Fix l
e
ak
.
M
y pr
o
blem i
s
th
a
t
I
don't understand
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan
Car
p
enter
Initi
a
l
co
m
mit o
f
the "i
m
plied
state pools"
st
u
ff
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Doh
.
W
e
haven'
t
bee
n
usi
n
g smat
c
h_
e
xt
r
a
for a
wh
i
le
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Da
n
Carpe
n
ter
Get rid of path_history
.
It's never going to b
e
used
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan C
a
rpen
t
er
Make
g
o
to_stack s
t
ati
c
.
commit
|
commitdiff
|
tree
next