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
Add all the allocation functions to check_leaks.
2009-02-28
Dan Carpent
e
r
A
dd -
>
possible to
_
_print_slist() ou
t
put
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-28
Dan C
a
rpenter
Sa
v
e all t
h
e p
o
ols a state goes through
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Da
n
Carpenter
Add an
d
fix smatch implied tests
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan Car
p
e
n
t
er
Pres
e
rve the ->
p
o
o
ls and ->
p
ossible for im
p
lied state
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan
C
a
rpente
r
F
i
x handling
m
u
t
ual
l
y exclusi
v
e st
a
t
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carp
e
n
t
er
Get rid of redundant harmonize_sta
t
e
s
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
D
an Carpenter
Add fu
n
ction __set_t
r
ue_false
_
sm()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Dan
C
a
rpenter
Only save an impl
i
ed list if
a
state
h
as bee
n
modified
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Dan Car
p
enter
O
nly impli
e
d state
s
that aren't
a
lready true
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpente
r
T
ake a parameter inst
e
ad of assu
m
ing
the output
i
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpenter
Don
'
t
check that there are bo
t
h
true and false s
t
a
t
es
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
D
a
n Carpen
t
er
Th
i
s chec
k
_order
(
)
seems
s
uperfluous
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpe
n
ter
N
e
w function harmoni
z
e_
s
tates()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan
C
arpenter
call __split_expr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpent
e
r
remove unneeded calls to __
u
se_c
o
nd_
t
rue
_
st
a
tes()
;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
D
an C
a
rpenter
Don't
s
et t
h
e impli
e
d state to &merged
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpenter
Make cmp_t
r
acker() ac
c
essi
b
l
e
to
o
u
t
side
file
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpen
t
er
All the st
a
tes are i
m
p
l
ied
not just uniqu
e
ones
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpent
e
r
Improve lock ch
e
ck output
.
Add more
valida
t
ion
s
a
m
ples
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Da
n
C
arpent
e
r
Ad
d
s
u
pport for down_int
e
rruptible()
and frien
d
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Fix t
h
e Unclear locking thing
.
Again
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpe
n
ter
Warn on double
l
ock/unloc
k
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan
Carpenter
Print fewer Unc
l
ear loc
k
ing message
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpente
r
i
f ((1)) {
.
.
.
is a
k
nown_cond
i
tion_true(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpen
t
er
Add supp
o
rt for those funny gcc ({
.
.
.
}
) block s
t
a
t
e
ments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
H
a
ndle dec
l
a
rations inside
switch
statement blocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
D
a
n
Carp
e
nter
Clean
u
p is_ze
r
o()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan C
a
rpenter
Add known_condition_fals
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Da
n
Carpenter
F
i
x hand
l
ing o
f
con
t
in
u
e i
n
sid
e
do wh
i
le statements
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
D
o
n
't set let pe
o
ple set states for
unreachable code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Sm
a
ll cleanu
p
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpen
t
e
r
Handl
e
th
e
iterators correctl
y
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan Car
p
ente
r
Add suppo
r
t for
"if (a?b:c) {
.
.
.
"
t
ern
a
ry
conditions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
Add
s
o
m
e support for _spin_tryl
o
ck
(
)
a
nd f
r
iends
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
D
a
n
Carpenter
if (a
|
| b) { a
-
>foo; should print an error
.
Also
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpenter
T
his print
s
o
ut erro
r
message
s
all t
h
e time that are
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpenter
Assig
n
me
n
t a
l
ways
s
ets &isfreed to so
m
e
thing
e
l
se like
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
C
a
r
pe
n
ter
Don
'
t print cro
s
s_func errors if the ca
l
led fu
n
ction
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
p
ente
r
Remov
e
c
a
ll t
o
al
l
oc_s
t
at
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Call the me
r
ge
_
hook
(
) instead
of setting
t
h
e
state
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carp
e
nter
Oops
.
Meant to commit this earlier
.
:/
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpente
r
Add the merge_hook()
back in
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
a
rpenter
Cl
e
ar the r
e
turns l
i
sts
at the end of
ea
c
h function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpent
e
r
M
o
v
e the
i
m
plications checking to
a
fter the s
c
ripts
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpent
e
r
R
ew
r
ite
c
o
mplete
l
y with
new goal
.
commit
|
commitdiff
|
tree
2009-02-18
Dan Car
p
enter
Ad
d
so
m
e
functions to h
a
ndle
tracker lists
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n
C
arpenter
D
on't segf
a
u
l
t a
l
l th
e
time w
h
en checking
forever
l
oops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
Car
p
enter
Test to see if we are ca
t
ching cr
o
ss function derefs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Use the ->pos
s
ible states
a
n
d
remove th
e
merge_hook()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpenter
"w
h
ile
(
(1))
{" i
s
a
f
orever loop
.
Call strip_expr()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpenter
fi
x
es t
o
the -> possible setting
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-17
Dan Carp
e
nter
M
e
rge br
a
nch 'master
'
i
n
to null_deref
commit
|
commitdiff
|
tree
2009-02-17
Dan C
a
rpen
t
er
Add valid
a
t
i
on script for che
c
k_null_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-16
Dan Carp
e
nter
Cl
e
an u
p
.
n
e
w->po
s
sible is always null her
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
D
an Carpenter
Oops
.
->possibles
w
asn't getti
n
g set correctly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Us
e
st
r
i
p_e
x
pr() in spl
i
t_conditions() instead reproducin
g
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Add some more operations to get
_
valu
e
()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
D
an Car
p
enter
Return
&merged ins
t
ead of &unde
f
ined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
make
get
_
value()
r
et
u
rn
a
value fo
r
b
i
twise or exp
r
essions
.
commit
|
commitdiff
|
tree
2009-02-13
D
a
n Carpen
t
er
Try again removing state
s
from pools
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpent
e
r
Rever
t
"
R
emov
e
a st
a
t
e
fr
o
m it'
s
-
>poo
l
s when set_sta
t
e
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carpenter
Eliminat
e
a w
a
r
n
ing
.
Probably the wrong way to d
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carp
e
n
t
e
r
C
lea
n
ups
.
C
o
mments
.
Rename slist_s
t
ack to n
a
med_stack
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpen
t
e
r
Ha ha
.
I
still suck at poi
n
ters
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
nter
Cleanups
.
Comments
.
R
e
move de
b
u
g
ging co
d
e from
fi
l
ter()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
pe
n
t
er
Clea
n
up
.
Also
p
reser
v
e the ->pools
i
n on
e
path of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
n
t
e
r
C
lean up g
e
t
_
state_slist(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
enter
Remove __overwrite_cur_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
an
C
arpent
e
r
There
w
as deb
u
gging output th
a
t accident
a
ll
y
g
ot
c
ommit
t
ed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpenter
Remove a state from it's ->pools when set
_
state
(
) is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpen
t
er
D
o
n
't delete the ->pools on mergin
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpenter
Try
u
n
derstan
d
the implications from com
p
ound conditio
n
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rp
e
n
t
er
Create a state &m
e
rged
.
W
h
e
n
w
e
m
erge stuff
i
t
isn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Ok
.
This time smatch_impl
i
ed
_
really_ does something
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpe
n
ter
Ignore cscope
f
il
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Sm
a
ll
clea
n
up
s
.
(White space)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan C
a
rpenter
W
h
itespace
cha
n
ge
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carp
e
nt
e
r
Add some
more locking functio
n
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpe
n
ter
Fix impli
e
d pools so that at l
e
ast it does something
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
arp
e
nter
It
s
ee
m
ed like tra
c
ker_list wo
u
l
d be
u
seful
i
n
a lot
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n
Carpenter
Add a READM
E
d
e
scribi
n
g sma
t
ch
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan
C
arpenter
Add script
t
o find NULL dereferences
b
etween
f
unctions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
F
i
x usage message
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n
C
arpenter
C
heck for malloc() as
we
l
l as kmalloc()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Fix segfa
u
lt when
hand
l
ing impli
c
itly
d
eclared func
t
ions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Da
n
Car
p
en
t
er
Warn when we
don't acquire lo
c
ks w
h
en calling certain
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
D
an Car
p
e
n
ter
Try (and fail) to find m
e
mory leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Almost pri
n
t a
m
essage when you come to u
n
r
e
achable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
A
d
d check to look
for double
f
re
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpent
e
r
Add checking for
l
ock_kern
e
l()/unlock_kernel()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Da
n
C
a
rpenter
Make check_locking che
c
k both s
p
inlocks
a
nd semaphores
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpe
n
ter
Add a new function slist_has_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan C
a
rpenter
If there is a
n
i++ then
t
he val
u
e of 'i'
is undefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
A
d
d a new c
h
eck_lo
c
king script
t
hat checks spi
n
lock
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan C
a
r
p
e
n
ter
Save the possibl
e
s
t
ates instead of just merging t
h
em
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
D
a
n
Carpenter
Ignor
e
e
macs g
a
rbage
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carp
e
nter
Me
r
ge bra
n
ch 'master' into po
o
ls5
commit
|
commitdiff
|
tree
2009-01-20
D
an Carpenter
Fix likely() and unlikely(
)
handling
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
Dan Carpent
e
r
Add single quot
e
s aroun
d
the variable for c
o
nsistency
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
D
a
n
Ca
r
pen
t
er
We cou
l
d sav
e
some
m
emor
y
b
y
not allocating new mem
o
ry
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next