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
Only save an implied list if a state has been modified.
2009-02-26
Dan Carpenter
On
l
y save
a
n impl
i
e
d
l
i
st if a st
a
te
h
as been modified
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpenter
Only
i
mplied sta
t
es th
a
t aren't a
l
ready true
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpenter
Take
a
p
ar
a
meter instead of assuming the
output is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpe
n
ter
D
o
n't check that ther
e
a
r
e bot
h
true and
f
alse s
t
ates
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpenter
This check_order()
seems superfluous
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
D
a
n Carpenter
New func
t
i
on har
m
onize_states()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Da
n
C
a
r
p
e
n
ter
cal
l
__split
_
expr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan
C
a
r
penter
rem
o
ve unn
e
eded calls to
__use_cond_true_state
s
();
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
D
an C
a
rp
e
nter
Don't set the
implied s
t
a
t
e
t
o &me
r
ged
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
D
an Carpenter
Mak
e
cmp_tracker() accessibl
e
to
o
ut
s
ide files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan
C
a
rp
e
nte
r
All the states are imp
l
i
ed not just unique ones
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpent
e
r
Improve lock check output
.
Ad
d
more
v
ali
d
ation s
a
mples
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan
Carpen
t
er
Add support for d
o
wn_interruptible(
)
an
d
fri
e
n
ds
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Da
n
Carpenter
Fix the Un
c
lear locking thing
.
Ag
a
in
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
D
an Car
p
e
n
ter
War
n
on dou
b
le lock/unloc
k
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Print fewer Uncl
e
ar lock
i
ng messages
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
if ((1)
)
{
.
.
.
is a kno
w
n_cond
i
tion_t
r
u
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Da
n
Carpenter
Add support
f
or those funn
y
g
c
c ({
.
.
.
}
) block st
a
tements
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Da
n
C
a
r
p
enter
Ha
n
dle
declar
a
tion
s
inside switch stateme
n
t
blocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Cleanup is
_
zero()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carp
e
nter
A
d
d
k
no
w
n_cond
i
tion_false
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
D
an
C
arpen
t
er
Fi
x
h
a
ndling of
c
ontinue in
s
ide do w
h
ile st
a
temen
t
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Car
p
enter
Don't set l
e
t people set
s
t
a
tes
for unreach
a
ble code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Small cleanup
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpe
n
ter
Handle t
h
e it
e
rators co
r
re
c
tl
y
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
Add sup
p
o
r
t
for "if (
a
?
b:c) {
.
.
.
" ter
n
ary
c
o
nditions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
Add some support for
_spin_trylo
c
k() and friends
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan C
a
r
p
enter
if
(
a |
|
b) { a->foo; should
p
r
int an er
r
or
.
Also
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpenter
This
prints out er
r
or
m
essag
e
s all
the
t
i
m
e
that are
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan C
a
rp
e
nte
r
Assignment always
s
ets
&isfreed
t
o som
e
th
i
ng else like
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
an Carpenter
Don'
t
print
cr
o
s
s_
f
u
n
c
e
rrors
if
th
e
called f
u
n
c
tio
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Remove c
a
l
l
t
o alloc_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpenter
C
a
l
l th
e
mer
g
e_hook() instead of setting
th
e
state
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpenter
Oop
s
.
Meant to commit thi
s
ear
l
ier
.
:/
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carp
e
nter
Add t
h
e m
e
rge_hook(
)
back
i
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Cl
e
ar the
r
eturn
s
lists at the end o
f
each functio
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Move th
e
implications checking to a
f
ter the
s
cripts
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rp
e
n
t
er
Rewrite
c
omplet
e
ly with n
e
w goa
l
.
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Add some functions to h
a
n
d
le
t
r
acker list
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
D
on't se
g
fault a
l
l the
t
ime whe
n
checking
forever loops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpen
t
er
T
e
st to see if we are catching cro
s
s function derefs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpente
r
Use the ->p
o
ss
i
ble st
a
tes and remove the merge_hook()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpen
t
er
"while ((1))
{
" is a for
e
ve
r
l
o
op
.
C
a
ll strip_expr()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
f
i
x
es to the -> possi
b
le setting
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-17
Da
n
Ca
r
penter
Merge branch
'
mast
e
r' into
null_
d
er
e
f
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpenter
Add
validation scri
p
t for check_
n
ull_
d
eref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-16
Da
n
Carpen
t
e
r
Clean up
.
new->po
s
sible is always null
here
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpe
n
ter
Oops
.
-
>
possibles wasn't getting
s
et
c
o
r
r
e
c
tly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Use strip
_
expr() in split_co
n
ditions
(
) instead repro
d
ucing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Car
p
e
n
ter
Add some mo
r
e operations to get_va
l
ue()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
D
an Carp
e
nter
Ret
u
r
n
&merged instead of &u
n
d
efined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpent
e
r
ma
k
e
get_value() return a value for bitwis
e
o
r
expressions
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Ca
r
penter
Try
a
gain removing states from
pool
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan
C
arpe
n
ter
Revert "Remo
v
e a state from it's -
>
pool
s
when set
_
s
tate
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpenter
Eliminate a warning
.
Probably
the wrong
way to
do
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Ca
r
pente
r
Clean u
p
s
.
Comments
.
Re
n
ame
slist_stack to n
a
med_
s
tack
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpent
e
r
Ha ha
.
I still suck at
poin
t
er
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpenter
Cleanups
.
Comm
e
n
t
s
.
R
e
move deb
u
g
ging code fr
o
m filter(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
an
C
arpenter
C
lean up
.
A
l
so preserve th
e
->
p
o
o
l
s in one path of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpe
n
t
er
Clean up get_stat
e
_slist(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Remove _
_
overwrite_cur_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpenter
There
was
de
b
u
g
gin
g
o
utput that acc
i
d
enta
l
ly got c
o
mmit
t
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Remove a st
a
te from it's ->
p
ools when set_state() is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
D
o
n'
t
delete the ->po
o
ls on
me
r
ging
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
e
n
t
er
T
r
y under
s
ta
n
d the implica
t
ions fr
o
m
compo
u
nd co
n
ditions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n
C
arpenter
Create a st
a
te &merged
.
When we
m
erge
stuff it isn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Ok
.
Thi
s
time sma
t
ch_impli
e
d
_really_ does somethi
n
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
Carpe
n
ter
Ign
o
re cscope files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan C
a
rpenter
S
m
all cl
e
anup
s
.
(Whi
t
e sp
a
ce)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Whitespac
e
change
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpe
n
te
r
A
dd some
m
ore loc
k
in
g
funct
i
ons
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Ca
r
penter
F
i
x implied p
o
ols so
th
a
t at least i
t
does
somethin
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
Carpenter
It see
m
ed like tracker_list would be useful in a lot
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n C
a
rpenter
A
d
d a RE
A
DME descr
i
bing smatch
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpent
e
r
Add script to
f
ind
N
ULL dereferences between
f
unct
i
ons
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpente
r
Fix usa
g
e mes
s
a
ge
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Check f
o
r mal
l
oc
(
) as well a
s
kma
l
l
o
c()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpe
n
ter
F
i
x segfault when ha
n
dling im
p
l
icitly declared
f
u
n
c
tions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan
Carpenter
Warn when we d
o
n't acquire locks w
h
en calling certain
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpente
r
Try (and fail
)
to find
m
emory
l
e
aks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan C
a
rpenter
Almost
print a
me
s
sage when you come to
u
nrea
c
h
able
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpe
n
t
er
Add che
c
k to l
o
ok for doub
l
e
f
r
e
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan
Ca
r
pen
t
er
A
dd
che
c
kin
g
for
lock_kernel()/u
n
lock_kerne
l
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
M
a
ke check_l
o
cking
c
h
eck
both spinlo
c
k
s
and semaphore
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpente
r
A
dd a new functi
o
n slist
_
has_s
t
ate()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
If ther
e
is an i++
t
hen
t
he val
u
e of 'i'
is
u
n
d
efined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Ca
r
penter
Add
a
new
check_locking
s
cript t
h
at checks spinlocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpent
e
r
S
ave the possibl
e
states inst
e
ad of
j
ust merging them
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpent
e
r
Igno
r
e e
m
a
c
s garbage
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpent
e
r
M
erge branch
'
m
as
t
e
r
' into p
o
o
ls5
commit
|
commitdiff
|
tree
2009-01-20
Dan Car
p
enter
Fix likely() and un
l
ikely() handling
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
Dan Car
p
enter
Add
single quotes
arou
n
d
the var
i
able
for c
o
nsistency
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
Dan Carpe
n
ter
We could save some
m
emory
b
y not alloc
a
ting
n
ew memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carp
e
n
t
er
Add
a
comment showing where the
t
ests are suppose
d
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan
C
arpe
n
t
e
r
Thi
s
is left over from Octo
b
er a
s
p
a
rt of the imp
l
ie
d
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
D
a
n Carpenter
Add g
e
t_possi
b
l
e_state
s
()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpen
t
er
Stuf
f
lef
t
ov
e
r fro
m
Octo
b
e
r
.
Imp
l
ied
pools work
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Carpenter
We could
sa
v
e some
m
emory
b
y
not allocating n
e
w memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carpe
n
ter
Fix memory l
e
a
k
.
Add
more comments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n Carpe
n
ter
Add a merge hook
.
Han
d
le t
h
e situat
i
ons like:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next