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
Doh. Too many implied states.
2009-05-22
Dan C
a
rpenter
Doh
.
Too
m
any implied st
a
tes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-22
D
an Carp
e
nter
R
e
m
ove clo
n
e_slist_and_st
a
tes() and merge_slist_clone()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-22
Dan
C
ar
p
enter
Remove switch cloning
c
omplexity
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan C
a
rpenter
two is a
l
w
a
ys non-null th
e
se da
y
s
.
don'
t
check it
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpenter
remov
e
unused merge_pools() funct
i
on
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpen
t
er
don't print "lis
t
" variable
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan
C
arpenter
Ma
k
e my_pools =>
my
_
pool
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carp
e
nter
in
t
roduce clone_pool_havers()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan
C
a
r
pent
e
r
clone_state() doesn't copy my_pools
.
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpe
n
ter
Rework impli
c
ations to
u
se ->pre
_
le
f
t
and ->pre_right
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-17
Dan Carpe
n
ter
Intro
d
uce ->p
r
e_lef
t
a
nd
-
>
p
re_right
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-17
Dan Carpente
r
Make the RAM li
m
i
t
more accurate and flexible
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-10
Dan Carp
e
nter
Only clone the state
s
i
f
it
i
s a switch s
t
ate
m
ent
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-08
Dan
C
arpenter
D
on't clone the false states
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-08
D
a
n
C
arpent
e
r
D
o
n't cl
o
n
e
a
ll the s
t
ates for every ca
s
e statement
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
Dan Carpent
e
r
Make
t
he validation tes
t
harde
r
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
Da
n
C
a
rpenter
Preven
t
some endless
l
o
o
ps
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
D
a
n Carpen
t
er
Putting
parens around s
o
me
t
hing doesn't
make
i
t un
d
e
fined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
Dan Carpenter
Fix memory leak
.
fr
e
e_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
Dan Carpenter
Make
s
truct sm_stat
e
more compact
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
D
an Carpenter
smat
c
h_slist
.
c no
lo
n
ger nee
d
s
any functions from smatc
h
_extra
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carp
e
n
ter
Delete all the anding co
m
poun
d
conditions code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
D
an Carpenter
check debug is us
e
ful for debugging
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpent
e
r
potential bug fix for
gotos with impli
c
ations
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpent
e
r
Make valid
a
tion test harder
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpenter
Rew
o
r
k
smatch implie
d
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-24
Dan Carpenter
get_value(): handle
a couple more
b
it operators
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-23
D
a
n Ca
r
penter
S
e
t things
i
n smatch extra instead of smatch
implied
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-23
D
a
n Carpente
r
Handle switch
statemen
t
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-23
Dan
C
arpe
n
ter
R
evert "Don't the implication
s
fo
r
the state
d
eter
m
ining
.
.
.
commit
|
commitdiff
|
tree
2009-04-22
Dan Carp
e
nte
r
Re
v
e
rt "Here is a b
u
g in handling compound c
o
n
ditions
.
"
commit
|
commitdiff
|
tree
2009-04-21
D
a
n
Carpenter
handle if((foo =
d
own_tryl
o
ck()) <
0
)
{
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-21
Dan Carpent
e
r
add_is_merg
e
d_
h
o
o
k()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-21
Da
n
Carpen
t
er
D
erefe
r
encing a variable doesn't make it u
n
defined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-18
Dan
C
arpenter
Redo ch
e
ckin
g
fo
r
out of rang
e
args to ERR_
P
TR()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-16
Dan Carpe
n
ter
Her
e
is a bug in handling compound
co
n
ditions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-15
D
a
n Ca
r
pen
t
e
r
Handle
s
t
raight forward comparisons to z
e
r
o
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-15
Dan
Ca
r
pente
r
Store the implica
t
ions
f
or r
e
turn_implie
s
_s
t
at
e
()
a
ss
i
gn
m
ents
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-15
Dan C
a
rpenter
A
dd: return_i
m
plies_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
R
e
name smatch_e
x
tra_h
e
lper
.
c to
s
matc
h
_ranges
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan
C
ar
p
enter
Eliminate set_cond_s
t
a
t
e
s() function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Sm
a
ll clean up
.
Alloca
t
ing fi
l
ter
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Ca
r
pen
t
er
Verif
y
t
hat t
h
e value
p
a
ss
e
d to ERR_PTR() isn't to
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
F
ix compi
l
er int<->ptr conversion warnings
commit
|
commitdiff
|
tree
2009-04-14
Da
n
C
arpenter
M
erge adjacent ranges
.
1-2
,
3-4 b
e
co
m
es 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
D
an
Carpenter
Fix strncat() b
u
gs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-13
Dan
Carpenter
Imp
r
ove handling of for loops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan
C
a
rpenter
Han
d
l
e
once
t
hrough loop
s
diff
e
rently
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan C
a
rpenter
F
i
x merging ranges
.
Compl
e
t
ely broken before
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
D
an Carpe
n
ter
Typo:
<= instead
o
f
>
=
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpenter
R
e
ve
r
se all t
h
e
r
anges
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpenter
Don't th
e
implicatio
n
s f
o
r the state determining the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpente
r
match_
c
omparis
o
n to handle less than
,
grea
t
er than
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
Ch
a
n
ge locking output
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
D
a
n
C
arpenter
Don
'
t
a
l
locate so
m
any extra_undef
i
ned states
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
D
a
n
Carpen
t
er
create alloc_extra_
s
ta
t
e_empty()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Da
n
Carpe
n
ter
remove tru
e
_compar
i
s
o
n
()
a
n
d
do_compariso
n
()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpen
t
e
r
move (tr
u
e|fal
s
e)_c
o
mpari
s
on_
r
ange()
t
o smat
c
h_extra_
h
elp
e
r
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Da
n
Carpent
e
r
c
l
ear ->my_lists for &ignore
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carp
e
nter
Print
m
ore --debug-
i
mplie
d
info
r
mation when --debug
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carp
e
nt
e
r
R
emoved hard coded options
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Da
n
Carpen
t
er
Fix ran
g
e com
p
a
ri
s
o
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Da
n
Carpente
r
r
e
move
unused f
u
nction: range_
l
ist
_
intersection()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Da
n
Carpenter
Handle UNDEFINED r
a
nge
and display the
n
ame corr
e
c
t
ly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan C
a
rpent
e
r
Fix
sta
t
e na
m
es for ran
g
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpen
t
er
Im
p
l
i
ed ranges
.
Part
#
3
.
R
ange Lists
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpenter
Update dat
a
file
s
f
o
r 2
.
6
.
3
0-rc1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Da
n
Car
p
enter
smatch_ext
r
a
.
save
other
c
ompariso
n
s besides just
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
D
an Carpent
e
r
handle: if
(
(foo = try_lock())) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan
Carpenter
re
n
ame: expr_to_val() -> ge
t
_
i
mp
l
ied_
v
a
lue()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpente
r
Fix han
d
ling of if (IS_ERR(foo
=
bar())) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpenter
handle
i
f c
o
nditiona
l
functions
a
re assigned
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan
C
arp
e
nt
e
r
Add new restricte
d
known_condi
t
ion_true()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan
Carpenter
rename known_c
o
n
dition_true() to implied_cond
i
tion_true()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
Add ERR_PTR() check
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
__module_put_a
n
d_exit(
)
doe
s
n't r
e
t
urn
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
S
ep
a
rate the l
i
st
o
f fre
e
d argum
e
nts from decr
e
mented
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpen
t
er
Write a s
c
ript to print functions that return NUL
L
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Ca
r
p
enter
Don
'
t fr
e
e
b
in_di
r
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpe
n
ter
Oop
s
.
Commit these
essential files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpenter
Ha
n
dle known conditions wh
e
n
t
hey
a
re
a s
i
mple value
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan C
a
rp
e
nter
Add CASE_
H
OOK
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan Ca
r
penter
Fix memory
l
eaks found by valgrind
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpe
n
ter
al
l
oc_s
t
ring() ->
a
llo
c
_sname
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpe
n
ter
Put some validation scripts
i
n
the closet
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
D
an Carpenter
Implied ranges
.
Part #2
.
Filt
e
rs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-04
Dan
Carpent
e
r
Silence the mutua
l
ly exclusive
o
u
tput
again
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-04
Dan Carp
e
nter
Free
a
ll data_info at the end of a fun
c
t
ion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-04
Dan Ca
r
penter
A
d
d --no-data option and warning
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-03
Dan C
a
rpenter
range fix
.
anding slists
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-03
Dan Carpent
e
r
c
leanups from clone_s
l
i
s
t
() cha
n
ges
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-03
Dan Carpenter
Imp
l
ie
d
ranges
.
P
a
rt
#
1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-02
Dan Carpenter
Ad
d
the
a
llocation funcs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carp
e
nter
free_scq is defined 2 ti
m
es quite dif
f
erently
.
It
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Da
n
C
a
rpenter
Fix impl
i
cati
o
ns (
f
al
l
o
u
t from clon
e
_slist()
c
hanges)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carpenter
Maj
o
r memory saving
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Dan Car
p
ent
e
r
--debug m
e
ans pr
i
n
t
the i
m
plications
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Dan Ca
r
penter
Add --n
o
-implied to
t
he h
e
lp text
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-30
Dan Carpent
e
r
S
a
ve mem
o
ry
.
D
on't copy the
s
tate n
a
me so mu
c
h
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next