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
extra: foo((void *)&x) writes to x probably
2012-04-19
D
a
n
Carp
e
nter
e
x
t
r
a: foo((void
*
)&x) writes to x probably
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-18
Dan Carpent
e
r
ranges: introduce inver
t
_ra
n
ge_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-18
Dan C
a
rpen
t
er
m
ath
:
handle __
s
m
atch_implied(&x);
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan
Carpenter
ra
n
ges:
c
o
m
mit range_lis
t
s_
e
qui
v
(
)
so
t
hat bool_i
m
plications
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
sm
d
b
_
p
a
ram_b
u
f_siz
e
.
sh: as
k
db what size buffers
are
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
D
a
n Carpenter
extra: get
_
imp
l
ied_ran
g
e_list() s
h
ould
handle co
n
ditions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
D
a
n
Carpenter
buf_size: s
t
ore
buffer sizes in
d
b (turne
d
o
f
f by default
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Da
n
Carpenter
db: don't d
i
e on SQL
e
rrors
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
D
a
n
C
arp
e
nt
e
r
bool_implic
a
t
i
ons: make a list o
f
im
p
li
c
ations for
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-16
Dan Carp
e
n
t
er
m
ath: hand
l
e logical expressions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-15
Dan C
a
rpenter
core: print sm_msg()s before p
a
rs
i
ng star
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-15
Da
n
Carpe
n
ter
parameter_im
p
l
i
c
at
i
ons: generate list of
f
unctions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-15
Da
n
C
a
rpenter
db: ma
t
c
h_re
t
urn() shouldn't re-implemen
t
get_i
m
p
l
i
e
d_range_
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan C
a
rpenter
mat
h
: sort of handle
c
on
d
iti
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Da
n
Carpenter
math:
s
i
mplify implied_condi
t
ion
_
true/f
a
lse()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan
Carpent
e
r
mat
h
:
s
implify known
_
condition_true/false()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Da
n
Carpen
t
er
math:
h
andle __smatch_implied((
{
f
rob(); 2;}));
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan
C
arpente
r
math: han
d
l
e foo = !2;
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
D
a
n Carpe
n
ter
ex
t
r
a, math: mo
v
e known_
c
o
nditon_true/false() etc fr
o
m
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-13
Dan
C
a
r
p
enter
project: fi
x
param
e
ter implications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-13
Dan Carpenter
helper: introduce get_member
_
n
a
me()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-13
Dan Carp
e
nter
d
b
: p
r
int al
l
ret
u
rn values
a
t end
of function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-04
Dan Carpenter
db
:
add some smdb_ scripts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan
Car
p
enter
f
i
ll_db_return_info: fix
out dated parsin
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Da
n
Carpe
n
ter
extra:
alway
s
init
i
alize the rang
e
i
n
ge
t
_imp
l
i
ed_ra
n
ge_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
extra: fix get_impli
e
d
_
rang
e
() for
fu
n
ction calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
D
a
n
Carpent
e
r
check_
m
acros: clea
n
up: use pos
i
tions_eq()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpente
r
macro: ta
k
e
a s
t
r
uct
p
os
i
tion, not
a
pointer to a s
t
r
u
c
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan
C
arpent
e
r
im
p
lied: cleanup: move du
b
u
g
printfs
to their ow
n
fun
c
tion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
D
an Carpenter
ra
n
ges: get
rid
o
f
p
o
ssibly_(
t
rue/false)_range_list_
l
s
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carp
e
n
t
e
r
ranges: clea
n
up: move true_comparison_range_lr() into
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
Dan
C
a
r
penter
ext
r
a
:
ad
d
p
arameter implications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpenter
ranges:
i
ntroduce clone_perman
e
n
t
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpenter
ranges:
initialize th
e
p
ointe
r
in get_value_rang
e
s
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpe
n
t
e
r
db: ignor
e
functions which are ca
l
led a lot
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
D
an Carpenter
type
:
expo
r
t
get_real_bas
e
_t
y
pe
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpent
e
r
db:
a
dd code to hack up the database
w
ith pro
j
e
c
t
spec
i
fic
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-23
Dan
C
a
r
pe
n
te
r
conditions: p
r
e
s
e
r
ve |= as the assign op in
foo |=
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-23
D
an Ca
r
penter
ty
p
e: sizeof() is unsign
e
d long
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-23
D
an Carpenter
conditio
n
s
:
s
par
s
e ne
v
er seems to use SPECIAL_UNS
I
GNED_GT
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-21
Dan Ca
r
p
ente
r
helper: introdu
c
e positions_eq(
p
os1, pos2
)
f
u
nc
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-19
Dan Car
p
enter
build_kerne
l
_dat
a
.
sh: make it exe
c
utable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-19
D
a
n Car
p
ent
e
r
macro_side_effects
:
s
i
lence false positives inside
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-17
Dan Carpen
t
er
t
est_ke
r
n
e
l
.
sh: create a bak
.
smatch
a
t the beginning
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-17
D
an Carpenter
*new* check_macro
_
s
ide_effects: macros whi
c
h evaluate
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-17
D
a
n
Carpenter
flo
w
: ignore __b
u
iltin_constant_
p
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-17
Dan Carpen
t
er
sparse:
se
t
the
s
cope->t
o
ken m
e
mber
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-15
Da
n
Carpenter
c
a
l
l_tr
e
e
.
pl: Th
i
s was still using
t
h
e
old f
o
rm
a
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-15
Dan Carpenter
build
_
kernel_data
.
sh: add -
-
c
a
ll-tre
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-12
Dan Carpen
t
er
l
ockin
g
: ignore unre
a
chable unlocks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-12
Dan Carpenter
lo
c
king: white space c
h
anges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-12
Dan Carpenter
new_
b
ugs
.
sh: fix it for gcc and sparse warnings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-12
Dan
C
arpent
e
r
locki
n
g: tons of
lock
s
w
e
re
i
gnored becaus
e
of change
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-10
Dan Carpenter
t
o
ke
n
_st
o
r
e: c
r
eates a posi
t
i
o
n ->
t
o
ke
n
ma
p
pi
n
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-08
Dan Carpenter
Merge branch 'devel2'
commit
|
commitdiff
|
tree
2012-03-08
D
a
n Carpenter
*
n
e
w* c
h
eck_bit_shift
.
c
: (fo
o
& BAR) vs (foo &
(
1
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-06
Dan Carpenter
*new* poin
t
e
r_m
a
th: complain about ptr + sizeof
(
) where
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-05
Dan Carpenter
t
y
pe: expo
r
t ge
t
_pointer_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-02
Dan Carpenter
type: ex
p
ort get
_
point
e
r_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-29
Dan Carpenter
flow: fix se
g
f
a
ult on pa
r
se e
r
r
or
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-29
Dan Carpent
e
r
hoo
k
s: add CAST_
H
OOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-29
Dan
Carpenter
type: a
d
d nr_bits(struct expre
s
sion *e
x
pr)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-29
Dan
C
arpenter
e
xtra: delete the get
_
range_
l
ist() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-28
A
r
t
e
m
B
ityutskiy
Makefile: do not ins
t
a
l
l sparse and cgcc
commit
|
commitdiff
|
tree
2012-02-28
Dan
Carpente
r
n
ew: smat
c
h
_scripts/bui
l
d_kerne
l
_
d
ata
.
sh
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-28
Dan Carpe
n
t
er
ne
w
:
s
match_scripts/
t
es
t
_
ke
r
nel
.
sh
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-27
Da
n
C
a
rpenter
ranges:
m
ake possibly_
t
r
ue/false(
)
t
a
ke expression
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-27
Dan Carpente
r
express
i
ons: ne
w
file
s
m
atc
h
_expre
s
sions
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-22
Dan Car
p
e
n
ter
tree wide
:
don't p
r
int
o
ffset in
t
o funct
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-22
Dan Carpe
n
ter
gen
e
r
i
ze
.
pl: make it work for sparse warnings as well
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-22
D
a
n Carp
e
nter
estate:
d
on'
t
reuse
e
xtra_undefine
d
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-22
Dan Carpenter
contraints:
a
dd
o
p
tion --deb
u
g-rela
t
ed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carp
e
n
t
er
c
o
nst
r
aints: make set_equiv
(
) ta
k
e an expre
s
sion pointer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan C
a
rp
e
nter
e
xtra, const
r
ai
n
ts: m
o
v
e set_equiv() from extra to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan
C
a
r
p
ente
r
deb
u
g: add __smatch_d
u
mp_related()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan
C
ar
p
e
n
ter
imp
l
ied: use
ad
d
_range()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpenter
estate, ranges: move wh
o
le
_
range
f
rom es
t
ate to ranges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan
Carpen
t
er
extra:
c
leanup
i
s_whole_range()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpenter
ranges: make poss
i
bly_true_ran
g
e_list_
r
l() take an
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan
C
arpe
n
ter
ranges: rena
m
e g
e
t
_single_value_f
r
o
m
_
d
info() => estat
e
_get_s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan Ca
r
penter
i
mplied:
u
s
e new estate_related() functi
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan C
a
rpe
n
ter
const
r
ai
n
ts: use new estat
e
_related() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan
C
arpe
n
ter
constrai
n
ts: m
a
ke get_common_relationship() tak
e
an
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpenter
estate: introd
u
c
e
estate_min/max()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan Ca
r
pe
n
ter
estate: introduce estate
_
related()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpenter
estate: introduce
e
st
a
te_ranges() hel
p
er fun
c
tion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan
Carpenter
dinfo,
e
state:
m
v
smatch
_
dinfo
.
c smatch
_
estate
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan Car
p
e
n
t
er
t
r
ee-wide:
s/extra_state/estate/
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
D
an Carpenter
extra, d
i
nfo: mo
v
e
g
e
t
_dinfo() from smatc
h
_extra
.
c
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan
Carp
e
nte
r
ex
t
ra, ranges: make
pos
s
i
bl
y
_
t
rue/fals
e
() take a
n
expression
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-20
Dan Carpent
e
r
*new* kmalloc_wrong_si
z
e
:
checks the element si
z
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-20
Dan C
a
rpen
t
er
d
ebug: add __smatch_implied()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-20
Dan Car
p
enter
extra: modify match_comparison(
)
so it can deal wit
h
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-20
Dan Ca
r
p
ent
e
r
d
inf
o
: introduc
e
ext
r
a_em
p
t
y
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-15
Dan Carpe
n
ter
rang
e
s: int
r
oduce alloc_range_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-15
Dan Carpenter
extra: remove
a variable from mat
c
h_co
m
parison()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-15
Dan Carpen
t
er
ext
r
a
:
create se
t
_extra_expr_true
_
fa
l
se()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-15
D
a
n Carpenter
e
x
tra:
m
ove
s
ome
c
ode out of match_compar
i
son()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-14
Dan
Carpenter
extra: handle post
inc
r
ement in comparisons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-14
Dan Car
p
ente
r
extra: rewrite
how +
+
and -- are handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next