--source include/have_innodb.inc
# Embedded server does not support restarting
--source include/not_embedded.inc
--source include/have_debug.inc

--echo #
--echo # Bug#19685095 DO NOT CARE ABOUT UNRESOLVED MLOG_FILE_NAME
--echo # IF THERE ARE NO OPERATIONS TO APPLY
--echo #

SET GLOBAL DEBUG_DBUG='+d,fil_names_write_bogus';
--disable_query_log
FLUSH TABLES;
--enable_query_log

--source include/no_checkpoint_start.inc

CREATE TABLE t1(a INT PRIMARY KEY) ENGINE=InnoDB;

--let CLEANUP_IF_CHECKPOINT=DROP TABLE t1;
--source include/no_checkpoint_end.inc

--source include/start_mysqld.inc

DROP TABLE t1;

--let SEARCH_FILE = $MYSQLTEST_VARDIR/log/mysqld.1.err
--let SEARCH_PATTERN = InnoDB: Tablespace 4294967280 was not found at .*, but there were no modifications either
--let SEARCH_ABORT = NOT FOUND
--let SEARCH_RANGE = -50000
--source include/search_pattern_in_file.inc