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
Carpenter
Get rid
o
f un
u
sed line
h
istory co
d
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
Fix some memor
y
leaks in __
i
mplied_states
_
hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpen
t
er
Ad
d
free_
t
rackers_
a
nd_list() an
d
free
_
tracker_l
i
st
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan
C
a
r
penter
Add
n
ew free_stack()
f
un
c
tion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
rename del_slist
_
stack() to free_stack_
a
nd_slis
t
s()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan C
a
r
pente
r
rename
d
el_slist() -> f
r
ee_slist
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
Free
a
l
l
the sm_states at the end of each fu
n
ction
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-28
Dan Carpen
t
er
Add ->possib
l
e to
__p
r
int_slist() ou
t
put
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-28
Dan
C
arpen
t
e
r
Save all the poo
l
s
a state g
o
es throu
g
h
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carp
e
nter
Add and fix
s
match
impl
i
ed tests
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan
Carpenter
Preserve th
e
->po
o
ls and ->possible
fo
r
implied states
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpe
n
ter
F
ix han
d
l
ing mutually exclusive stat
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
D
a
n Carpenter
Get rid of redundant harmonize_st
a
tes()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Da
n
C
a
rpenter
A
dd
f
u
n
ction __
s
et
_
true_false_sm()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
D
a
n
C
arpenter
Onl
y
save an
implied list i
f
a stat
e
has
b
een mo
d
i
f
i
e
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Dan Car
p
enter
Only implied state
s
that aren't
a
lready true
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Da
n
Carpenter
T
a
ke
a paramet
e
r instead of assu
m
ing the output
is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpenter
Don't
c
h
e
ck that
t
h
ere are bo
t
h
true an
d
fal
s
e states
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
D
an Carpe
n
t
e
r
This che
c
k
_
order() seems superfluous
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpenter
N
e
w func
t
ion harmoni
z
e_states()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpen
t
e
r
call
_
_
s
plit_
e
xpr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan
C
arpenter
remove unneeded calls to
__use_cond_tr
u
e_sta
t
e
s();
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Da
n
Carpenter
D
o
n't set the i
m
plied state to &
m
erg
e
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Car
p
en
t
er
Ma
k
e cmp_tr
a
cke
r
() accessi
b
le
t
o outsi
d
e
files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan
C
ar
p
ent
e
r
A
l
l the
states are implied not ju
s
t
unique
ones
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpenter
I
m
p
rov
e
lock check output
.
A
d
d
more valid
a
tion samples
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpente
r
A
d
d s
u
ppor
t
for down
_
inte
r
r
u
p
tible() and friends
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
D
an Carpe
n
ter
Fix th
e
Uncl
e
ar l
o
c
k
i
ng thing
.
Again
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
D
an Carp
e
nter
W
arn on double lo
c
k/
u
n
locks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Print fewer Uncl
e
a
r
l
o
cking messages
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
D
a
n
Carpent
e
r
if ((1)
)
{
.
.
.
is a kno
w
n_c
o
ndition_true()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Ad
d
support for tho
s
e funny gcc ({
.
.
.
}
)
block stat
e
m
ents
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Da
n
Carpenter
Ha
n
dle declarations inside
s
witch
s
tatement bl
o
ck
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
D
a
n C
a
rpenter
Cleanup is_zer
o
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Da
n
C
a
rpente
r
A
d
d known_condition_false()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Fix h
a
ndli
n
g of continue in
s
ide do while
statements
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan
C
arp
e
n
t
er
Don't set let pe
o
ple set states
f
or unreachable code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
D
an Carpent
e
r
Small cle
a
nup
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Handle the iterator
s
correctly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
D
a
n Carpenter
Add suppor
t
for "
i
f (a?b:c) {
.
.
.
" ternary
c
onditions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
Add s
o
m
e
s
upport
fo
r
_spin_trylock() a
n
d friends
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Da
n
Car
p
enter
if (a || b) { a->f
o
o;
s
hould
p
rint an e
r
r
o
r
.
Also
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpenter
This print
s
o
u
t error mes
s
ages all the ti
m
e that are
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan Car
p
enter
Assignmen
t
always
s
ets &isfreed to someth
i
ng else li
k
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpenter
Don
'
t print
cross_func errors
if the calle
d
f
u
n
ction
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpen
t
er
Rem
o
ve
call
t
o
a
lloc
_
s
t
ate()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carp
e
nter
Call the
merge_ho
o
k() instead
o
f setting th
e
state
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpe
n
t
e
r
Oops
.
Meant t
o
com
m
it
this earlier
.
:
/
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
pente
r
A
dd th
e
merge_hook() back in
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Clear the
r
e
turns l
i
sts at the end o
f
each function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Move the implications
c
hecking to a
f
ter t
h
e
s
cripts
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
pente
r
Rewrit
e
comple
t
e
l
y wi
t
h new goal
.
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Add
s
ome
f
unctions to handle tra
c
k
er lists
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n C
a
rpe
n
ter
Don't seg
f
ault
all the
t
i
me when checking
f
or
e
ver loops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
r
p
e
nter
Test to see if we are catching cro
s
s
function der
e
fs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Us
e
the ->possible states a
n
d r
e
m
ove
t
he merge_
h
ook()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpen
t
er
"
w
hi
l
e ((1)) {" is a forever loop
.
Call str
i
p_expr(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
f
i
x
es to the -
>
pos
s
i
b
le
s
etting
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-17
Dan
C
arpenter
Me
r
ge branc
h
'master' int
o
null_deref
commit
|
commitdiff
|
tree
2009-02-17
D
a
n Carpenter
A
d
d
validation script
f
o
r check
_
null_dere
f
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-16
Dan Carpenter
Clean up
.
n
e
w->p
o
s
s
ible is always
n
u
ll he
r
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan
Carpenter
Oops
.
-
>possi
b
le
s
wasn't
getting set correctly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan
C
arpente
r
Use strip_ex
p
r(
)
in
s
plit_c
o
nditi
o
ns() instead
reprodu
c
ing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
D
a
n
Carpenter
Ad
d
some more operations t
o
get
_
value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Return &merged instead of &undef
i
ned
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
make get_val
u
e() re
t
urn a value f
o
r bitwise
o
r
e
xpr
e
ssions
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Carp
e
nter
Try
again removing states from pools
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan C
a
r
penter
Revert "
R
emove a state from i
t
's ->pools wh
e
n
se
t
_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Ca
r
pent
e
r
El
i
minate a wa
r
ning
.
Pr
o
bab
l
y t
h
e wr
o
ng way to do
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Clean ups
.
Comment
s
.
Re
n
ame sli
s
t_
s
ta
c
k to nam
e
d_stack
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpen
t
er
Ha ha
.
I
still
s
u
ck at pointe
r
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n
C
arpenter
Cleanups
.
Comments
.
Remove debugging code from filt
e
r()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpent
e
r
Clean up
.
Also
preser
v
e the
->p
o
o
l
s in one path of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpenter
Cle
a
n
u
p
get
_
state_s
l
ist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arp
e
nter
Remove __ove
r
writ
e
_
cur_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carpenter
There was debugging output that accidentally got committed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Remove a
state fr
o
m it's ->p
o
ols w
h
en set_state()
i
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Don't delete
t
he ->pools on mergin
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
penter
T
r
y understand the
implicati
o
ns fro
m
com
p
oun
d
c
o
nd
i
tions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Create a
stat
e
&merge
d
.
When we merge s
t
u
f
f it isn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Ca
r
penter
Ok
.
This t
i
me sma
t
ch_implied _
r
eally_ d
o
es
s
ometh
i
ng
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Ig
n
ore cscope files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan
Carpe
n
te
r
Sma
l
l cleanups
.
(White space)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Carpenter
W
h
itespace change
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Add some mor
e
loc
k
ing fu
n
cti
o
ns
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Car
p
ent
e
r
Fi
x
implied
p
oo
l
s so t
h
at at least i
t
does s
o
methi
n
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Car
p
e
n
ter
It seeme
d
lik
e
tr
a
c
k
er_list would be us
e
ful in a lot
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n Carp
e
nter
Add a
README des
c
ribing
s
ma
t
ch
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan
C
arpent
e
r
Add scr
i
pt t
o
f
i
n
d
NULL deref
e
re
n
c
e
s between functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan C
a
rpent
e
r
Fi
x
u
s
a
ge messa
g
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Check for
malloc(
)
a
s wel
l
as
k
ma
l
loc(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan C
a
rpenter
Fix s
e
g
fault whe
n
h
andling implicitly
d
eclared f
u
nctions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan Ca
r
penter
Warn when
w
e
don't a
c
quire
locks wh
e
n cal
l
ing c
e
rtain
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpent
e
r
T
r
y (and f
a
il) t
o
find memory leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
D
a
n Carpente
r
Almost pri
n
t a mess
a
ge when
y
o
u come to unreachab
l
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpe
n
ter
Add chec
k
to look
for doubl
e
free
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Da
n
Carp
e
nter
Add checking for lock_kernel
(
)/unlock_k
e
rnel()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n
Carpenter
Make chec
k
_locking check both
spinloc
k
s and s
e
maphor
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n Carpenter
Add a new function
slist
_
has_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carp
e
n
t
er
I
f
there
is an i++
then the value
o
f 'i
'
is u
n
define
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next