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 Carpenter
Make my_pools
=
> m
y
_poo
l
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan C
a
rpenter
introduce clone
_
pool_havers()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpenter
clone_state()
doesn't copy my_pools
.
commit
|
commitdiff
|
tree
2009-05-21
Dan
C
arpenter
Rework implica
t
ions
to
use ->pre_left a
n
d -
>
pre_r
i
ght
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-17
Da
n
Carpenter
Introduce ->pre_left a
n
d ->pre_ri
g
ht
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-17
Da
n
C
arpenter
Mak
e
t
he RAM limit more
a
ccura
t
e a
n
d flexible
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-10
Dan Carpen
t
er
On
l
y clone the
s
tates i
f
it i
s
a switch statement
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-08
Dan C
a
rpenter
Don't clone the fals
e
state
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-08
D
a
n
Carp
e
nter
Don't clone all the
s
tates
f
or every case statement
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
Dan
Ca
r
penter
M
ake the
va
l
idatio
n
tes
t
harder
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
Dan Carpe
n
ter
Prevent some endless
l
oops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
Dan Carp
e
n
t
e
r
P
utti
n
g parens around something doe
s
n'
t
make it undefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
D
a
n Ca
r
p
enter
Fi
x
memor
y
leak
.
fre
e
_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
Dan Carpent
e
r
Make struct sm_state more comp
a
ct
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpenter
sm
a
tch_slist
.
c
no long
e
r needs any fu
n
ctions f
r
om smat
c
h_
e
xtra
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
D
a
n Carpe
n
ter
Delete
a
l
l the anding
c
o
m
pound conditi
o
ns code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan
Ca
r
penter
che
c
k debug is use
f
ul for debugging
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan Ca
r
penter
potent
i
al bug fix for gotos with imp
l
ications
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpenter
Make validation test
h
ar
d
er
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
D
an Carpenter
Rework smatc
h
impli
e
d
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-24
Dan Carpenter
g
e
t_value(): h
a
ndl
e
a couple
m
ore bit op
e
ra
t
ors
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-23
Da
n
Car
p
enter
Se
t
t
h
i
ngs in sma
t
ch extra instead
o
f s
m
atch
i
mplied
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-23
Dan
Carpenter
Hand
l
e
s
witch statements
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-23
Dan
C
arpent
e
r
Revert "Don't the implications f
o
r t
h
e state determining
.
.
.
commit
|
commitdiff
|
tree
2009-04-22
Dan Car
p
en
t
er
Revert
"Here is a bug in
handling
compound cond
i
t
i
o
n
s
.
"
commit
|
commitdiff
|
tree
2009-04-21
Dan C
a
rpen
t
e
r
h
an
d
le if((
f
oo =
d
own_trylock()) <
0
) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-21
Dan Carpenter
a
d
d_i
s
_merged_hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-21
Dan Car
p
enter
Derefer
e
ncing a va
r
iable does
n
't make it
unde
f
ined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-18
Dan Car
p
enter
Redo
c
h
e
c
ki
n
g for out of
rang
e
args to ERR
_
PTR
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-16
Dan Carpe
n
ter
H
ere
is a bug in
h
andling co
m
pound conditions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-15
Dan Carpenter
Handle straight
f
orward comp
a
risons to zero
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-15
Dan Carpen
t
er
S
t
ore the implications
f
or retu
r
n_im
p
lies_state() assignments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-15
Dan
C
arpente
r
Add: return_im
p
lies_
s
tate()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carp
e
nter
Renam
e
smatch
_
ex
t
ra_h
e
l
p
er
.
c to smatch_ranges
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpe
n
ter
Eliminate set_
c
ond_s
t
a
tes()
function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Car
p
enter
Small
c
lean up
.
Allo
c
ating filter
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan
Carpenter
Verif
y
that
the va
l
u
e pass
e
d
t
o
ERR_PTR() isn't too
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Car
p
ent
e
r
F
i
x
compiler int<->ptr
c
onversion w
a
rnings
commit
|
commitdiff
|
tree
2009-04-14
Dan Carp
e
nter
Merge
a
djacen
t
ranges
.
1-2,3-4 b
e
comes 1-4
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carp
e
nte
r
Save some allocations
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Car
p
enter
Fix strncat() bugs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-13
Dan C
a
rpen
t
e
r
I
m
p
r
ov
e
h
andlin
g
o
f for
l
oo
p
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan
C
a
r
pen
t
er
Han
d
le once through loops
different
l
y
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carp
e
nter
Fix mergin
g
ranges
.
C
ompletely br
o
k
e
n
be
f
or
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carp
e
nter
Ty
p
o:
<
= instead of >=
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan Ca
r
pent
e
r
Rev
e
rse
all
th
e
ranges
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
D
a
n Carpenter
Don
'
t t
h
e
implications
f
or the state deter
m
ining th
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Da
n
Carp
e
nter
mat
c
h
_comparison
to handle less t
h
an,
g
reater tha
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan
C
ar
p
ente
r
Change locking
out
p
u
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
Don't allocate so many extra
_
und
e
f
i
n
ed states
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan
C
arpe
n
t
er
create alloc_extra_state_empty
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpe
n
ter
r
e
move true_c
o
mp
a
ri
s
on() and
d
o_co
m
parison()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
D
a
n
C
arpenter
move (true|false)_com
p
arison_range() to
s
match_ex
t
ra
_
helper
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Ca
r
pent
e
r
cle
a
r -
>
my_
l
ists for &
i
gnore
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
Print
m
ore --debug-im
p
lied information
when --deb
u
g
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
D
a
n Carpenter
R
e
moved hard co
d
ed opti
o
ns
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
Fi
x
range compar
i
s
on
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Da
n
Carpent
e
r
r
e
move unuse
d
function
:
range_li
s
t_intersection()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
D
a
n Carpenter
Handle UNDEFINED ra
n
ge a
n
d displa
y
the
n
ame cor
r
ectly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpenter
Fix
s
tate nam
e
s f
o
r ranges
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
D
a
n Ca
r
penter
Implied ran
g
e
s
.
Part #3
.
Range Lists
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpenter
Update dat
a
f
i
les
for 2
.
6
.
3
0-rc1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Da
n
Carp
e
nter
s
m
a
tch_extra
.
save oth
e
r compari
s
ons
b
esides just
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpenter
ha
n
dle: if (
(
foo = try_lo
c
k())) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan Ca
r
pent
e
r
r
e
n
ame
:
expr_t
o
_v
a
l() -
>
get_im
p
lied_value()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpen
t
e
r
F
ix handling of if (IS
_
ERR(foo = bar())) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpen
t
er
ha
n
dle if conditional func
t
ions ar
e
assigned
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Da
n
C
a
rpenter
Add
ne
w
restricted kn
o
wn_condition_tru
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan C
a
r
p
enter
rename known_condition_true()
to
i
mpl
i
ed_condition_true()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
Add
ER
R
_PTR() check
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpent
e
r
__module_
p
ut_and
_
exit() doesn'
t
r
e
t
urn
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Car
p
enter
Separate the list
of
freed argumen
t
s fro
m
decre
m
ented
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
Write a sc
r
ip
t
to print functions that
r
eturn NULL
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
Don't f
r
ee
b
i
n
_di
r
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
Oops
.
C
o
m
m
i
t th
e
s
e
ess
e
ntial
f
iles
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpenter
H
andle
known
c
onditions whe
n
t
h
ey are a simple value
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpenter
Add CASE_HOOK
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpente
r
Fix memory leaks
found by
v
a
lgrind
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpenter
alloc_str
i
ng() -
>
alloc
_
s
name
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpen
t
er
Put som
e
v
a
lidation scripts in
t
he c
l
oset
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpe
n
t
e
r
Implied
r
anges
.
Part #2
.
Filters
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-04
Dan Carpenter
S
i
l
e
nce the mutual
l
y
e
xclu
s
ive output aga
i
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-04
Dan
C
arpenter
Fre
e
all data_info
a
t the en
d
of a f
u
nction
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-04
D
a
n Carpenter
Add --no-d
a
ta option and warning
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-03
D
an Carpenter
r
ange f
i
x
.
anding slists
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-03
Dan Carpenter
clean
u
ps from clone
_
slist() cha
n
ges
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-03
Dan Carpenter
I
m
plied
range
s
.
Part
#1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-02
Dan
C
a
rpe
n
ter
Add
t
he allocation f
u
ncs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carpenter
free_s
c
q
i
s
define
d
2
t
imes
quite differently
.
It
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Da
n
C
a
rpe
n
ter
Fix implications (fallout from clone_sli
s
t() changes)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Dan
C
arpenter
Major memor
y
savi
n
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carpenter
--debug mean
s
print
t
h
e
implications
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carpenter
A
dd --no-implied to the h
e
lp text
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-30
Dan Carpenter
Save
me
m
ory
.
Don't c
o
p
y the state name so mu
c
h
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-30
Dan
Carp
e
nter
A
dd check_type
.
c (disable
d
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-30
Dan Carpe
n
t
e
r
kref_put()
and kobject_put() are basically like a free()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-29
Dan Carpenter
Don't dereference fr
e
ed memor
y
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-28
D
an C
a
rpenter
Add a
l
l the
allocati
o
n functions t
o
c
h
e
ck_leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-28
D
a
n C
a
rpenter
G
en
e
rat
e
a list of functions that allocat
e
data
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-27
D
an Carp
e
nter
Update the gen_free
s
_list
.
sh and the
g
e
n
e
r
ated data
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next