diff options
Diffstat (limited to 'mysql-test/main/ignore_indexes.test')
| -rw-r--r-- | mysql-test/main/ignore_indexes.test | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/mysql-test/main/ignore_indexes.test b/mysql-test/main/ignore_indexes.test index 6648609e722..a061dab78ce 100644 --- a/mysql-test/main/ignore_indexes.test +++ b/mysql-test/main/ignore_indexes.test @@ -338,5 +338,19 @@ EXPLAIN SELECT * FROM t1 WHERE a = '04'; ALTER TABLE t1 ALTER INDEX b IGNORE; EXPLAIN SELECT b FROM t1; +DROP TABLE t1; + +--echo # +--echo # Using FORCE INDEX for an ignored index +--echo # + +CREATE TABLE t1(a INT, key k1(a)); +INSERT INTO t1 VALUES (1),(2),(3); + +EXPLAIN SELECT * FROM t1 FORCE INDEX(k1); +ALTER TABLE t1 ALTER INDEX k1 IGNORE; +SHOW CREATE TABLE t1; +--error ER_KEY_DOES_NOT_EXISTS +EXPLAIN SELECT * FROM t1 FORCE INDEX(k1); DROP TABLE t1; |