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 Carpenter
Doh
.
T
o
o
m
an
y
impli
e
d states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-22
Dan
C
ar
p
enter
R
e
move clone_sl
i
st_and_sta
t
es(
)
and merge_s
l
ist_clone(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-22
Dan Carp
e
nter
Remove switch clon
i
ng
c
omplexity
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Da
n
Carpenter
t
wo
i
s always
non-null these days
.
do
n
't check it
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpent
e
r
re
m
ove unused merg
e
_
p
ools() fun
c
tio
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpenter
d
o
n't print "list" v
a
riable
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan Ca
r
penter
M
a
ke
my_po
o
ls => my_pool
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan
C
arpenter
introduce
c
lone_poo
l
_have
r
s()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan
C
arpenter
clone
_
state() doesn't
copy my_pools
.
commit
|
commitdiff
|
tree
2009-05-21
Dan
C
arpenter
R
ework implica
t
ion
s
t
o
use ->pre
_
le
f
t
a
nd ->pre_right
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-17
Dan C
a
rpenter
Introduce ->pre_le
f
t and ->pre
_
r
i
ght
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-17
Dan
Carpenter
Make th
e
RAM
limit more accurate and flexible
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-10
Dan Carpenter
Only clo
n
e the sta
t
es if it is a swit
c
h
s
ta
t
ement
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-08
Dan Carp
e
nter
Don't
clone the f
a
lse st
a
tes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-08
Dan
Carpenter
Do
n
't clone
al
l
the stat
e
s
fo
r
e
very case statement
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
D
a
n
Carp
e
nter
M
ake
t
he
va
l
idation test har
d
e
r
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
D
a
n C
a
rpen
t
er
Prevent some
end
l
e
s
s
loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
Dan Car
p
enter
Putti
n
g par
e
ns ar
o
und s
o
met
h
ing
doesn't make
i
t undefine
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
Dan Car
p
enter
Fix memo
r
y lea
k
.
f
r
e
e
_s
l
ist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
D
a
n Carpenter
Make str
u
ct sm_
s
tate more compact
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpenter
smatch_sli
s
t
.
c no
l
o
nger needs any
f
unctio
n
s fro
m
s
m
atch_
e
xtr
a
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpenter
Delete all the andi
n
g
c
ompoun
d
co
n
d
i
tions
code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpent
e
r
chec
k
debug is useful
f
or
d
ebugg
i
n
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpente
r
poten
t
ial bug f
i
x for got
o
s
w
ith
implications
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpenter
M
ake validation test harder
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carp
e
nter
R
ework smatch im
p
l
i
ed
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-24
Dan Ca
r
penter
ge
t
_va
l
ue(): handle a couple more bit operators
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-23
Dan Carpenter
Set
t
hings in smatch extra instead of s
m
atch
i
mplied
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-23
D
an
Carpen
t
er
Handle switch sta
t
ements
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-23
Dan Car
p
enter
Revert "Don't the impli
c
at
i
on
s
f
o
r
the state deter
m
ining
.
.
.
commit
|
commitdiff
|
tree
2009-04-22
Dan Carpenter
R
evert "Here is
a bu
g
i
n
handling co
m
pound conditions
.
"
commit
|
commitdiff
|
tree
2009-04-21
D
a
n Car
p
en
t
er
h
a
ndle if((fo
o
=
d
own_trylo
c
k()) < 0
)
{
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-21
Dan Carp
e
nter
add_is_
m
erged_hoo
k
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-21
Da
n
Carpenter
Der
e
ferencing a variable do
e
sn'
t
make it und
e
fi
n
ed
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-18
Da
n
Carpen
t
er
Redo checking
for out of
r
a
nge
a
rgs
t
o
E
RR_
P
TR()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-16
Dan Carpen
t
er
Her
e
is a bu
g
in handling compound conditions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-15
Da
n
Carpenter
Handle str
a
igh
t
forward comparison
s
to ze
r
o
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-15
Dan Car
p
enter
Store the i
m
p
l
i
ca
t
ions for return
_
im
p
lie
s
_
s
tate() assignment
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-15
Dan Carpenter
Add: retu
r
n_implie
s
_stat
e
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan
C
arpenter
Renam
e
smatch_extr
a
_helper
.
c to smatch_r
a
nges
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpent
e
r
El
i
minate set_con
d
_
states() fun
c
tion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Da
n
Ca
r
pen
t
er
Small clean up
.
All
o
cati
n
g filter
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carp
e
n
t
er
Verify
that the value passed to ERR_PTR() isn't too
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Da
n
Carp
e
nter
F
i
x
c
ompiler int<->ptr
c
onversion
w
arnings
commit
|
commitdiff
|
tree
2009-04-14
Dan
C
a
rpenter
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 alloca
t
ion
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan
Carpenter
Fix
strncat()
bugs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-13
Dan
Carp
e
nter
Improve handling
of fo
r
loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpenter
Handle once through l
o
op
s
dif
f
erently
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpenter
Fix merging rang
e
s
.
C
o
mpl
e
tely brok
e
n before
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpenter
T
y
po: <
=
instead
of >
=
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan C
a
rpen
t
er
Reverse all the
r
anges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
D
an Ca
r
penter
D
on'
t
t
he implicat
i
on
s
for
the state determining the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan
C
ar
p
enter
match_com
p
a
ri
s
on to
handle less than,
great
e
r t
h
an
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpente
r
Change locking output
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
D
a
n
Ca
r
penter
Don't allocate so many
extra_undef
i
n
ed sta
t
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
create alloc
_
extra_stat
e
_
e
mpty(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
remove true_co
m
parison() and
do_comparison()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan
C
arpenter
m
ove (t
r
ue|fals
e
)_
c
omparison_rang
e
()
to smatch_extra_h
e
lp
e
r
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
clear ->my_lists
for &
i
gnore
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan
Carpe
n
ter
Print more --d
e
bug-implied in
f
ormation when -
-
d
e
bug
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpen
t
er
Removed ha
r
d coded
option
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
D
a
n
Carpenter
F
ix range compa
r
ison
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpenter
remove
unused function: range_list_inters
e
ction()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan
C
arpenter
Handle
UNDEFINE
D
range and display the n
a
me correctly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpent
e
r
Fix state n
a
mes for ranges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carp
e
nter
Implied r
a
nges
.
Part #3
.
Range Lists
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpent
e
r
Updat
e
dat
a
files for 2
.
6
.
30-rc1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
D
a
n Car
p
ente
r
s
m
atch_extr
a
.
s
ave other compa
r
iso
n
s bes
i
d
e
s just
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpenter
handle
:
i
f
(
(
foo =
try_l
o
ck()))
{
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpenter
r
ename
:
e
xpr
_
to_val()
-
> get_
i
mplied_value()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
D
an Carpenter
Fix hand
l
i
n
g
of
i
f (IS_ER
R
(f
o
o = bar())) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpenter
handle if c
o
nditional fu
n
ct
i
o
n
s a
r
e assigned
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
D
an C
a
rpenter
Add new
r
estricted known_condition_true()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carp
e
nte
r
rename known_cond
i
tion_true() to
impli
e
d_cond
i
tion_true()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan
C
arpenter
A
d
d ERR_PTR()
check
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
__m
o
du
l
e_
p
ut_and_exit() doesn't
r
eturn
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
D
an
C
arp
e
nter
Sepa
r
ate t
h
e list of freed
a
rgume
n
ts from
d
ecremente
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
Write a s
c
ript
to print functions that retur
n
NULL
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpe
n
ter
Do
n
't f
r
ee
b
i
n_dir
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
D
an Carpenter
Oops
.
Commi
t
these essential files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Da
n
Carpenter
Hand
l
e known conditions when
t
h
ey are a simple
val
u
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpenter
Add C
A
SE_HOOK
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan
C
arpe
n
ter
Fix
m
e
mory
l
eaks fou
n
d by
v
algrind
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
D
a
n
Carpen
t
er
alloc_s
t
ring()
-
> allo
c
_s
n
ame()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
D
a
n Carp
e
nter
Put so
m
e validation scripts
i
n the cl
o
set
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Da
n
Carpenter
Implied r
a
nges
.
Part #2
.
Filte
r
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-04
D
a
n
C
a
rpent
e
r
Silence the mut
u
al
l
y
exclusive output again
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-04
D
a
n Carpenter
Free
all da
t
a_info at th
e
e
nd of a function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-04
Dan C
a
rpenter
Add --n
o
-data optio
n
and warn
i
ng
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-03
D
a
n Carpenter
r
ange fix
.
anding slists
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-03
Dan Car
p
e
n
ter
cl
e
anups fr
o
m clone_slist(
)
chan
g
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-03
Dan Carpenter
I
m
pli
e
d ranges
.
Part
#
1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-02
D
a
n Carpente
r
Add t
h
e alloc
a
tion funcs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Da
n
Carpenter
free_sc
q
is defi
n
ed
2
times quite
d
i
fferent
l
y
.
It
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Dan
Carpenter
Fix impl
i
cations (fallout from
clone_slist(
)
c
h
anges)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Da
n
Carpenter
Major memory saving
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Da
n
Carpenter
--
d
e
bug means print the implications
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Dan Ca
r
penter
Add --no-i
m
plied to the help text
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-30
Dan
C
a
rpenter
S
a
ve memor
y
.
Don't copy the st
a
te name so m
u
ch
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next