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
Only clone the states if it is a switch statement.
2009-05-10
D
an Ca
r
p
e
nter
O
nly
clone
the st
a
tes if it is a switch statement
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-08
Dan
Carpenter
Don't clone the false states
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-08
Dan Carpenter
Don'
t
clone all the s
t
ates for ev
e
ry case statement
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
Dan Carpent
e
r
Ma
k
e the validation t
e
s
t
harder
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
Dan Carpenter
Preve
n
t some end
l
ess loops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
D
a
n
Car
p
e
nter
Puttin
g
parens
a
r
o
u
n
d
s
omething doesn't m
a
k
e it undefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
D
a
n
C
arpen
t
e
r
Fix memory leak
.
free_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
Dan C
a
rpen
t
e
r
M
ake struc
t
s
m
_state more
compact
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpenter
smatch_sl
i
st
.
c no long
e
r needs any functi
o
ns fr
o
m
smat
c
h
_
extr
a
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
D
a
n Carpenter
D
e
lete all th
e
anding compou
n
d condi
t
ion
s
co
d
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
D
a
n Carpe
n
ter
check debug is
u
s
e
f
u
l fo
r
debugging
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpent
e
r
poten
t
ia
l
bu
g
fix
for gotos with
implica
t
ions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carp
e
n
ter
M
a
k
e
valid
a
tion test harder
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan
Carpent
e
r
Rework s
m
atch implied
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-24
Dan Ca
r
penter
get_valu
e
(
): ha
n
d
l
e a co
u
p
l
e
more bit o
p
er
a
t
ors
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-23
Dan Carpenter
S
et things i
n
s
m
a
t
ch extra
inste
a
d
of
s
match implie
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-23
Da
n
C
a
r
p
ente
r
Handle switch sta
t
ements
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-23
Dan Carpenter
Revert "Don't the impl
i
cations for
t
he state determ
i
ni
n
g
.
.
.
commit
|
commitdiff
|
tree
2009-04-22
Dan Carpenter
Revert "H
e
r
e
is a bug in
h
andli
n
g compound conditions
.
"
commit
|
commitdiff
|
tree
2009-04-21
Dan Carpenter
handle if(
(
fo
o
= do
w
n_trylo
c
k()
)
<
0
) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-21
D
an Carpenter
add_is_merged_hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-21
Dan Carpenter
Dereferen
c
ing a variable doe
s
n't m
a
k
e it unde
f
ined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-18
Dan Carpent
e
r
Redo checking for out of r
a
nge
a
rgs to ERR_PTR()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-16
Da
n
Carpenter
Here is a
b
u
g in handling compound conditions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-15
D
a
n Carpenter
Handl
e
straight
f
orwar
d
comparisons to zero
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-15
Dan
Carpenter
St
o
re the
i
m
p
l
i
cations f
o
r
r
e
turn_im
p
lies_
s
tate(
)
assignme
n
ts
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-15
Dan Carpenter
Add: return_im
p
lies_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Da
n
Ca
r
penter
Rena
m
e sm
a
tch_extra_helper
.
c to smatc
h
_ranges
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carp
e
n
ter
Eliminate set_cond
_
states() function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
D
an Carpenter
Small
clean up
.
Allocating f
i
lt
e
r
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Verify th
a
t the value
p
assed to ERR_
P
TR() isn't too
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan
C
arpenter
Fix com
p
iler int<->ptr c
o
nversion warn
i
ngs
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpent
e
r
Merg
e
adjacen
t
ranges
.
1-2,3-4
b
ecomes 1-4
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Da
n
Carpe
n
ter
S
ave some all
o
c
ations
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan
C
ar
p
e
n
t
er
Fix
strncat()
b
ugs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-13
Dan
Carpe
n
ter
I
m
prove handling of for lo
o
p
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan Ca
r
pente
r
Handle once through lo
o
ps differ
e
ntl
y
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan
C
arp
e
n
t
er
Fix mergin
g
range
s
.
Co
m
plet
e
ly b
r
oken
befo
r
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan Car
p
enter
T
y
po
:
<= instead 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
Da
n
Carpenter
Don'
t
the implications for the state determining the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Ca
r
pen
t
er
ma
t
ch_comparison
t
o handle less
tha
n
, gr
e
a
t
er than
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan
C
a
r
penter
C
h
ange locking
o
utput
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan
Car
p
enter
Do
n
't
a
llocate s
o
many extra_undefined
stat
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan C
a
rpe
n
t
e
r
c
reate alloc_extra_s
t
ate_empty(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
re
m
ove
t
r
u
e_comparison() and do_comparison()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
move (true|false)_compariso
n
_range() to smatch
_
e
x
tra_hel
p
er
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
clear
-
>my_lists for &ignor
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
P
rint more -
-
debug-imp
l
ied information when --d
e
bug
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
D
a
n Carpe
n
t
e
r
Rem
o
ved
hard co
d
ed options
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
F
ix range compari
s
on
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpenter
remove unused func
t
ion: range_list_in
t
er
s
ection()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan Car
p
enter
Handle
U
NDEFINED range and
display the name corr
e
c
t
ly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
D
an
C
arpenter
Fix state na
m
es for ran
g
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpenter
Implied ra
n
ges
.
Part #3
.
Range Lists
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carp
e
nter
Updat
e
data file
s
f
o
r
2
.
6
.
30-rc1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpen
t
er
smatch_extra
.
save oth
e
r
com
p
arisons be
s
ides just
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpenter
handle
:
if (
(
f
oo =
try_lock())) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
D
a
n Carpe
n
ter
ren
a
me: expr_to_val() -> g
e
t_impli
e
d_value()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan
C
arpenter
F
ix
h
andl
i
ng of if (IS_ERR(foo = bar()))
{
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan Car
p
en
t
er
handle if conditi
o
nal functions a
r
e
ass
i
gned
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan
Carpenter
Ad
d
new r
e
s
tricted
k
nown_condition_true()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
rename
kn
o
wn_
c
onditi
o
n_true(
)
to implied_condition_true()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carp
e
nte
r
Ad
d
E
RR_P
T
R() check
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
D
an
C
arpenter
__modul
e
_put_and_e
x
it() d
o
esn't re
t
urn
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Da
n
Carpenter
Sepa
r
ate the l
i
s
t
of freed argu
m
e
n
ts from decrem
e
nted
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
Write a
s
cript to prin
t
f
unc
t
ions that return
NULL
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carp
e
nter
Don't free
b
in
_
dir
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan
Ca
r
p
e
nter
O
o
ps
.
C
ommit these essent
i
al files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpenter
Handle k
n
own condition
s
whe
n
th
e
y
a
re a simple value
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
D
an Carpente
r
Add
C
ASE_HOOK
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
D
an Ca
r
penter
Fix memory leak
s
fou
n
d
by v
a
lgrind
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
D
an Carpenter
alloc_string() -> alloc_s
n
ame()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan
C
arpen
t
er
Put
s
ome validation
s
cripts in the
c
l
oset
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpenter
Imp
l
ied ranges
.
Part
#2
.
Filters
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-04
Dan Carpen
t
er
Si
l
ence the mutually exclu
s
ive output again
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-04
Dan
C
arpenter
Free
all data_info at the e
n
d of a fu
n
ction
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-04
Dan Carpen
t
er
Add -
-
no-data option
an
d
war
n
in
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-03
Dan Ca
r
penter
range fix
.
a
n
d
i
ng
sl
i
sts
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-03
Dan Carpenter
clea
n
ups from
clone_slist(
)
c
hange
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-03
D
a
n Carpent
e
r
Implied range
s
.
Part #1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-02
Dan Carpenter
Add t
h
e
a
ll
o
cation
fun
c
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carp
e
nt
e
r
free_scq is
d
ef
i
ne
d
2
times qui
t
e differently
.
It
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Dan
C
arpenter
Fix implications
(fall
o
ut
from clone_
s
list
(
)
c
hang
e
s
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Dan Car
p
e
nter
Major memory
saving
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carp
e
nter
--debug means print
the implications
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carpente
r
Add --no-implied
to the help text
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-30
Dan
C
a
rpent
e
r
Save me
m
ory
.
Don
'
t
copy the state name so much
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-30
D
an Carpenter
Add chec
k
_
t
yp
e
.
c
(disabled)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-30
Dan Carpenter
kref_put
(
) and kobject_pu
t
() are b
a
sically like a free()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-29
Dan Carpent
e
r
Don't de
r
eference
f
reed mem
o
r
y
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-28
Dan Carpent
e
r
A
d
d
all the allocation functi
o
ns to ch
e
ck
_
leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-28
Dan C
a
rp
e
n
ter
Generate a li
s
t of functi
o
ns that al
l
ocate data
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-27
Dan Car
p
ent
e
r
Upda
t
e t
h
e
gen_fre
e
s_list
.
sh and
the generated data
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-26
Da
n
Carpenter
Save function lists
i
n s
m
a
t
ch_data/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-26
Da
n
Carpenter
n
e
w (disable
d
) script: check
_
leaks
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-26
Dan Car
p
e
n
te
r
implied: ad
d
get_implicat
i
on
s
() for scr
i
pts
t
o us
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carpenter
Add co
m
m
ent
.
get_value returns UNDEFINED on error
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carpenter
fu
n
ctio
n
_
h
oo
k
s: b
u
mp
t
he number of entries in
the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carpe
n
ter
new: add_fu
n
ction_assign_ho
o
k
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next