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
Fix memory leak. free_slist().
2009-05-06
Da
n
Carpenter
F
ix mem
o
ry le
a
k
.
free
_
s
l
ist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
Dan Carpe
n
ter
Make
str
u
ct sm_state more compact
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpenter
s
match_slist
.
c no longer needs any functions from
smatch_extra
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
D
an Carpe
n
ter
Delete all the anding
compou
n
d con
d
itio
n
s code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
D
a
n Car
p
ente
r
check debug i
s
useful for
d
e
buggin
g
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
D
a
n Carpent
e
r
potential bug fi
x
f
o
r
g
otos wi
t
h
i
mp
l
icat
i
o
ns
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan Car
p
enter
Make validat
i
o
n
test h
a
rder
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Da
n
Carpenter
Rework sma
t
ch implied
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-24
Dan Carpenter
get_value
(
): ha
n
dle a
couple
m
or
e
bit ope
r
ators
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-23
Dan
Carpente
r
Set thin
g
s in smatch extra
instead of smatch
implied
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-23
D
a
n Carpe
n
ter
Handl
e
swi
t
ch
state
m
e
nts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-23
D
an C
a
r
p
enter
Revert "Don't
the
i
mpli
c
ations
f
o
r the state determining
.
.
.
commit
|
commitdiff
|
tree
2009-04-22
Dan Carpenter
R
ever
t
"Here is a bug in han
d
ling compound condit
i
ons
.
"
commit
|
commitdiff
|
tree
2009-04-21
D
an C
a
rpenter
handle if((f
o
o
= down_tryloc
k
()
)
<
0
)
{
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-21
Dan Carpenter
add_is_mer
g
e
d
_ho
o
k()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-21
Dan Carpenter
Dere
f
e
rencing a v
a
riable doesn't ma
k
e
i
t undefi
n
e
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-18
Dan Carp
e
nte
r
Redo check
i
ng for ou
t
of range
a
r
g
s
t
o
ERR_PTR()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-16
Dan Carpenter
Here is a bug i
n
h
a
ndling co
m
p
ou
n
d
c
ondi
t
ions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-15
Dan Carpenter
H
andle st
r
aight
forwa
r
d comparisons to ze
r
o
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-15
Dan Carpenter
Sto
r
e the impl
i
cations
for return_implies_state() a
s
signments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-15
Dan Carpenter
Add:
retur
n
_impli
e
s_
s
tate()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan
C
arpen
t
er
Ren
a
me smat
c
h
_extra_helper
.
c to
smatch_ranges
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
D
a
n
Car
p
enter
E
l
i
minate s
e
t
_cond_states() function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Sm
a
ll cle
a
n up
.
Al
l
ocatin
g
filter
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Verify that the value
p
as
s
ed to ERR_PTR() isn't too
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Fix
compiler int<->ptr conversion warning
s
commit
|
commitdiff
|
tree
2009-04-14
Dan Ca
r
penter
Merg
e
adjacent ranges
.
1-2,
3
-4 becomes
1-4
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Ca
r
p
e
nter
Save some allocations
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan
Carpenter
Fix st
r
nca
t
(
)
bu
g
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-13
Dan Ca
r
penter
Improve hand
l
ing o
f
for l
o
op
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpenter
Handle once through
l
o
o
p
s
d
if
f
erently
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpenter
F
i
x
merging
ranges
.
C
o
mpletely bro
k
e
n
before
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan
Carp
e
nter
Typo: <= i
n
stead of >=
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan
Carpenter
Reverse all the ranges
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpent
e
r
Don't the implicati
o
ns
for the
s
tate determining the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
D
an Carpe
n
ter
match_c
o
mparison to ha
n
dle less th
a
n, greater tha
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan
C
arpe
n
ter
Change
locki
n
g output
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
Don'
t
all
o
cat
e
so many
extra
_
undefined sta
t
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
D
a
n Carpenter
create allo
c
_
e
xtra_st
a
te
_
empty()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
remo
v
e true_comparison() and do_comparis
o
n()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
move (true|false)_compariso
n
_range() to smatch_extra_helper
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpen
t
er
cle
a
r ->my_lists
f
o
r
&ignore
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Car
p
enter
P
r
int mo
r
e
-
-debug-implied information w
h
en -
-
d
ebug
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan
Carpe
n
ter
Rem
o
ved
hard coded opti
o
n
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Ca
r
pen
t
er
F
i
x rang
e
comp
a
rison
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Da
n
C
arp
e
nter
re
m
ove un
u
sed
f
unction: range_list
_
intersection()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan Car
p
enter
Handle UN
D
EFINED
range a
n
d displ
a
y
t
h
e na
m
e co
r
rectly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Da
n
Carpenter
Fix state na
m
es
for range
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpe
n
ter
Implied ranges
.
Part
#3
.
Range Lis
t
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan C
a
r
p
enter
Update data files
f
o
r 2
.
6
.
30-rc1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpente
r
sma
t
c
h_ex
t
ra
.
save other comparisons
b
e
s
i
des just
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan Ca
r
penter
hand
l
e: if ((foo = try_lock(
)
)
)
{
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan
C
arpen
t
er
rename: expr_
t
o_va
l
() ->
g
et
_
implied_v
a
lu
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Da
n
Carpenter
Fix h
a
ndling of if
(IS_E
R
R(
f
oo = bar())) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Da
n
Carpenter
handle
if conditional
f
unctions are as
s
igned
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Ca
r
pe
n
ter
Add new re
s
tricted
k
no
w
n_condition_
t
rue()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpente
r
rena
m
e known_condition_true
(
) to imp
l
i
ed_condi
t
ion_t
r
u
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpent
e
r
Ad
d
E
R
R_PTR(
)
check
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
__module_put_an
d
_exi
t
() doesn't r
e
turn
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Car
p
enter
Sepa
r
ate
t
h
e list of
free
d
arguments from decremented
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
D
a
n Carpent
e
r
W
ri
t
e a script to print functions that
return
N
ULL
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan
C
arpenter
Don't f
r
ee bin_dir
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
D
a
n
C
arpenter
Oops
.
Commit the
s
e ess
e
ntial fil
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan C
a
rpenter
H
andle know
n
condi
t
io
n
s whe
n
they a
r
e a simple val
u
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan Ca
r
penter
Add CA
S
E_HO
O
K
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
D
a
n
Carpenter
Fix
m
emory leaks fou
n
d by valgrind
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carp
e
nter
al
l
oc_strin
g
() -
>
alloc_sname()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan C
a
r
penter
Pu
t
some validation scripts
i
n the closet
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Da
n
C
a
rpen
t
er
Implied ra
n
ges
.
Pa
r
t #2
.
Filt
e
rs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-04
Dan Carpenter
Silence the mutu
a
lly exclu
s
ive ou
t
put again
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-04
Dan Carpenter
F
r
ee all data_info
at the end of a fun
c
tion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-04
Da
n
Carpenter
Add --no-data option and war
n
ing
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-03
Dan Carpenter
ra
n
ge
f
ix
.
a
nding slists
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-03
Dan
C
arp
e
nte
r
clean
u
p
s
from c
l
one_s
l
ist() changes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-03
Dan Carpenter
Im
p
l
ied range
s
.
Part #1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-02
Dan Carpenter
Ad
d
the alloc
a
t
io
n
funcs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carpenter
free_scq
i
s defined 2 times qu
i
te
differently
.
I
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carpe
n
ter
Fix imp
l
ications (fallout
f
r
o
m
clone
_
slist
(
) changes)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carpenter
M
a
j
o
r m
e
mory
s
aving
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Da
n
Carpenter
--debug means print the implications
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Dan Car
p
enter
Add --
n
o-im
p
lied to the he
l
p text
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-30
Dan Carpen
t
er
S
ave
me
m
o
ry
.
Don't copy the state name so much
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-30
Dan Carpent
e
r
Add c
h
eck_
t
ype
.
c (disa
b
led)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-30
Dan Carpenter
kref_put()
and kobject_put() a
r
e basical
l
y
like a f
r
ee(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-29
Dan C
a
rpenter
Don'
t
dereference freed
memory
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-28
Dan Carpenter
A
d
d all th
e
all
o
cation
func
t
ions to
check_leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-28
Dan Carpenter
G
e
nerate a list of fu
n
cti
o
ns that alloca
t
e data
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-27
Dan Carpe
n
ter
U
pdate
the
g
en_
f
rees_list
.
sh an
d
the
g
enerated data
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-26
Dan Carpenter
Save functio
n
l
i
sts
in smatch_data/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-26
Dan Carpenter
ne
w
(disabled) scrip
t
: check
_
leaks
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-26
Dan Carpenter
implied: add
get_implication
s
() for
sc
r
ipts
to use
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
Dan Ca
r
p
ente
r
Add co
m
ment
.
get_v
a
lue returns UNDEFINED
o
n error
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carpenter
function_hooks: bump the
n
umber
o
f
entr
i
es in the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carpent
e
r
n
ew: add_function
_
ass
i
g
n
_hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carpenter
Clean up the conditional hook code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
Dan C
a
rpe
n
t
e
r
new api: add_conditional_hoo
k
(), se
t
_cond_states();
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-24
Dan Car
p
enter
f
u
nct
i
on_
h
o
oks: pass
t
he function name as
w
e
ll
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-24
Dan Carpente
r
don
'
t
t
ry return block things i
n
get
_
va
r
iable_from_expr_comp
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-24
Dan
C
arpenter
Add a
l
ist of n
o
return type fu
n
ctions that nullify
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-24
Dan Carpenter
Merge branch 'devel'
commit
|
commitdiff
|
tree
next