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
Make my_pools => my_pool.
2009-05-21
D
an Carpe
n
ter
Make my_pools => my_pool
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpenter
i
ntroduce
clone_pool_havers()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpenter
clone
_
s
tate
(
) doesn't copy my
_
p
o
ols
.
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpenter
Rework implic
a
tions to use ->p
r
e_left and
-
>
pre_right
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-17
Dan Car
p
enter
Introduce ->pre_left and
->pre_righ
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-17
Dan Carpenter
Mak
e
th
e
RAM limit more accurate
a
nd flexible
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-10
Dan Ca
r
p
enter
Only cl
o
n
e the s
t
ates if it is a
s
w
itch stat
e
ment
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-08
Dan
C
arpent
e
r
Don't c
l
one t
h
e false states
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-08
Da
n
Carp
e
nter
Don't clone all t
h
e
states
f
or
eve
r
y case stateme
n
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
D
an
C
arpenter
Make the validat
i
on tes
t
harder
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
Dan Carpenter
Prevent
s
ome endless loops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
D
a
n
Carpe
n
ter
Putting parens around something doesn't make it un
d
efine
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
Dan Carpenter
Fix memo
r
y
leak
.
free_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
Dan C
a
rpenter
Make struc
t
s
m
_state more compact
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
D
a
n
Carpe
n
ter
smatc
h
_slist
.
c no lo
n
ge
r
n
ee
d
s any fun
c
tions from smatch_extra
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan
C
ar
p
enter
Delete
al
l
the a
n
di
n
g co
m
pound conditions
c
ode
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpenter
check de
b
ug is useful for debugging
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpenter
potential bug
f
ix for goto
s
w
i
th implica
t
i
ons
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan
Carpenter
Make validati
o
n te
s
t
h
arder
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpente
r
Rew
o
rk smatch i
m
plied
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-24
Da
n
Carpenter
get_
v
alue(): handle a cou
p
le more b
i
t
o
p
erators
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-23
D
an Carpent
e
r
Set t
h
ings in smatch
e
xtra inste
a
d of smatch im
p
lied
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-23
Dan Carpenter
Ha
n
dle switch
s
tat
e
m
en
t
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-23
Dan Car
p
ent
e
r
Revert "Don't the impl
i
c
a
tions for the stat
e
determining
.
.
.
commit
|
commitdiff
|
tree
2009-04-22
Dan Carpente
r
Revert "Here
i
s a bug in handling compound conditions
.
"
commit
|
commitdiff
|
tree
2009-04-21
Dan Ca
r
pent
e
r
handle i
f
((
f
oo =
d
own
_
trylo
c
k()
)
< 0
)
{
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-21
Dan Carpent
e
r
add_is_merged
_
hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-21
Dan
C
a
rpen
t
er
D
eref
e
rencing a variable doesn't make it undefin
e
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-18
Dan
Carpenter
R
e
do checking for out of rang
e
args to
E
RR_PTR()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-16
Dan Carpen
t
e
r
H
ere is a
bug in handl
i
ng c
o
m
p
ou
n
d conditions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-15
D
an Car
p
enter
Hand
l
e
strai
g
ht f
o
rward compar
i
sons
t
o zero
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-15
Dan Carpenter
S
t
ore
the
impl
i
cati
o
n
s for retu
r
n
_
implies_sta
t
e()
a
s
sig
n
m
e
nts
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-15
Da
n
Carpenter
Add
:
r
eturn_impli
e
s_state
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Da
n
Carpenter
Rename
s
match_
e
x
t
ra_helper
.
c to sm
a
tch
_
r
anges
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan
C
a
r
penter
Elimina
t
e
set
_
cond_states() fu
n
ction
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpente
r
S
m
all clean up
.
Allocating filter
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
V
erif
y
t
h
a
t the
v
alue
passed to E
R
R_PTR(
)
isn't too
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carp
e
nter
Fix c
o
mpiler int<->
p
tr convers
i
on warnings
commit
|
commitdiff
|
tree
2009-04-14
Dan Car
p
enter
Me
r
ge adjac
e
nt ranges
.
1-2
,
3-4 becomes
1-4
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Save some allocations
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Car
p
ent
e
r
Fix strncat() bugs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-13
Dan
C
arpen
t
e
r
Imp
r
ove
handling of
for
loops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpenter
H
andle o
n
c
e
throug
h
loops differently
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpe
n
t
er
Fi
x
me
r
ging r
a
nges
.
Completely
b
r
ok
e
n
be
f
o
re
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan
Carpenter
Typo: <= instead of >=
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan Ca
r
penter
Reve
r
se all the ranges
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpe
n
ter
D
o
n
'
t t
h
e
implications
f
or the st
a
te de
t
e
r
mini
n
g the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpe
n
ter
match_compar
i
son t
o
handle less than, greater than
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
Change l
o
cking output
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan
C
arpenter
Don'
t
allocate
so
ma
n
y extra_undefined state
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan
C
arpen
t
er
create allo
c
_e
x
tra_
s
t
a
te_empty()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpe
n
ter
remov
e
true
_
comparison() and do_comparison()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan
C
arpenter
m
ove
(true|
f
alse)_comparison_range
(
) t
o
smatch
_
extra_helper
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
clear ->my_lis
t
s for
&
ign
o
r
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan C
a
rpenter
Print more --debug-implied informati
o
n w
h
e
n
--debug
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpente
r
Removed
hard c
o
ded
o
pt
i
ons
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Car
p
e
n
ter
Fix range compari
s
on
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
D
a
n
Carpenter
re
m
o
ve
u
nused func
t
ion: range_list_inter
s
ection
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan C
a
rpenter
Hand
l
e UNDEFIN
E
D
r
ange an
d
displa
y
the name corre
c
tly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan
C
arpenter
Fix state names for range
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
D
an Ca
r
penter
Impli
e
d ranges
.
Part #3
.
Range Lists
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpenter
Upda
t
e data files for
2
.
6
.
30-rc1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
D
an C
a
rpent
e
r
smatch_ex
t
ra
.
save other comp
a
r
isons besides j
u
st
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpenter
handle:
i
f
((foo = try
_
l
ock())) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan
C
a
rpenter
ren
a
me: expr_to
_
val
(
) -
>
get_implied_value()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpe
n
ter
Fix handlin
g
o
f if (IS
_
ERR(foo
= b
a
r())
)
{
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan Car
p
ent
e
r
handl
e
i
f
condit
i
ona
l
f
uncti
o
ns are assi
g
ned
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Ca
r
penter
Add new restricted k
n
own_condition_true()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan
C
arpenter
rena
m
e known_condition_true() to
i
mplied_co
n
diti
o
n_tr
u
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan
C
arpenter
A
dd ERR_PTR()
check
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Ca
r
penter
__module_put_and_exit()
d
oesn't ret
u
rn
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan C
a
r
p
enter
Separate
t
he list of freed arg
u
men
t
s f
r
om decremented
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan C
a
rpenter
W
r
ite a script
to print
f
u
nction
s
that return
N
ULL
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
D
o
n't free
b
in
_
dir
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
O
o
p
s
.
Commit these essen
t
ial
fi
l
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan
C
ar
p
e
n
ter
H
andle kn
o
wn condi
t
ions when t
h
ey are a simpl
e
v
alue
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpent
e
r
Add CASE_HOOK
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
D
a
n Carpent
e
r
F
i
x
m
e
mory lea
k
s found by valgri
n
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
D
an Carpen
t
er
alloc_strin
g
() -> alloc_s
n
ame()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Da
n
Carpenter
P
ut
some v
a
l
i
dation scripts in
t
h
e
closet
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpenter
Im
p
lied ranges
.
P
art #2
.
F
i
lters
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-04
Da
n
Carpenter
S
i
lence the
mutually exclusive
o
u
t
put a
g
ain
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-04
Da
n
Carpe
n
ter
Free
a
ll
d
at
a
_info at t
h
e
e
n
d
of a
function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-04
Dan
Carpenter
Add --no-data option and warning
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-03
Dan Carp
e
nt
e
r
range
fix
.
anding slists
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-03
Dan Carpen
t
e
r
cleanu
p
s f
r
o
m
clone_s
l
ist(
)
c
ha
n
ge
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-03
Dan Carpe
n
ter
Imp
l
ied
r
an
g
es
.
Part #
1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-02
Dan
C
a
r
p
enter
A
d
d
the al
l
ocation fun
c
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carpenter
free_s
c
q is defined 2 tim
e
s quite differ
e
ntl
y
.
It
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carpente
r
Fix im
p
lications (fall
o
ut from clone_slis
t
(
)
c
h
a
n
ges)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Dan C
a
rpe
n
t
e
r
Major memory
s
a
ving
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Da
n
Carpenter
--d
e
b
u
g means print th
e
imp
l
ication
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Dan
Carp
e
nter
Add --no-implied t
o
the help text
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-30
Dan Carpenter
S
a
ve memory
.
Don't copy
t
he state name so m
u
ch
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-30
Dan Carpenter
A
dd check_
t
ype
.
c (disabled)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-30
Dan C
a
rpenter
k
ref_put() and kobject_put() a
r
e basicall
y
like
a
f
ree()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-29
Dan Car
p
enter
Don't
d
ereference freed memory
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-28
Dan C
a
rp
e
nt
e
r
A
d
d all the allocatio
n
f
unctions
t
o check_leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-28
Dan Car
p
ent
e
r
G
e
nerate a list of functions th
a
t alloca
t
e data
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-27
D
an
C
a
rpe
n
t
er
Update
t
he ge
n
_frees_list
.
sh and the genera
t
e
d
data
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next