2 # Bug#39438 Testcase for Bug#39436 crashes on 5.1 in fil_space_get_latch
3 # http://bugs.mysql.com/39438
5 # This test must be run with innodb_file_per_table=1 because the crash
6 # only occurs if that option is turned on and DISCARD TABLESPACE only
7 # works with innodb_file_per_table.
10 -- source include/have_innodb.inc
13 call mtr.add_suppression("InnoDB: Error: table 'test/bug39438'");
16 SET storage_engine=InnoDB;
18 # we care only that the following SQL commands do not crash the server
22 DROP TABLE IF EXISTS bug39438;
24 CREATE TABLE bug39438 (id INT) ENGINE=INNODB;
26 ALTER TABLE bug39438 DISCARD TABLESPACE;
28 # this crashes the server if the bug is present