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
Dan
Carpenter
Remove switch cloning compl
e
xity
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
D
a
n Carpenter
two
i
s alway
s
non-n
u
l
l
t
hese days
.
d
on't
c
h
e
c
k it
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan
C
a
r
p
e
nter
remove unused me
r
g
e_pools() function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
D
a
n Ca
r
pe
n
ter
don't prin
t
"list" vari
a
ble
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpente
r
Make my_pool
s
=> my_pool
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
D
a
n Carpenter
introduce
clone_pool_ha
v
er
s
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpenter
c
l
o
n
e_state() doesn't copy my_pools
.
commit
|
commitdiff
|
tree
2009-05-21
D
a
n
Carpenter
Rework i
m
plica
t
ions to use ->pre_left and ->pre_
r
ight
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-17
Dan Carpenter
I
ntro
d
uce -
>
pre_
l
eft
and ->pre_right
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-17
Dan Carpenter
Make
t
h
e
RAM
l
im
i
t m
o
re accurate and flexi
b
le
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-10
Dan
C
arpente
r
Only clone the
states if
i
t
is a switch
s
ta
t
ement
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-08
D
an
C
arpent
e
r
Don't
c
lone
the false
s
tates
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-08
Da
n
Carpe
n
ter
Don't clo
n
e all the stat
e
s for every
case statement
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
Dan Carpenter
Ma
k
e the validati
o
n
test har
d
er
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
D
a
n Carpe
n
t
er
P
revent some endless loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
Dan Carpenter
Putti
n
g paren
s
around
somet
h
i
ng doesn't make
i
t undefined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
Dan Carp
e
nter
Fix
m
emory
l
eak
.
free_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
D
a
n Car
p
enter
Make struct sm_state mor
e
compact
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpen
t
er
smatch_slist
.
c n
o
longer needs
a
ny functio
n
s f
r
om
s
ma
t
ch_ext
r
a
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan
C
a
r
pent
e
r
Delete al
l
the
a
nding compound conditio
n
s code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpenter
c
heck d
e
bug
is useful fo
r
debugg
i
ng
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
D
an Carp
e
n
t
e
r
potential
bug fix
for got
o
s with implicati
o
ns
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
D
an Ca
r
penter
Make val
i
datio
n
test ha
r
der
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Da
n
Carpent
e
r
Rework smat
c
h
im
p
l
i
ed
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-24
Dan Carpen
t
er
get_value(): ha
n
dle a couple more
bi
t
operator
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-23
Dan Carpente
r
Set thin
g
s in smatch e
x
tra instead of
sm
a
tch implied
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-23
Dan Carpenter
H
a
ndle swi
t
ch statem
e
nts
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-23
D
a
n
Carpen
t
er
Revert "D
o
n't
t
he impli
c
ations for the state determinin
g
.
.
.
commit
|
commitdiff
|
tree
2009-04-22
Dan C
a
rpenter
R
evert
"
Here is a bug in
h
andling compound conditi
o
ns
.
"
commit
|
commitdiff
|
tree
2009-04-21
Dan C
a
rpenter
handle if((fo
o
=
down_trylo
c
k()
)
< 0)
{
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-21
Da
n
Carpenter
a
d
d_i
s
_merged_hook()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-21
Dan Ca
r
penter
Derefe
r
encing a variab
l
e
doesn't make it undefin
e
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-18
Dan Car
p
enter
Redo checkin
g
f
or out
o
f
r
ange arg
s
t
o ERR_PTR()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-16
D
a
n C
a
rpenter
Here
is
a
bu
g
in hand
l
ing compoun
d
cond
i
tions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-15
D
an
C
a
rpent
e
r
Handle straig
h
t forward comparisons to z
e
ro
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-15
Dan Carp
e
n
t
e
r
S
tore t
h
e im
p
licat
i
ons
f
or return_implies_sta
t
e() assignments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-15
Da
n
Carpente
r
Ad
d
: return_implies_s
t
a
t
e()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
D
an Car
p
en
t
er
R
e
name smatch
_
e
xtra_helper
.
c
to smatch_ranges
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Elim
i
nate set_cond_
s
tates(
)
f
u
nction
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Small clean up
.
Allo
c
ating filter
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
D
a
n Carpenter
Verify th
a
t the v
a
lue passe
d
to E
R
R
_
PTR() isn't too
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Da
n
Carpenter
Fix com
p
i
l
er
i
nt<->
p
tr conversion warnings
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Merge adja
c
ent ran
g
es
.
1-
2
,3-4 becomes 1-4
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan
Carpenter
Save some allocations
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Fix str
n
cat()
b
ug
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-13
D
a
n Carpent
e
r
Improve h
a
ndling of for l
o
ops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpenter
Ha
n
dle once through loops dif
f
e
r
ently
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan C
a
rpenter
Fix merging ranges
.
Completely b
r
o
ken before
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpenter
Typo: <= instead of
>=
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
D
a
n Carp
e
nter
Reverse all
t
he ra
n
ges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan Ca
r
p
e
nter
Don'
t
the imp
l
icat
i
o
ns for the state dete
r
mining the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
matc
h
_co
m
parison to handle
l
ess than, g
r
eater th
a
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carp
e
nter
Chan
g
e
l
ocki
n
g
output
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
Don't alloc
a
te so
many extra
_
undefined
s
tates
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
D
a
n Carpenter
create
allo
c
_
e
xtr
a
_s
t
ate_empt
y
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carp
e
nter
r
e
mov
e
tr
u
e_c
o
mparison()
an
d
do_compariso
n
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
D
an
Ca
r
penter
m
ove (tru
e
|false)_comparison_
r
ang
e
() to sma
t
ch
_
extra_helper
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Car
p
e
n
t
er
cl
e
ar ->my
_
lists
f
or &ign
o
re
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
Pr
i
nt more --debug-implied inf
o
rmation when --debug
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan C
a
rpenter
Remove
d
hard coded options
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Da
n
Carpenter
Fix r
a
nge comparison
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Da
n
Carpenter
remove
u
nused
f
unction: range_l
i
st
_
intersection()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan C
a
rpenter
H
andle UNDEFI
N
E
D
range a
n
d display
t
he na
m
e c
o
rrect
l
y
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan
C
a
rpenter
Fix state nam
e
s fo
r
ran
g
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Da
n
Carpent
e
r
I
mplie
d
ranges
.
P
art
#3
.
Range Lists
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carp
e
n
t
er
Upd
a
t
e
dat
a
f
i
les
f
or 2
.
6
.
30-rc1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
D
a
n
Carpenter
sma
t
ch_e
x
tra
.
save other comparisons besides just
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpent
e
r
h
andle: if ((foo = try_loc
k
(
)
)) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Da
n
C
a
rpenter
rename: expr
_
to_v
a
l() -> get
_
implied
_
value
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan
Carpenter
Fix h
a
ndling of if (IS_ER
R
(foo
= bar())) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpen
t
er
handle
if
c
onditional function
s
ar
e
a
s
s
i
gned
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Car
p
enter
Add n
e
w restricte
d
kn
o
w
n
_condition_true()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan
Car
p
en
t
e
r
re
n
am
e
known_c
o
ndition_true() to implied_con
d
ition_tr
u
e()
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
__mo
d
u
l
e
_put_and_ex
i
t
() do
e
sn't return
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
Separate t
h
e
li
s
t of
freed argument
s
fr
o
m decremented
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpente
r
Wr
i
te a s
c
ript
to p
r
int fun
c
t
io
n
s
t
h
at ret
u
rn
N
ULL
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
Do
n
't free
b
in_dir
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpe
n
t
e
r
Oops
.
Co
m
mit
thes
e
ess
e
ntial f
i
les
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
D
an Carpenter
Handle
known con
d
i
t
i
o
n
s wh
e
n they ar
e
a
s
i
mple
v
alue
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carp
e
nter
Add CASE_HOOK
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpent
e
r
Fix
memory leak
s
fo
u
nd by val
g
rind
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Da
n
Carpenter
alloc_string() -> alloc_
s
n
a
m
e()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpenter
Put s
o
me valida
t
ion scripts in the c
l
oset
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan C
a
rpenter
I
m
plied ranges
.
Part #2
.
Filters
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-04
Dan Car
p
enter
S
i
l
e
n
ce t
h
e mutually exclusive output again
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-04
Dan Carpe
n
ter
Free
a
l
l
d
a
ta_info at the end of
a
f
unction
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-04
Dan Carpenter
A
dd
-
-
no-data option and warning
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-03
Dan Carpente
r
range fi
x
.
a
nding slists
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-03
D
a
n
Carpenter
cleanups from
c
lone_slist(
)
c
h
an
g
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-03
Da
n
Carpente
r
Imp
l
i
e
d ranges
.
Part
#
1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-02
Dan
C
arpent
e
r
Add the allocation
funcs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carp
e
nter
free_scq
i
s defined
2
t
imes quite di
f
fere
n
tly
.
It
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Da
n
C
a
rp
e
nter
Fix implications (fallout from clo
n
e
_
slist
(
)
changes)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Dan
Carpent
e
r
Majo
r
mem
o
ry sav
i
ng
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carpe
n
ter
-
-debug
means p
r
int t
h
e implications
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Dan
C
ar
p
enter
A
d
d --no-implied to
the help
t
ext
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-30
Da
n
C
a
r
p
e
n
t
er
Save memory
.
Don't c
o
p
y the sta
t
e name
s
o much
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-30
Dan
C
arpenter
Add c
h
eck_type
.
c
(
d
isabled)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-30
Dan Car
p
enter
kref_put() and
kobject_put()
are basically lik
e
a free
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next