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
don't reallocate the ->possible states.
2009-03-02
Da
n
C
a
rpenter
don't real
l
ocate the ->pos
s
ible
s
tates
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan
C
arpen
t
er
G
et
rid of unused line history
c
ode
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpe
n
ter
Fix
some memory le
a
ks in __implied_states_hook
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
D
a
n
C
arpent
e
r
Add free_trackers_and_list() and f
r
ee_tracker_lis
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
D
a
n Carpenter
Add
new free_
s
ta
c
k() funct
i
on
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
D
a
n Carpenter
ren
a
me del_slis
t
_stack() t
o
free_
s
t
ac
k
_and_slis
t
s()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
D
an Carpent
e
r
re
n
ame del_slist() -> free_slist()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan
Carp
e
nter
F
ree all th
e
sm_s
t
ate
s
at
t
he end of
each fu
n
ctio
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-28
Dan Carpe
n
t
e
r
Add
->po
s
sible to __
p
rint_slist() o
u
tpu
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-28
Dan Carpente
r
Save
a
ll the pools a state
goes through
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpenter
Add and fix smatch implied tests
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpenter
Preserve the ->pools and ->po
s
s
i
b
l
e for im
p
lied states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpenter
Fix handl
i
n
g
mutually exclu
s
iv
e
states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpenter
Get rid
of redun
d
an
t
h
a
rmoniz
e
_
states()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan
Carpenter
Add
function __set_tr
u
e_false_
s
m()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
D
a
n Carpenter
On
l
y
sav
e
an implied list if a state
has been modif
i
ed
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan Car
p
enter
On
l
y
implied states th
a
t aren
'
t
al
r
eady true
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
D
an Carpenter
T
ake a parameter instead of assuming the output is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan Ca
r
p
e
nter
Don't chec
k
that there a
r
e both true a
n
d fa
l
se states
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpenter
This check_or
d
er() see
m
s sup
e
rfluous
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
D
an Carpenter
New function har
m
onize_s
t
ates()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan
C
arpe
n
ter
ca
l
l __spli
t
_
e
xpr()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpe
n
ter
r
e
m
o
v
e
unnee
d
e
d call
s
to _
_
use_co
n
d_true_stat
e
s()
;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan
C
arpenter
Don't set
the
i
mplied st
a
te
t
o
&mer
g
ed
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpe
n
ter
Make cmp_tracker
(
) a
c
ce
s
sible
to outsi
d
e
f
iles
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpent
e
r
All
t
he
stat
e
s
are i
m
p
l
ied not ju
s
t
u
nique
ones
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpenter
Improv
e
lock check
o
utput
.
Add mo
r
e validation samples
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Add supp
o
r
t
f
or down_int
e
rruptible() and friends
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Fix the
Uncle
a
r locking thing
.
Aga
i
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
W
a
rn on doub
l
e lock/unlo
c
ks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
D
an Carpent
e
r
P
r
int fewer Unclear l
o
c
king messages
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Da
n
Carpent
e
r
i
f
((1)) {
.
.
.
is a
k
n
ow
n
_c
o
n
di
t
ion_true()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpen
t
er
Ad
d
su
p
port for th
o
se funny
gcc ({
.
.
.
})
block sta
t
em
e
nts
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan
Car
p
en
t
er
Handle declarations inside sw
i
tch
s
tatem
e
nt bl
o
cks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpent
e
r
Cl
e
anup
is_zero()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan
C
arpente
r
A
dd known_condit
i
on_
f
als
e
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan C
a
rpenter
Fix h
a
ndling of contin
u
e in
s
ide do whil
e
stat
e
ments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan C
a
rpenter
Don
'
t
set let p
e
ople set states for un
r
eachable co
d
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
S
m
all cleanup
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
D
an Carpen
t
er
Handle the iterators correctly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan C
a
rp
e
nter
Add support for "if (a
?
b:c) {
.
.
.
"
tern
a
ry
c
o
n
ditions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan
Carpe
n
ter
Add some suppor
t
f
o
r _spin_try
l
ock(
)
and friends
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpe
n
ter
if (a
|
| b
)
{ a->foo; sh
o
uld print an error
.
Also
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpent
e
r
Thi
s
p
r
ints out e
r
ror message
s
a
ll the time that a
r
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Dan
C
ar
p
enter
A
ssignment
a
l
ways
s
e
t
s &isfreed to some
t
hing else lik
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Car
p
enter
Don't pri
n
t cross_func
errors if the cal
l
ed function
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Remove call to alloc_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpenter
Call the merge_hook() instead of
setting the
state
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpen
t
er
Oop
s
.
Me
a
nt to co
m
mit this e
a
r
l
ier
.
:/
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpen
t
er
A
d
d the merge_h
o
ok() back in
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Clear the ret
u
r
n
s lists at the end of each function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
C
a
r
pen
t
e
r
M
o
ve the implic
a
t
ions checking
to after
t
h
e
s
c
ripts
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Rewrit
e
comple
t
ely with
n
ew goal
.
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpent
e
r
Add some funct
i
o
ns to hand
l
e tra
c
k
er lists
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Don't seg
f
ault all
the time wh
e
n checking fo
r
ever loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Car
p
en
t
er
Test to see if we are catching cross function derefs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
U
se the ->possi
b
le states and r
e
move the merge_hook()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpen
t
er
"while ((1))
{
" is a forever loop
.
C
a
l
l
s
trip_expr()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpenter
fixes to t
h
e
-> poss
i
ble setting
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-17
Dan Ca
r
penter
Me
r
ge branch 'master' into
n
ull_deref
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpenter
Add validation
scr
i
pt fo
r
c
h
eck_
n
ull
_
deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-16
Da
n
Carpenter
Clea
n
up
.
new->pos
s
i
ble is always nu
l
l here
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan
C
a
rpen
t
er
O
ops
.
->possib
l
es wasn't getting set correctly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Use strip_expr() in split_conditions() inste
a
d re
p
rod
u
cing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
D
a
n
Carpe
n
ter
Add s
o
me more
o
p
e
rat
i
ons to
get
_
va
l
u
e
()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Ca
r
pen
t
er
Return &merged instead of &u
n
defined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Da
n
Carpenter
mak
e
get_value() return a value for b
i
twise
or expressions
.
commit
|
commitdiff
|
tree
2009-02-13
Da
n
Ca
r
penter
Try
again re
m
oving
s
tate
s
from
pools
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpen
t
e
r
Rev
e
rt "Remove
a state from it's
->pools when set_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpenter
E
l
i
mi
n
ate a warnin
g
.
Probably
t
h
e
wr
o
ng wa
y
t
o
do
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpen
t
er
Clean ups
.
Comments
.
Rename slist_stack to na
m
ed_st
a
ck
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
enter
Ha
ha
.
I
still suck at point
e
rs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
nter
Cleanups
.
Commen
t
s
.
Remo
v
e debuggin
g
code from filter()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rpe
n
ter
Clean
u
p
.
A
lso preserve t
h
e
->pools in
o
n
e path of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpenter
Clean up get_state_slist(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
pente
r
Remove
_
_ove
r
wr
i
t
e_cur_sl
i
st()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
n
ter
T
here was debugging outpu
t
that accidentally got commit
t
ed
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpente
r
Remove a state fro
m
i
t
's
->pools w
h
en
set_state() is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carp
e
nter
D
o
n't delete
t
he
-
>
p
ools on merging
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpe
n
t
e
r
Tr
y
u
nderstand
t
he i
m
plications from com
p
ound conditions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
pe
n
ter
Creat
e
a state &mer
g
ed
.
When we merge s
t
uff it is
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Ok
.
Thi
s
time sm
a
tch_implied
_
really_ doe
s
something
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Ignore
c
scope files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpe
n
ter
Small cleanups
.
(White space)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpente
r
W
hite
s
pac
e
change
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
an Car
p
e
nt
e
r
Add some more locking fun
c
tions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Fix implie
d
poo
l
s so
t
h
at at least
i
t do
e
s something
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
It seemed li
k
e
t
ra
c
ker_list w
o
uld be useful in a
lot
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpent
e
r
Add a REA
D
ME
d
escri
b
ing sma
t
ch
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Add
sc
r
ipt
t
o f
i
nd NULL deref
e
r
e
nces between func
t
io
n
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpente
r
Fix us
a
ge message
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
C
h
ec
k
for malloc() as
w
ell as kmalloc(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Fix se
g
f
a
ult when handl
i
ng implic
i
tly de
c
lared functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carp
e
nt
e
r
War
n
when we
do
n
't acq
u
ire
locks
w
hen call
i
ng c
e
rtain
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan
Carpenter
Try (and
fail) to f
i
nd memory
l
eaks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
A
l
m
ost print a me
s
sag
e
wh
e
n
you
come to unreachable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Add
c
heck to look for double
f
r
e
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Add checking for
l
o
ck_kernel()/unl
o
ck
_
k
ern
e
l()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n Carpenter
Make
c
heck_
l
ockin
g
check bo
t
h spinlocks and s
e
maphores
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan
Car
p
e
n
t
e
r
Add
a ne
w
funct
i
on slist_has_
s
t
a
te()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next