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
Remove switch cloning complexity.
2009-05-22
Da
n
Carpente
r
Remove switch clon
i
n
g
complexit
y
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpenter
two is always non-null these days
.
don't check it
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan Car
p
en
t
er
remove unused merge_p
o
o
l
s() function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan Ca
r
pent
e
r
don't p
r
int "list" v
a
riab
l
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Da
n
Carpenter
Ma
k
e my_po
o
ls => m
y
_
pool
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpenter
introduce c
l
one_po
o
l_havers()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
D
a
n
Carpenter
clone_sta
t
e() d
o
esn't copy my_pools
.
commit
|
commitdiff
|
tree
2009-05-21
Dan
Carpen
t
er
R
e
wor
k
implications
to u
s
e ->pr
e
_
l
eft
a
nd ->pre_right
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-17
Dan Carpenter
Introduce ->pre_left a
n
d ->pre_r
i
ght
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-17
Dan Car
p
e
nter
Make t
h
e
R
AM limit mor
e
a
c
curate and flexib
l
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-10
Dan Carpenter
O
nly clone t
h
e states if it
i
s a sw
i
tch
st
a
tem
e
nt
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-08
Dan
Carp
e
nter
Don't
clone the false
s
tates
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-08
Dan
C
ar
p
e
nter
Don't c
l
o
ne all the s
t
ates
for ever
y
c
a
se st
a
t
e
me
n
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
D
a
n
C
arpenter
Make the v
a
l
id
a
tion test ha
r
der
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
Dan Ca
r
penter
P
r
event some endless loops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
Dan Ca
r
penter
Putting parens
a
r
o
und somethi
n
g
does
n
't make
it u
n
defined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
Dan Carpe
n
ter
Fix memory leak
.
free_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
Dan
C
a
rpenter
Make
s
truct sm_s
t
ate more compact
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
D
an Carpente
r
smatch_sli
s
t
.
c n
o
longer nee
d
s
any fu
n
ct
i
o
ns f
r
o
m s
m
at
c
h_extra
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carp
e
nter
Delete all
t
h
e anding co
m
pound condit
i
ons
code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpe
n
t
e
r
check debug is us
e
f
u
l for debu
g
ging
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan Car
p
enter
pote
n
t
i
al bug fix fo
r
gotos with implications
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan
C
arpenter
Ma
k
e
vali
d
a
t
ion test harder
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpenter
R
ework
s
match
i
m
plied
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-24
Dan Car
p
en
t
er
get_value():
handle a c
o
uple more bi
t
o
per
a
tors
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-23
Dan Carpenter
Set things
i
n
smatch ex
t
r
a
inste
a
d
o
f smat
c
h i
m
plied
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-23
Dan Carpen
t
er
Han
d
le
s
w
i
tch stateme
n
ts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-23
Dan Carpenter
Rever
t
"Don't
t
he
imp
l
ications for the state determining
.
.
.
commit
|
commitdiff
|
tree
2009-04-22
Dan Carp
e
nter
Re
v
ert "
H
e
r
e is a bug in
h
andling compound co
n
ditions
.
"
commit
|
commitdiff
|
tree
2009-04-21
Dan Carpen
t
er
hand
l
e if((foo
=
down
_
tr
y
l
oc
k
()
)
< 0) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-21
Dan Carpenter
add_is_merged_
h
ook(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-21
Dan Ca
r
penter
Deref
e
rencing a vari
a
ble doesn't make it undefine
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-18
Dan Carpenter
Redo checki
n
g
f
o
r out of r
a
nge args to E
R
R_P
T
R()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-16
Dan C
a
rpe
n
te
r
Here i
s
a bug in handling com
p
ound
condi
t
ions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-15
Dan Carpenter
H
andle straigh
t
forw
a
rd compa
r
i
son
s
to
z
ero
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-15
Dan Carpenter
S
tore the impli
c
a
tions
for retur
n
_
i
m
plies_sta
t
e() assignments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-15
Dan Carpenter
Add: return_imp
l
i
es
_
state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan
C
arpenter
Ren
a
m
e smatch_extra_helper
.
c to s
m
atch_ra
n
ges
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan
C
ar
p
e
nter
Eliminate set_cond_s
t
ates() f
u
nction
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan
C
arpenter
Smal
l
clea
n
up
.
Allocati
n
g filter
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan
C
a
r
p
e
nt
e
r
Verify that the
v
alue passed to ERR_
P
T
R() isn't too
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpente
r
Fix compi
l
er
i
nt<-
>
ptr conversion warni
n
gs
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpe
n
ter
Me
r
ge a
d
jacent ranges
.
1-2,3-4 becomes 1-
4
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
D
a
n Carpe
n
t
er
Save som
e
allocations
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpen
t
er
Fix strncat() bug
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-13
Da
n
Carpenter
I
mp
r
ove ha
n
dling of for loops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpenter
Handle
on
c
e through loop
s
differen
t
l
y
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Da
n
C
a
rpenter
F
ix merging ran
g
es
.
Comp
l
etely broken
be
f
or
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpenter
Ty
p
o: <= i
n
ste
a
d
o
f
>=
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan Ca
r
pe
n
ter
Re
v
er
s
e
all the ra
n
g
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpent
e
r
D
on't t
h
e
i
mplications for the
state de
t
erm
i
ni
n
g the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan
Car
p
enter
mat
c
h
_comparison to handl
e
less
t
han, greater than
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
Change lo
c
k
i
n
g
o
u
tput
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
Don't allocat
e
s
o
many extra_undefi
n
ed st
a
tes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
D
an Carpenter
create a
l
l
oc_ex
t
ra_
s
tate
_
empty
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
remove true_com
p
arison(
)
and do_compari
s
on()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
D
an
C
arpenter
move
(
true
|
f
a
lse)_comparison_range
(
) to smatch_e
x
t
r
a_
h
elper
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan
Carpenter
clear -
>
m
y_lists
for &ignore
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
Pri
n
t more --debug-implied i
n
formation when --de
b
ug
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
Removed hard coded option
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan C
a
rpen
t
e
r
Fix ran
g
e com
p
arison
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpe
n
ter
remove unu
s
ed fu
n
ction: range_l
i
st_intersect
i
on()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan
Car
p
enter
Hand
l
e UNDEFINED range and dis
p
lay the name correctly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpenter
Fix st
a
te
names for ranges
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpenter
Implied ranges
.
Part #3
.
R
a
nge Lists
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carp
e
nt
e
r
Update data files for
2
.
6
.
30-rc1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan
C
arpenter
sm
a
tch_extr
a
.
save other c
o
m
p
a
risons besides ju
s
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpenter
handl
e
: if
((
f
oo = try_lock
(
)
)
)
{
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan
C
arpenter
rename
:
expr_to_val()
-
> get_imp
l
i
e
d_v
a
l
ue()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpenter
Fix handling of
if (IS_ERR
(
foo = bar(
)
)) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpe
n
ter
ha
n
dle if conditional functions are as
s
igned
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan C
a
rpenter
Add n
e
w
restricted k
n
ow
n
_c
o
n
d
it
i
on
_
true()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
D
an
C
a
rpenter
ren
a
me
known
_
c
ondition_true
(
)
t
o im
p
lied_condi
t
i
o
n
_
true()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan C
a
rpe
n
ter
Add ERR_
P
TR
(
) check
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Ca
r
penter
_
_modul
e
_put_and_ex
i
t() doe
s
n't return
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
Sep
a
rate the l
i
st of freed arg
u
m
e
nts from decremented
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan
C
arpenter
Write a script to
print funct
i
ons that return NULL
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carp
e
nter
D
o
n't free b
i
n_dir
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
Oops
.
C
o
mm
i
t these e
s
sential file
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan C
a
rpenter
H
a
ndle known condition
s
when they are a
s
impl
e
v
a
lue
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpenter
Add CASE_HO
O
K
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpe
n
ter
F
i
x memory leaks found by
v
algrind
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpenter
a
l
l
oc_string() -> alloc_sname()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpenter
Pu
t
some vali
d
a
tion scrip
t
s in the closet
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carp
e
nter
Implie
d
rang
e
s
.
Part #2
.
Fi
l
ters
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-04
Dan Carpent
e
r
Si
l
enc
e
the mutually exclusive output again
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-04
Da
n
C
a
rpenter
Free all data_info at
t
h
e end of a function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-04
Da
n
Carpenter
A
dd --no-
d
at
a
option and warni
n
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-03
Dan Carpenter
r
a
nge fix
.
an
d
ing
s
lists
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-03
Dan Carpenter
cl
e
anups from
c
lone_s
l
i
st() changes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-03
Dan Carpen
t
er
Implied ranges
.
Part #1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-02
Dan Carpent
e
r
Add the allo
c
ation funcs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carpenter
free_scq is define
d
2 times quit
e
differ
e
ntly
.
I
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
D
a
n Carp
e
nter
Fix implica
t
i
o
ns
(f
a
llout
from clone_sli
s
t() changes)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
D
a
n C
a
rpe
n
ter
Maj
o
r mem
o
ry sav
i
ng
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carpe
n
te
r
--debug means print th
e
impli
c
ations
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carpenter
Add --n
o
-implied t
o
the he
l
p text
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-30
D
an Carpenter
Save memory
.
Don't copy
the state name so muc
h
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-30
D
a
n
C
a
r
penter
Add
check_type
.
c (disabled)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-30
Dan
Carpe
n
te
r
kref_
p
u
t
()
a
n
d
kobjec
t
_put() are basi
c
ally like a
f
ree()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next