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
clone_state() doesn't copy my_pools.
2009-05-21
D
a
n Carpenter
clone_st
a
te
(
) doesn't c
o
py my_pools
.
commit
|
commitdiff
|
tree
2009-05-21
D
an Carpente
r
R
e
work implic
a
tions t
o
use
->pre_left and ->pre_right
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-17
D
a
n Car
p
enter
Int
r
oduce ->pre_left
and
-
>pre_rig
h
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-17
D
a
n Carpenter
Make the RAM limi
t
more accurate and
f
lexible
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-10
Dan Carp
e
nte
r
Only cl
o
ne t
h
e sta
t
e
s
if
i
t is a
switch stat
e
ment
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-08
Dan
Carpenter
D
o
n'
t
clone t
h
e fals
e
stat
e
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-08
Dan Carpenter
Don't clone all the
state
s
for
ev
e
ry
case stateme
n
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
D
a
n Carpen
t
er
M
a
ke the vali
d
ation test harder
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
Dan C
a
rpenter
Prev
e
nt
so
m
e
end
l
es
s
loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
Dan Ca
r
penter
Putting
parens a
r
o
u
n
d someth
i
ng doesn't make it
u
ndefin
e
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
Da
n
Carpe
n
ter
Fix memory l
e
ak
.
free_slist
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
Dan Carpenter
M
a
ke str
u
ct
s
m_state more compa
c
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan Car
p
enter
smatc
h
_slist
.
c
no longer
n
eed
s
any functions from s
m
a
tch_
e
x
t
ra
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpe
n
ter
Delete al
l
the
a
nding compo
u
nd
c
onditi
o
n
s
code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpente
r
chec
k
debug
i
s us
e
fu
l
for
d
ebugg
i
ng
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Da
n
C
arpenter
p
otential
bu
g
f
i
x
f
or g
o
tos with i
m
plica
t
ions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carp
e
n
ter
Make vali
d
ation test hard
e
r
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Da
n
C
a
r
pent
e
r
Rework smatch implied
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-24
D
an Carpenter
get_
v
alue
(
): handle a couple more bit operators
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-23
Dan
C
arpenter
Set th
i
n
g
s in smatch extr
a
instead of
s
match im
p
lied
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-23
D
an Carpenter
Hand
l
e switch statements
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-23
Dan Carpenter
Revert "Don't
t
he
impl
i
cations for the state de
t
ermining
.
.
.
commit
|
commitdiff
|
tree
2009-04-22
Dan Carpenter
Revert "Here is a
b
u
g in handli
n
g
c
o
m
pound c
o
nditi
o
n
s
.
"
commit
|
commitdiff
|
tree
2009-04-21
Dan Carpenter
h
an
d
le if((foo
= down_trylock
(
)) <
0
) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-21
Dan Carpe
n
ter
add_is_merged_hook()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-21
D
an
C
arpenter
Dere
f
erencin
g
a variable doesn't
m
ake it undefine
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-18
Dan
C
arpe
n
ter
Redo chec
k
ing f
o
r out of range arg
s
to
E
R
R
_PTR(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-16
Da
n
Carpenter
Here
i
s a bug in ha
n
dling compound conditions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-15
Dan Carpenter
Handle straight forw
a
rd c
o
mparison
s
to z
e
ro
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-15
D
an Carp
e
nter
Sto
r
e the
i
mplicat
i
ons for retu
r
n_im
p
lies_state() assignments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-15
D
an Carpenter
A
d
d: return_imp
l
ies_s
t
ate()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Car
p
ente
r
Rename s
m
a
tch_extra_
h
elper
.
c to sm
a
tch
_
ranges
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpe
n
ter
Eliminate set_cond_states
(
) f
u
nction
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
D
a
n Carpenter
Smal
l
c
le
a
n up
.
A
l
locating filter
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Verify
t
hat
the value passed to ERR_
P
TR() isn't too
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan
Carpenter
F
i
x
compile
r
int<->pt
r
conv
e
rsi
o
n wa
r
nings
commit
|
commitdiff
|
tree
2009-04-14
Dan
C
a
rpen
t
er
M
erge adjacent ranges
.
1-2,3
-
4
b
ecomes 1-4
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
D
an Car
p
enter
Save so
m
e
allocations
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan
Carpenter
Fix
str
n
cat()
b
u
g
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-13
Dan Carpenter
Improve
handling of for
loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Da
n
Car
p
e
nter
Handle once t
h
rough loops differe
n
t
l
y
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan
Car
p
ente
r
Fi
x
merg
i
ng ranges
.
Completely broken
before
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpenter
Typo: <=
i
n
s
t
ead of >=
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan Car
p
enter
Rev
e
rse a
l
l
th
e
r
anges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpe
n
t
er
Don't the implicatio
n
s f
o
r the state deter
m
i
n
i
n
g the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan C
a
rpenter
mat
c
h
_
c
omparis
o
n t
o
handle less than
,
greater than
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
D
a
n
C
a
rp
e
nter
Change
loc
k
ing ou
t
put
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpe
n
t
e
r
Don't allocate so ma
n
y extra_
u
nd
e
fi
n
ed states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Car
p
enter
create alloc_e
x
tra
_
sta
t
e_em
p
ty(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan
C
arpenter
remove true_compa
r
ison() and do_com
p
arison
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
move (true|fals
e
)_comparison_rang
e
(
) to smatch
_
extra_helpe
r
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
c
l
ear ->
m
y_lists
f
or &ignore
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Da
n
C
a
rpenter
Print more --deb
u
g
-im
p
l
ied informati
o
n when --debug
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
D
a
n C
a
rpenter
R
e
moved hard coded options
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
D
a
n Ca
r
penter
Fix range comparison
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Da
n
Carpenter
remove unus
e
d
function: rang
e
_list_inter
s
ection()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpente
r
Handle UNDEFINED r
a
nge
a
n
d
displa
y
the name correctly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
D
an Car
p
enter
Fix sta
t
e names for rang
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
D
a
n
C
ar
p
enter
Implied ranges
.
Part
#3
.
Range Lists
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
D
an Carp
e
nter
U
pdate d
a
t
a fi
l
es
for 2
.
6
.
30-rc1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
D
a
n C
a
rpenter
smatch_
e
x
t
ra
.
save other comparisons bes
i
des just
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
D
an C
a
rpenter
h
a
ndle
:
if ((foo = try_lock())) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpenter
rename: expr_
t
o_va
l
()
-
> get_implied_value()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan C
a
rpenter
Fix
h
andling of
i
f (IS_ERR(foo =
b
ar()))
{
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpen
t
er
handle if
c
ondi
t
i
o
nal functions are
a
ssigne
d
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpente
r
A
d
d
new restri
c
ted known_condition
_
true
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
rename
known_
c
on
d
ition_
t
r
u
e() to
implied_c
o
ndi
t
io
n
_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_
p
ut_and_
e
xit() do
e
sn't return
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
D
an Carpenter
Sep
a
r
a
te the
list of fr
e
ed arg
u
ments fr
o
m
d
e
cremented
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan
Carp
e
nt
e
r
Write a scr
i
pt to p
r
int funct
i
on
s
tha
t
r
eturn N
U
LL
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan C
a
rpenter
D
o
n
'
t free bin_dir
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
D
an Ca
r
pe
n
ter
O
ops
.
Commit thes
e
e
s
sential files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpente
r
Handle k
n
own co
n
ditions when they 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 C
a
rpenter
Fix memory leaks f
o
und
by valgrind
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan Car
p
enter
alloc_string(
)
-> alloc_sname()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan Ca
r
pe
n
ter
Put
s
ome validation s
c
ript
s
in the cl
o
set
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpent
e
r
I
mplie
d
r
a
nges
.
Part #2
.
Filters
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-04
Dan
Carpente
r
Silence t
h
e m
u
tual
l
y
e
xclusive out
p
ut again
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-04
D
a
n
Carpenter
Fr
e
e
all data_i
n
fo at t
h
e
e
n
d of a function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-04
D
an Carpen
t
er
Add --no
-
data o
p
tion and
w
arnin
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-03
Dan Carpenter
ra
n
ge fi
x
.
an
d
ing slists
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-03
Dan Carpen
t
er
cleanups f
r
om
c
lo
n
e_slist()
c
hanges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-03
Dan Carpenter
Implie
d
r
a
n
g
e
s
.
P
a
rt #1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-02
D
a
n
Carpenter
Add th
e
a
l
location funcs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carp
e
nter
f
r
e
e
_scq is defined 2 t
i
mes quit
e
d
i
f
ferentl
y
.
It
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carpenter
Fix imp
l
ications (fallout from clone_slist() changes)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
D
a
n Carpenter
Major memory saving
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
D
an Carpent
e
r
--
d
e
b
u
g
mean
s
p
r
in
t
t
h
e implications
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carpenter
A
dd
-
-no-impli
e
d
t
o
t
h
e
help text
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-30
Dan Carpe
n
t
e
r
Save m
e
mory
.
Do
n
'
t copy th
e
state n
a
me so much
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-30
D
a
n C
a
rpente
r
Add check_type
.
c (d
i
s
a
ble
d
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-30
Dan Carpenter
kre
f
_put() and
kobject_put() are
basi
c
ally like
a
fr
e
e()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-29
Dan
Carpente
r
Don
'
t
de
r
e
f
ere
n
ce freed memory
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-28
Dan Carpen
t
er
Add all t
h
e
allocation functions t
o
c
heck
_
l
e
aks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-28
Dan Carpenter
Ge
n
erate a list of f
u
nctions that
a
llocate data
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-27
Dan Carpen
t
er
Update t
h
e
gen_frees_list
.
sh and the generated d
a
ta
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-26
Dan Ca
r
pen
t
e
r
Save function lists in smatch
_
data
/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-26
Dan Carpenter
n
ew (disabled) scri
p
t:
check
_
le
a
ks
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next