2010-10-11 11:59:43 +03:00
|
|
|
#
|
|
|
|
# Bug #56947 valgrind reports a memory leak in innodb-plugin.innodb-index
|
|
|
|
#
|
2013-07-15 18:01:22 +02:00
|
|
|
-- source include/have_innodb.inc
|
|
|
|
-- source include/have_debug.inc
|
|
|
|
|
2010-10-11 11:59:43 +03:00
|
|
|
SET GLOBAL innodb_file_per_table=0;
|
|
|
|
create table bug56947(a int not null) engine = innodb;
|
2013-07-15 18:01:22 +02:00
|
|
|
|
|
|
|
SET DEBUG_DBUG='+d,ib_rebuild_cannot_rename';
|
|
|
|
--error ER_GET_ERRNO
|
2010-10-11 11:59:43 +03:00
|
|
|
alter table bug56947 add unique index (a);
|
2013-07-15 18:01:22 +02:00
|
|
|
SET DEBUG_DBUG='-d,ib_rebuild_cannot_rename';
|
|
|
|
check table bug56947;
|
|
|
|
|
2010-10-11 11:59:43 +03:00
|
|
|
drop table bug56947;
|
2013-07-15 18:01:22 +02:00
|
|
|
SET @@global.innodb_file_per_table=DEFAULT;
|