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
clean up in merge_slist()
2009-05-24
D
a
n
Carpe
n
ter
clean up in me
r
ge_
s
l
i
st()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-24
Dan Carpenter
check for out_of_
m
emo
r
y()
l
e
ss o
f
ten and o
n
ly after
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-24
Dan Carp
e
nter
Better debugging for che
c
k
_memory
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-22
D
an Carpenter
Add switch testing
t
e
st
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-22
Dan
Carpenter
Doh
.
T
o
o many
i
m
p
l
ied states
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-22
Dan
C
a
r
p
enter
Remove clone_s
l
ist_and_s
t
at
e
s() a
n
d merge_slist_clone()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-22
Dan Carpenter
Remove switch c
l
oni
n
g complexity
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
D
an
Carpente
r
two is always
n
o
n
-null
t
hese day
s
.
don't c
h
eck it
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Da
n
C
arpenter
remove unused
m
erge_pools()
f
u
nct
i
on
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpenter
do
n
't print "list" variab
l
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan
Carpenter
M
a
ke my_pools => my_pool
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpenter
introduc
e
c
l
one_pool_ha
v
ers(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan
Car
p
enter
clone_state() doesn't copy my_pools
.
commit
|
commitdiff
|
tree
2009-05-21
Dan
C
arp
e
n
t
e
r
Rework
implicatio
n
s to use ->
p
re_left and ->pre_right
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-17
Dan Carpenter
In
t
ro
d
uce
-
>pre_lef
t
and
->p
r
e_right
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-17
Dan Carpenter
Make the RAM limi
t
mor
e
accurate and flex
i
b
le
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-10
Dan C
a
rpente
r
Only clone the st
a
tes if i
t
is a switch statement
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-08
Dan
C
arpenter
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 states for e
v
e
r
y
c
a
se statement
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
Da
n
Carpenter
M
a
ke the valida
t
ion test
h
arder
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
Dan C
a
rpenter
Pre
v
ent some endless lo
o
ps
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
Dan
C
arpente
r
Puttin
g
p
a
r
e
n
s arou
n
d s
o
met
h
ing doesn'
t
mak
e
it undefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
Dan Ca
r
penter
F
i
x memory leak
.
fre
e
_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
Da
n
Car
p
enter
M
ake
s
truc
t
sm_sta
t
e more compact
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Da
n
Car
p
en
t
e
r
smatch_slist
.
c no longe
r
needs any
functions from smatch_extra
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
D
a
n Carpenter
De
l
ete all the anding comp
o
und conditions code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan
C
a
rpenter
check debu
g
is
u
seful for de
b
ugging
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
D
a
n Carpenter
pot
e
ntial
b
ug fix f
o
r
g
oto
s
w
i
th implicat
i
ons
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan
Ca
r
pe
n
t
e
r
Make
v
a
lidation tes
t
harde
r
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Da
n
C
a
rp
e
nt
e
r
Rework
s
match
i
mp
l
i
e
d
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-24
Dan Ca
r
p
ente
r
g
e
t_
v
alue(): handle a couple more
b
it operators
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-23
D
an
C
arpente
r
Set things in smatch extra inste
a
d of smatch implied
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-23
Dan Carpenter
Handle
s
witch
s
ta
t
ements
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-23
Dan
C
ar
p
ent
e
r
Rever
t
"D
o
n
'
t
t
h
e
impli
c
ations
for the st
a
t
e
determining
.
.
.
commit
|
commitdiff
|
tree
2009-04-22
Dan Carpenter
Revert
"
H
ere
is
a bug in han
d
ling comp
o
und c
o
nditions
.
"
commit
|
commitdiff
|
tree
2009-04-21
Da
n
Ca
r
penter
handle if((foo = down_t
r
ylock()) < 0)
{
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-21
Dan Carpenter
add_is_merged_hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-21
D
a
n Carpenter
Dereferencing
a
v
a
riable do
e
s
n'
t
m
a
ke
i
t
u
ndefi
n
ed
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-18
Dan
C
a
r
penter
R
edo checking for out of range a
r
gs to ERR_
P
T
R()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-16
Dan
C
arp
e
nter
Here
is a
b
ug in handling compoun
d
c
onditions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-15
Dan
Carp
e
n
t
er
Handle straig
h
t
forward
c
o
mp
a
risons to
zer
o
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-15
Dan Carpen
t
er
Store the
imp
l
icat
i
ons
f
o
r return_implies
_
state()
assignments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-15
Dan Carpe
n
te
r
Add: ret
u
rn_implies_sta
t
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpen
t
er
Rename smatch_
e
xtra_helper
.
c t
o
smatch_ranges
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
D
an C
a
rpenter
Eliminate
set_cond_states() function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpen
t
er
Small clea
n
up
.
Allocating
fil
t
er
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan
Carpe
n
ter
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
Dan Carpenter
F
ix co
m
p
i
l
er int
<
->ptr conversion warnings
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Merge adjacent ranges
.
1
-2,3-4 becomes 1
-
4
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan
C
a
rp
e
nter
Save some alloc
a
tions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan C
a
rp
e
nte
r
Fix strncat
(
) bugs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-13
Dan Carpent
e
r
Improve
h
a
n
dling of f
o
r loop
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan Ca
r
pente
r
Hand
l
e
o
n
c
e throu
g
h l
o
ops differently
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
D
a
n Carp
e
nter
Fix
m
erging ranges
.
Compl
e
tely broken b
e
fore
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpenter
Typo: <= i
n
stead
of >=
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpenter
Reverse all th
e
ranges
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan Ca
r
penter
Don't
the
i
mpl
i
cations
f
or
t
h
e
s
tate determini
n
g
the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
D
a
n Carpenter
matc
h
_
comparison to
handle less than, greater
than
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carp
e
nter
Change locking output
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
D
on't all
o
cate so many
extra_unde
f
ined states
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
create
a
lloc_extra_state_empty
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
remove true_comparison()
an
d
do_comparison()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpente
r
move (true|false)_compariso
n
_r
a
ng
e
() to smatch_
e
xtra
_
helper
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
D
a
n
Car
p
enter
cle
a
r
->my_lis
t
s for &ignore
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan
C
arpenter
Print more --debug-impl
i
ed information when --d
e
bu
g
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpen
t
e
r
Remov
e
d hard coded opt
i
ons
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
D
a
n
Carpenter
F
ix range co
m
parison
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpenter
r
emov
e
unused function: range_list_i
n
tersection()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpenter
Han
d
l
e
UNDEFI
N
ED range a
n
d disp
l
a
y t
h
e
name
c
o
rrectl
y
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
D
a
n Carpenter
Fix state na
m
es f
o
r ranges
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpen
t
er
Implied
r
a
nges
.
Part #
3
.
Range Lists
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan C
a
rpenter
Upd
a
te data files for 2
.
6
.
30-rc1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan C
a
rpe
n
ter
smatch_extra
.
save othe
r
comparisons b
e
side
s
just
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
D
an Carpe
n
ter
h
a
ndle: if (
(
foo = try_lock(
)
)) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
D
a
n Ca
r
penter
ren
a
me: e
x
pr_to_val() -> get_implied_v
a
lue()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
D
an Ca
r
p
enter
Fix
h
andl
i
ng
o
f if
(
IS_ERR(foo = bar())) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpenter
handle if co
n
ditional
fu
n
ctions are assigne
d
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpen
t
er
Ad
d
new r
e
s
t
ric
t
ed
k
n
own_cond
i
t
ion_
t
rue()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
D
an Carpe
n
te
r
rename known_co
n
dition_true() to implied_con
d
itio
n
_tr
u
e(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
Add ERR_
P
TR() check
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan
C
arpenter
__module_
p
ut_and_e
x
it() doesn
'
t
return
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan
C
arpenter
Separate the
li
s
t
of free
d
arguments f
r
o
m
decre
m
ented
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
D
a
n Carpenter
Wri
t
e a
s
c
r
ip
t
to
p
rin
t
functions that r
e
t
u
r
n
NULL
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpen
t
er
Don't free bin_di
r
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpen
t
er
O
o
p
s
.
Comm
i
t these essential f
i
les
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan
C
arpen
t
er
Handle kn
o
wn conditions when they are a simple va
l
ue
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Da
n
Carp
e
nter
A
dd CASE_HOOK
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
D
a
n C
a
rpente
r
Fix memo
r
y
leaks found by valgrind
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan C
a
rpenter
a
l
loc_string()
-> alloc
_
sn
a
me()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan
Carpent
e
r
Put so
m
e
validation scripts in th
e
closet
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan
C
a
r
pe
n
ter
Implied ra
n
ges
.
Part #2
.
Filters
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-04
Dan Carpenter
Silence the mutua
l
l
y
e
x
c
l
usive out
p
ut agai
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-04
Dan
C
arpenter
Free al
l
da
t
a
_
i
nfo a
t
the
end 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
C
a
rpenter
range
f
ix
.
anding
s
lists
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-03
D
a
n C
a
rpen
t
e
r
c
l
e
a
nups fr
o
m cl
o
n
e
_slist() changes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-03
Dan Ca
r
penter
I
mplied ra
n
ges
.
Part #1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-02
D
an Carpen
t
er
Add the
a
llocati
o
n funcs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carpente
r
free
_
scq is de
f
ine
d
2 times
q
uite diff
e
r
e
ntly
.
It
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
D
an
Ca
r
penter
Fi
x
implicatio
n
s (fallout fro
m
clone_slist() chan
g
es)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next