2 # Bug#13510739 63775: SERVER CRASH ON HANDLER READ NEXT AFTER DELETE RECORD.
5 -- source include/have_innodb.inc
7 CREATE TABLE bug13510739 (c INTEGER NOT NULL, PRIMARY KEY (c)) ENGINE=INNODB;
9 INSERT INTO bug13510739 VALUES (1), (2), (3), (4);
11 DELETE FROM bug13510739 WHERE c=2;
13 HANDLER bug13510739 OPEN;
15 HANDLER bug13510739 READ `primary` = (2);
17 # this one crashes the server if the bug is present
18 HANDLER bug13510739 READ `primary` NEXT;
20 DROP TABLE bug13510739;