2
# Bug #56947 valgrind reports a memory leak in innodb-plugin.innodb-index
4
-- source include/have_innodb_plugin.inc
6
create table bug56947(a int not null) engine = innodb;
7
CREATE TABLE `bug56947#1`(a int) ENGINE=InnoDB;
9
alter table bug56947 add unique index (a);
10
drop table `bug56947#1`;