mirror of
https://github.com/MariaDB/server.git
synced 2025-01-30 18:41:56 +01:00
19 lines
537 B
Text
19 lines
537 B
Text
#
|
|
# Bug #56947 valgrind reports a memory leak in innodb-plugin.innodb-index
|
|
#
|
|
-- source include/have_innodb.inc
|
|
-- source include/have_debug.inc
|
|
|
|
SET GLOBAL innodb_file_per_table=0;
|
|
create table bug56947(a int not null) engine = innodb;
|
|
|
|
SET @saved_dbug = @@SESSION.debug_dbug;
|
|
SET DEBUG_DBUG='+d,ib_rebuild_cannot_rename';
|
|
--replace_regex /"[^"]*"/"xxx"/
|
|
--error ER_GET_ERRNO
|
|
alter table bug56947 add unique index (a);
|
|
check table bug56947;
|
|
|
|
drop table bug56947;
|
|
SET @@global.innodb_file_per_table=DEFAULT;
|
|
SET debug_dbug= @saved_dbug;
|