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
Clean up. Freeing the sm_states.
2009-03-05
Dan Carpent
e
r
Clean up
.
Freeing the sm_
s
tates
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
D
an Carpenter
Oring the slists
s
eems like merge_slist()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
Da
n
Ca
r
penter
Add a
-
-debug-i
m
p
l
ied opti
o
n
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-04
Dan
Carpenter
chec
k
_m
e
m
ory:
F
ix segfault
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-04
Dan
C
ar
p
enter
k
che
c
k
e
r: helper
scr
i
pt to inv
o
ke
s
mat
c
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-04
Dan C
a
rpenter
check_memory
:
n
ew code
.
not us
e
d
yet
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-04
Dan
C
arpenter
Fix
bug in compound condit
i
ons and add valida
t
ion test
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
D
an Carpenter
ch
e
ck_locking: handle functions
w
ith no return st
a
temen
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan Car
p
en
t
er
Fix so securit
y
_fixup
_
o
p
s()
d
oesn't trigger
t
he
OO
M
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpenter
Fix
'
or'ing states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan Car
p
en
t
er
Fix NULL deref
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpenter
For so
m
e
r
e
a
son smatch can't find th
e
se h
e
ader files
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
D
an Carpenter
Fix st
r
ing memory leaks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
D
an Ca
r
p
e
n
ter
Remov
e
unneed
e
d
all
o
cation
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Car
p
enter
Remove outdated
comment
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
D
o
n't __free_sm_state() until e
n
d of function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpente
r
free_slist()
after calling ge
t
_all_states(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan
Car
p
ent
e
r
don't reallocate the
-
>
p
ossi
b
l
e states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
Get
r
id of unused line history cod
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpe
n
te
r
Fix some memo
r
y leaks in __implie
d
_states_hook
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
A
d
d free_track
e
rs_an
d
_l
i
st() and free_trac
k
er_
l
ist
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
D
a
n Carpenter
A
d
d
n
ew free_stack() functio
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Ca
r
penter
rename del_slist_s
t
ack() t
o
free_stack_and
_
slists()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Ca
r
pen
t
er
r
ename del
_
slist() -> free_sl
i
s
t()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Ca
r
penter
F
re
e
all the s
m
_sta
t
es at the end o
f
each function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-28
Dan
Carpent
e
r
Add ->possible to __print_slist() output
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-28
Da
n
Carp
e
nter
Save all
t
he pools a
state goes
t
h
r
o
ugh
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpen
t
e
r
Add and f
i
x smat
c
h implie
d
t
e
sts
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpe
n
ter
Pr
e
serve the ->
p
o
ols and ->possible for
implied
s
ta
t
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
D
a
n Carpenter
Fix h
a
ndling mutually exclusiv
e
states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan
Carpente
r
G
et
r
id of red
u
ndant harmonize_states()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
D
an C
a
rpe
n
ter
A
dd func
t
ion __set_true
_
false
_
sm()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpenter
Only
s
ave
an
i
mpl
i
ed lis
t
if a
state
has bee
n
m
o
dified
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpent
e
r
On
l
y
i
m
plied states
t
hat aren't a
l
r
e
ady true
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan Ca
r
penter
Take a pa
r
amet
e
r instead of
assuming th
e
outpu
t
is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
D
an Carpen
t
e
r
Do
n
'
t check t
h
at there are
b
oth tr
u
e and false states
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpenter
Thi
s
check_ord
e
r
(
) seem
s
sup
e
r
f
l
u
ou
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
D
an Carpenter
New function harmonize_st
a
t
e
s()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan C
a
rpenter
call
_
_split_expr()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpenter
r
e
mo
v
e
u
n
needed calls
t
o __use_co
n
d_true_stat
e
s();
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Da
n
Carpenter
Don't set the impli
e
d state
t
o
&merge
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpenter
Make cmp_t
r
ack
e
r()
a
ccessible to outside
f
iles
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
D
an
C
ar
p
enter
A
l
l the
stat
e
s
a
re implied not just unique
ones
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Da
n
Carp
e
nt
e
r
I
m
p
rove lock chec
k
output
.
Add more validation
sample
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpe
n
t
e
r
Add su
p
port
f
or down_interruptible() and f
r
iends
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Ca
r
pe
n
te
r
Fix the
Unclear locking thing
.
Agai
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Warn
o
n double lock/unlock
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Pri
n
t fewer Unclear locking mess
a
ges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan
Ca
r
pe
n
ter
i
f ((1)) {
.
.
.
is a kno
w
n_condition_t
r
ue()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
D
a
n
Carpenter
Add support for t
h
o
s
e funny gcc ({
.
.
.
}) block
s
t
atements
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
D
an Carpenter
Handle declaration
s
i
n
side sw
i
t
c
h state
m
ent 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 Carpenter
Add
k
n
o
wn_condition_false
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
F
ix handling
of con
t
inue in
s
ide do
w
hile s
t
a
tements
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan
Carp
e
nter
Don't s
e
t
let people set states f
o
r unreacha
b
le code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carp
e
n
ter
Small
cl
e
anu
p
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
D
a
n Carpenter
H
andle t
h
e iterat
o
rs correctly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan
C
arpent
e
r
Add
support fo
r
"if (a?b:c)
{
.
.
.
"
tern
a
ry con
d
itions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
Add som
e
suppo
r
t for _
s
pin
_
trylock() and fr
i
e
n
ds
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Car
p
e
n
ter
if (a || b) { a->foo;
s
houl
d
prin
t
a
n
error
.
Al
s
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
D
a
n C
a
rpenter
T
his prints out error messages all the
t
ime that are
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpe
n
ter
Assignment a
l
ways
sets &isfreed t
o
som
e
th
i
ng els
e
like
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
Carp
e
n
t
er
Don't prin
t
cros
s
_func error
s
i
f th
e
called fu
n
ctio
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpen
t
er
R
e
move ca
l
l to a
l
loc_
s
tate
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpenter
Call
t
he merge_hook
(
) i
n
s
tead of setting the state
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
O
o
p
s
.
Meant to c
o
mmi
t
this ear
l
ier
.
:/
commit
|
commitdiff
|
tree
2009-02-18
Dan Carp
e
n
ter
Add the merge_
h
o
o
k
(
) back in
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n
Carp
e
n
ter
C
lea
r
the
r
eturns lists
at the end
of each functi
o
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpe
n
te
r
Move
t
h
e
implications
c
hecking to after
the scrip
t
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
r
p
e
nter
Rewrite completely with new
g
oal
.
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpenter
Add some fun
c
tions to han
d
le track
e
r l
i
s
ts
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
D
o
n't segfault all the ti
m
e w
h
en c
h
ecking f
o
rever loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpe
n
te
r
Test to see
if we are c
a
tch
i
ng cross fun
c
tion
d
ere
f
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpenter
Use the ->possible states and remove the me
r
ge_hook()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpenter
"while ((1)) {" is a f
o
rever
loop
.
C
a
ll st
r
ip
_
expr(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
an C
a
rpe
n
ter
fixes to the -> p
o
ssib
l
e
setting
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpenter
M
e
rge br
a
nch
'
master' into
null_deref
commit
|
commitdiff
|
tree
2009-02-17
Dan Ca
r
penter
Add val
i
dati
o
n s
c
ript
for che
c
k_null_d
e
re
f
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-16
Dan Car
p
enter
Cle
a
n up
.
new->poss
i
ble is alwa
y
s
null her
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Oops
.
->
p
os
s
ibles wasn't
getting s
e
t
c
o
r
rectly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
D
an Car
p
ent
e
r
Use strip
_
expr() in spl
i
t_condition
s
() in
s
tead
r
e
pro
d
uci
n
g
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpe
n
te
r
Add some more operati
o
n
s
to get
_
va
l
ue()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan C
a
rpenter
Return &merged instead of
&undefined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
m
a
ke get_value() re
t
urn a val
u
e for bitwise
o
r
e
xpressions
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
T
r
y
a
gain re
m
oving states from pools
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Da
n
C
a
rpent
e
r
R
e
ve
r
t "Remove
a
stat
e
from it's ->pools when
s
e
t
_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carpente
r
Eliminate a warn
i
ng
.
Probably the wrong w
a
y to do
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpent
e
r
Clean u
p
s
.
Co
m
ments
.
Ren
a
m
e
slist_
s
t
a
ck
t
o named_stack
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Ha ha
.
I st
i
ll
s
uck at poi
n
ters
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpenter
Cleanups
.
C
omment
s
.
Remove d
e
bugg
i
ng code from
f
ilter()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
C
a
r
penter
Clean up
.
Also preserve the -
>
pools in on
e
path
o
f
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
e
nter
Clean
up get_s
t
ate_slis
t
()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
a
rpente
r
Remove
_
_overwri
t
e_cur_slis
t
()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
There was debugging outpu
t
that accidenta
l
l
y
got
c
o
m
mitt
e
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n
Carpe
n
ter
Remove a s
t
a
te from
it's
-
>pools when set
_
sta
t
e() is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Don'
t
delete the ->pools on me
r
ging
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
n
t
er
Try
u
n
der
s
tand the im
p
licati
o
ns from co
m
pound condit
i
ons
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpenter
Cre
a
te a st
a
te &merged
.
W
hen we m
e
rg
e
stuff it isn
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpente
r
Ok
.
This
time sma
t
ch_imp
l
ied
_
r
e
ally_ does
s
o
m
e
thing
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carp
e
nter
Ignore
c
scop
e
fi
l
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next