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
Major memory saving.
2009-03-02
Dan C
a
r
p
e
n
ter
Get rid of
u
nu
s
ed li
n
e history code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
Fix some memory leak
s
in __i
m
plied_states_hook
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpe
n
t
e
r
Add free_tracker
s
_an
d
_
l
ist() and
f
re
e
_tracker_list
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
Add new free_stack()
f
unc
t
ion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
rename d
e
l_slist_stac
k
() to fre
e
_stack_an
d
_slists()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpente
r
rename del_slist()
-> free_slist()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpente
r
Free a
l
l
t
he sm
_
states at
t
he end of ea
c
h function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-28
Dan Carpen
t
er
Add
->possible to __pri
n
t_slist() outpu
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-28
Dan Carpenter
Save all the
p
ool
s
a state goes
t
h
rough
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan
C
a
r
pen
t
er
Add
a
n
d
fix smatch
i
mplied tests
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan Ca
r
penter
Preserve the ->
p
ools an
d
->
p
o
ssible for
impl
i
ed states
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan
C
ar
p
enter
Fix handling mutuall
y
exclusive states
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpen
t
er
Get rid of redundant harm
o
n
ize_states()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
D
a
n Carpenter
A
d
d fu
n
ction __set
_
true_
f
alse_sm()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpente
r
Only s
a
ve an implied lis
t
if a stat
e
h
a
s been
modif
i
e
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpenter
Only implied states t
h
a
t
aren't already true
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
D
an Carpente
r
Take a para
m
eter instead of assuming
t
he o
u
tput
is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpenter
Don't check
that there are b
o
th true and f
a
lse states
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Da
n
C
arpen
t
er
This check_order()
seems supe
r
fluous
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan
Carpente
r
New func
t
ion harmoniz
e
_sta
t
es()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpenter
call __spli
t
_expr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpe
n
ter
remove unne
e
ded calls to __use_cond_true_states();
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
D
an Carpe
n
ter
Don't
s
et
t
h
e
im
p
lied sta
t
e to &merg
e
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpenter
M
ake cmp_
t
racker() acc
e
ss
i
ble
to ou
t
side fi
l
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpenter
All the states are
implied not just uniqu
e
one
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpenter
Improve lock check output
.
Ad
d
more v
a
lidati
o
n
sam
p
les
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpent
e
r
A
dd support f
o
r down
_
int
e
rru
p
tible() and friend
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan
C
arpe
n
ter
F
ix
the Unc
l
ear locki
n
g thing
.
Again
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Wa
r
n
o
n
do
u
ble
l
ock/unlocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
D
a
n Carpenter
Prin
t
few
e
r
U
n
cle
a
r lo
c
king messages
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan
C
arpenter
i
f
((1)) {
.
.
.
is a known_conditi
o
n_true(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpente
r
Add support for those funny
g
c
c ({
.
.
.
}) bl
o
ck
statements
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Ha
n
d
l
e declarations inside
switch
s
tatement blocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Car
p
enter
Cl
e
anup is_z
e
ro
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
A
d
d known_co
n
di
t
ion_false()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpent
e
r
Fix h
a
ndli
n
g
o
f
c
o
ntinue
i
nside do while statements
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Don't
s
et let
p
e
ople set
s
tates for unrea
c
hable
c
o
de
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
D
a
n Carpent
e
r
Small cle
a
nup
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
H
a
ndle the
i
t
erators corre
c
tl
y
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Da
n
Carpent
e
r
A
d
d support for "
i
f (a?b:
c
) {
.
.
.
"
t
ernary conditions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
A
d
d
s
o
me su
p
port for
_
sp
i
n
_tryl
o
ck(
)
and
friends
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan
C
arpenter
if (a || b) { a-
>
foo; should print a
n
error
.
Also
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpenter
This prints
o
ut error messages
all the time th
a
t are
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpenter
Assi
g
n
ment
alway
s
sets &isfreed to somethi
n
g
else
l
ike
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpe
n
t
e
r
Don't print cross_func erro
r
s
if the called function
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Remove cal
l
t
o
alloc_state(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpenter
C
all the me
r
ge_hook() instead of setting th
e
sta
t
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rp
e
nter
Oops
.
M
e
an
t
to comm
i
t thi
s
earlier
.
:
/
commit
|
commitdiff
|
tree
2009-02-18
Dan Car
p
enter
A
d
d the merge_
h
ook() back i
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
C
lear th
e
returns lists at the
e
nd of each function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpent
e
r
Move the implication
s
checking
t
o a
f
ter the scripts
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
penter
R
ewrite c
o
mple
t
ely w
i
th
n
ew goa
l
.
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Add s
o
me
functions to handle tracker lists
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Do
n
't segfault al
l
the ti
m
e whe
n
c
hec
k
ing forever loo
p
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpenter
Test to
s
ee if we are
catching cross function derefs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpent
e
r
Use
t
h
e
->pos
s
ible
s
tates and remove
the merg
e
_hook()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpenter
"while ((1)
)
{
"
is
a forever loop
.
Call strip_exp
r
()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpente
r
fi
x
es to t
h
e -> po
s
sib
l
e set
t
in
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpente
r
Merge b
r
anch
'
master' into null
_
d
e
re
f
commit
|
commitdiff
|
tree
2009-02-17
D
a
n Carp
e
nter
Add validation script for che
c
k_null_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-16
Dan Carpenter
Clean up
.
n
e
w->possibl
e
is al
w
ays
n
ull here
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carp
e
nter
Oops
.
->possibles wasn't
g
e
tting se
t
co
r
rectly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpent
e
r
U
s
e strip_expr() in split_conditions() instead reproducing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan
C
a
rpenter
Ad
d
some more operations to get_value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Re
t
urn &merged
i
ns
t
ead
o
f &un
d
efin
e
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
make g
e
t_value()
return
a value for
b
itwi
s
e
or expressions
.
commit
|
commitdiff
|
tree
2009-02-13
Dan
C
arp
e
nter
Try again removing
state
s
from pools
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpen
t
er
R
e
vert "Remove a s
t
ate from
i
t's ->pools when set_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
a
r
penter
Elimina
t
e
a
w
a
rning
.
Probab
l
y
t
he
w
rong way t
o
d
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
an C
a
rpenter
Clea
n
ups
.
Comm
e
n
t
s
.
Ren
a
me s
l
ist_stac
k
to na
m
ed_stack
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
a
r
penter
Ha ha
.
I sti
l
l suck
at pointers
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpenter
Cle
a
n
u
ps
.
Comments
.
Remo
v
e debugging cod
e
from filte
r
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpenter
Clean up
.
Also preserve 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
nter
Clean up
g
et_state_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Remove
_
_ove
r
w
r
ite_cur_sli
s
t(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpenter
There
was d
e
bugging output that acci
d
en
t
al
l
y
got committed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
p
e
n
t
e
r
R
emove a state from it's ->pools w
h
en s
e
t_state() i
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Don't delete the ->
p
ools
o
n
mer
g
ing
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpente
r
Try
u
n
d
erstand th
e
implications
f
r
o
m compound
c
o
n
ditions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Car
p
e
n
ter
C
r
e
a
te a state &mer
g
ed
.
Whe
n
we merge stuff it isn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpe
n
t
e
r
O
k
.
Thi
s
t
i
me smatch_imp
l
ied _really_ d
o
es something
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Car
p
enter
I
g
nore cscop
e
files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan
Carpen
t
er
Sm
a
ll c
l
ea
n
up
s
.
(White space)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carp
e
nter
Whitespace change
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan
Carpenter
Add
some mo
r
e locking function
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpente
r
Fix implied pools so that at
l
e
a
st it does somet
h
ing
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
I
t
see
m
e
d
l
i
ke t
r
acker_li
s
t
w
o
uld be
useful in a lot
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
an C
a
r
penter
Ad
d
a RE
A
DME describing smat
c
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan
Carpent
e
r
Add script to find NU
L
L dereferences betwee
n
funct
i
ons
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan
C
a
rpente
r
Fix usage message
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n Carpente
r
C
h
eck for malloc() a
s
we
l
l as kmalloc
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan C
a
r
p
enter
F
i
x
segfault when handling imp
l
i
c
itly declared
f
un
c
t
ions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpenter
War
n
whe
n
we d
o
n
't acquire locks whe
n
calling cer
t
ain
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
D
an Ca
r
penter
Try (and fail) to fi
n
d memo
r
y leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
D
an Carpenter
Alm
o
st pri
n
t a message whe
n
you
c
ome to unreachable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan
C
a
rpenter
Add chec
k
to look for double frees
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
A
d
d checking for lock_kernel()/unlo
c
k_kernel()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan C
a
rpenter
M
ake check_locki
n
g check both spin
l
ocks a
n
d semaphores
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpen
t
er
Add a
new function slist_has
_
state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
an
C
arpenter
If there i
s
a
n i++ then the v
a
lue of
'i'
is
unde
f
ined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next