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
Remove unneeded allocation.
2009-03-02
Da
n
Ca
r
penter
Remove unneeded alloc
a
tion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpe
n
t
e
r
R
emove outdated
comment
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
Don't
__free_
s
m_s
t
a
t
e() until end of functio
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpen
t
er
free_slist
(
) after c
a
l
ling get_all_s
t
a
t
e
s()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Da
n
Carpenter
do
n
't
r
e
a
llocate th
e
->poss
i
ble states
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
D
a
n Carpenter
Get
r
id of u
n
us
e
d line
h
is
t
ory
c
ode
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Car
p
ente
r
Fix some m
e
mory leaks in __implied_states_hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
D
a
n
C
arpenter
A
dd free_trac
k
ers_a
n
d
_
list() and
f
r
e
e
_track
e
r_
l
i
st
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
Add new
fr
e
e_stack() functi
o
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan
C
a
r
p
e
n
ter
r
ename del_slis
t
_stack(
)
t
o
fre
e
_stack_and_slists()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Car
p
enter
r
ename de
l
_sl
i
st() -> free_slist()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan C
a
rpenter
F
ree
a
ll the sm_st
a
tes at the end
of each
funct
i
on
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-28
Dan Carp
e
nter
Add ->possible to __p
r
int_slist() output
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-28
D
an Carpent
e
r
Save all the
pools a state
g
oes throu
g
h
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan C
a
rpenter
A
dd
and fix smatch impl
i
ed
te
s
ts
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan C
a
rpenter
Preserve the ->pools and ->possi
b
le for impl
i
ed
states
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan
C
arpenter
Fix handl
i
ng
mutually exclusive states
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpenter
Get ri
d
of red
u
ndant harmonize
_
states(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpenter
Add func
t
i
on
__set
_
true_f
a
lse_sm()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpente
r
On
l
y sa
v
e a
n
impl
i
ed list if a st
a
te has been
modified
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
D
a
n
C
arpenter
Only impl
i
ed states that
a
ren't alre
a
dy true
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpenter
Take
a
pa
r
ameter inst
e
a
d
of assum
i
ng the output is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Dan Ca
r
penter
Do
n
'
t
chec
k
t
hat there are both true and false states
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan
Carpenter
T
h
is che
c
k_ord
e
r(
)
s
eems
s
uperfl
u
ous
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpenter
Ne
w
function ha
r
monize_stat
e
s()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Da
n
C
arpe
n
ter
call __spli
t
_e
x
pr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpenter
remove
u
nne
e
ded calls to __use_cond_true_states();
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpenter
Don't set
t
he implied state to
&merged
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carp
e
n
ter
Make cmp_tr
a
cker()
accessible
t
o outside files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan C
a
rpenter
All
t
he
s
ta
t
es are impl
i
ed n
o
t
j
ust
unique one
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
D
a
n
Carpenter
Improve lock
c
he
c
k output
.
Add m
o
re validation s
a
mples
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
D
an Carpenter
Add suppo
r
t for down_interrup
t
ible() an
d
fr
i
en
d
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpente
r
Fix the Unclear locking thing
.
Again
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
D
a
n C
a
rpenter
Warn o
n
double l
o
ck/unlocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
D
an C
a
r
penter
Print fewer
U
nclear locking messa
g
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
i
f
((1)) {
.
.
.
is a known_condi
t
ion_true()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Da
n
Carpenter
Add support for those funny gcc
({
.
.
.
}) bl
o
ck s
t
atements
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Handle d
e
clarations in
s
ide switc
h
statement 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
Ca
r
p
e
n
ter
Add known_co
n
diti
o
n
_
fals
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Da
n
Ca
r
penter
Fi
x
handli
n
g
of conti
n
ue inside do while state
m
ents
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carp
e
nter
Do
n
't set let
p
eo
p
le set
s
ta
t
es for unreac
h
able cod
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Small cl
e
anup
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
D
a
n Carpenter
Han
d
le
t
h
e
iterators correctl
y
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
D
a
n Carpenter
Add su
p
port for "if (a?b:c)
{
.
.
.
" ternary conditions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
Add some support for _s
p
i
n
_trylock() a
n
d
fri
e
nds
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
i
f
(a || b) { a-
>
fo
o
;
s
houl
d
pr
i
nt an
error
.
Also
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carp
e
nt
e
r
This prints out error messages all the time that are
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
D
an Carpenter
Assi
g
nment alway
s
sets &isfreed to something els
e
like
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
an Carpent
e
r
Don't print cross_func errors if the called function
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Remo
v
e
c
all
t
o
alloc_stat
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Cal
l
the merg
e
_hook()
i
n
stead of
s
et
t
in
g
the
s
tate
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
an C
a
rp
e
nter
Oops
.
Meant t
o
commit this ea
r
lier
.
:/
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpen
t
er
Add t
h
e merg
e
_hook() back in
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Car
p
enter
C
l
ea
r
t
h
e returns lists at the
e
nd
o
f each function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpente
r
M
ove the impli
c
ations checking to after
t
h
e s
c
r
ipts
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Re
w
ri
t
e
c
om
p
letely with ne
w
go
a
l
.
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
a
rpen
t
er
Add
some fu
n
c
t
ion
s
to handle tra
c
ker lists
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
Carpenter
Don't segfault all the
t
i
me wh
e
n checki
n
g forev
e
r
loops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Test to
see if we ar
e
catchin
g
cross function derefs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
U
s
e th
e
-
>
p
ossible states
a
nd remove the merge_hoo
k
()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
an Carpen
t
e
r
"while (
(
1)) {"
is a
forever
l
oop
.
Call strip_ex
p
r()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Ca
r
pente
r
fixe
s
to
the -> possible
s
etting
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpe
n
t
er
M
erge branch
'm
a
ster'
i
n
to n
u
ll_deref
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpent
e
r
A
d
d validation
s
cript for check_
n
ull
_
d
e
ref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-16
Dan
C
ar
p
enter
C
l
ean up
.
ne
w
->poss
i
ble is alw
a
ys
n
ull here
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Da
n
Carpenter
Oop
s
.
->possible
s
w
asn't g
e
tting
set correctly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Car
p
e
n
te
r
Use stri
p
_expr() in split_conditions()
instead reproducing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan C
a
r
penter
A
dd
some more operations to
g
e
t
_
value
(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Retur
n
&merg
e
d instead of
&
undefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpente
r
make get_value() return a value f
o
r bitwise or e
x
pre
s
sions
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Ca
r
p
e
nte
r
Try ag
a
in removing states from pools
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carp
e
n
ter
Revert "Remo
v
e a s
t
ate fr
o
m
it's ->pool
s
w
hen
set_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
D
a
n C
a
rpenter
E
l
iminate
a
warning
.
Pro
b
ably
the wrong way to do
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Ca
r
penter
Clean ups
.
Comm
e
nts
.
Re
n
ame slist_stack t
o
name
d
_
s
ta
c
k
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpenter
Ha ha
.
I s
t
ill suck at pointers
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
penter
Cleanup
s
.
Comment
s
.
Remove
d
ebugging code
f
rom filter()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
an Car
p
e
n
t
e
r
Cle
a
n up
.
A
lso pres
e
rve
t
he ->po
o
l
s in o
n
e
p
a
th of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Clean up ge
t
_state_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpen
t
er
Re
m
ove __overwrite_cur_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Ca
r
penter
Ther
e
was
debugging o
u
t
put that ac
c
idental
l
y got commit
t
ed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
a
rpente
r
Remove a state
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 t
h
e ->pools on merging
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpent
e
r
T
r
y u
n
derstand the implicati
o
ns from com
p
ou
n
d
conditions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpe
n
ter
Create a
s
tate &mer
g
ed
.
When we merg
e
stuf
f
it isn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Ok
.
This time sm
a
tc
h
_implied _really_ does something
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Car
p
e
n
ter
Ignore csco
p
e file
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Car
p
en
t
e
r
Sma
l
l
cleanups
.
(Whi
t
e space
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Carpenter
Wh
i
tespace
c
hange
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpen
t
er
A
d
d some
m
ore loc
k
ing funct
i
ons
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Fix imp
l
ied pools
s
o that at least it does somethi
n
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
I
t
seem
e
d
li
k
e tracker_list would
b
e
useful in a
lot
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Ad
d
a REA
D
ME
d
escribi
n
g smat
c
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Add script to
find NUL
L
de
r
eferences bet
w
e
e
n
functi
o
n
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Fix usage
m
e
s
s
a
ge
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n
C
arpenter
Check
for malloc()
as well as k
m
al
l
oc()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Fix segfault
when
h
a
n
dling implici
t
ly
declared f
u
nc
t
ions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan
Carpenter
War
n
when we do
n
't a
c
quire l
o
cks when cal
l
ing certain
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Da
n
Carpe
n
t
er
Try (and fail
)
t
o
f
ind
memor
y
leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Ca
r
penter
A
lmost
p
rint a
message when you come to
unreach
a
ble
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next