#
# Bug#13510739 63775: SERVER CRASH ON HANDLER READ NEXT AFTER DELETE RECORD.
#

if (`select plugin_auth_version < "5.6.15" from information_schema.plugins where plugin_name='innodb'`)
{
  --skip Not fixed in InnoDB before 5.6.15
}
-- source include/have_innodb.inc

CREATE TABLE bug13510739 (c INTEGER NOT NULL, PRIMARY KEY (c)) ENGINE=INNODB;

INSERT INTO bug13510739 VALUES (1), (2), (3), (4);

DELETE FROM bug13510739 WHERE c=2;

HANDLER bug13510739 OPEN;

HANDLER bug13510739 READ `primary` = (2);

# this one crashes the server if the bug is present
HANDLER bug13510739 READ `primary` NEXT;

DROP TABLE bug13510739;